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