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

no