Input: human has a tail
dog has a tail

Output: first