https://www.bookofthrees.com/categorical-syllogism/