Input: Some sons are older than their biological fathers.
All fathers are older than their biological sons.

Output: first