4 Lewis Carroll logic puzzles (and one training level). Clicking on the sprites on the right cycles through equivalent formulations of their sentences. Select a major and minor premise by cycling through the icons on the left, then click the cat once a useful syllogism has been located. Then type "U" to replace the hypotheses of that syllogism with the conclusion. Once the ultimate conclusion is obtained, "R" moves onto the next level.
Version 1.1: The cat can now recognise syllogisms in which the premises are given in reverse order, and swaps them accordingly.