Input: Plato is a philosopher, and all philosophers are men, therefore Plato is a man.
Plato is a man, and all  philosophers are men, therefore Plato is a philosopher

Output: second