Input: Head: PersonX proves PersonY's case<sep>Tail: happy
Answer: Yes