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