Erin is big. Erin is green. Erin is young. Gary is furry. Gary is not green. Gary is not nice. Gary is smart. Smart, young people are furry. If someone is not green then they are not big. All green people are smart.
Erin is not smart.