tptp-0.1.2.0: test-data/tptp/fof/syllogism.p

fof(0, conjecture, mortal(socrates)).
fof(1, axiom, ! [Y]: (human(Y) => mortal(Y))).
fof(2, axiom, human(socrates)).