I wondered about sylogisms, so I started with:

All men are mortal.

Socrates is a man.

Therefore, Socrates is

... and it came up with two answers: "mortal" & "a man". Good job.