Results indicate that for the task of generating counterexamples to invalid syllogisms, a primary source of difficulty is the first step of forming the negation of the conclusion, especially if the conclusion is a "Some are not" statement. When this step is done for the subject, most of the errors disappear. (Author/BJG)