Input: All living people have legs.
All living people have heads.

Output: first