With a pencil, try substituting terms into the skeleton that result in all true premises and a false conclusion. All hamsters are creatures who like to eat carrots. All furry animals are creatures who like to eat carrots. All dogs are animals . All dogs are mammals .
All animals are mammals .
This is not the case. In logic, as a general rule, do not infer any more than what is given. Note that the program takes you through several steps, one screen at a time, and you must do each step correctly to move on. It also always assigns the letters S, P, M, in the form stage rather than letters that correspond to the terms, as the text tells you to. There is a method to this madness that you'll learn later.