Erin is big. Erin is furry. Erin is nice. Erin is rough. Erin is round. Gary is nice. Gary is round. If something is smart and furry then it is nice. If something is round then it is rough. If Gary is big then Gary is furry. Blue things are round. All rough things are big. If Erin is furry and Erin is smart then Erin is big.
Erin is not blue.