Input: A Canary is a bird
All birds are Canaries

Output: second