(also known as: illicit affirmative)

**Description:** The conclusion of a standard form categorical syllogism is negative, but both of the premises are positive. Any valid forms of categorical syllogisms that assert a negative conclusion must have at least one negative premise.

**Logical Form:**

If A is a subset of B, and B is a subset of C, then A is not a subset of C.

**Example #1:**

All cats are animals.

Some pets are cats.

Therefore, some pets are not animals.

**Explanation:** The conclusion might be true -- I had a pet rock growing up, but the argument still does not logically support that. Think of sets and subsets. All cats are animals: we have a set of animals and a subset of cats. “Some” pets are cats: so all we know is that there is a part of our set, “pets” that intersects with the subset, “cats”, but we don’t have the information we need to conclude logically that some pets are not animals. This argument is invalid, thus as a formal argument, it is fallacious.

**Example #2:**

All boys are sports fans.

Some bakers are boys.

Therefore, some bakers are not sports fans.

**Explanation:** The conclusion might be true -- but the argument still does not logically support that for the same reasons in the first example. This argument is invalid, thus as a formal argument, it is fallacious.

**Exception:** None.