Input: All dogs are animals, and _ cats are dogs, therefore no cats are animals.
Output: 

no