Erin is big. Erin is blue. Erin is furry. Erin is green. Erin is smart. Gary is furry. Gary is red. Red things are green. If something is smart then it is big. All furry, blue things are red. If something is blue then it is nice. All green things are blue. If Gary is furry and Gary is big then Gary is blue. All green, smart things are furry. Nice things are blue.
Erin is not big.