Erin is green. Erin is nice. Gary is green. Gary is smart. Gary is white. Harry is green. Harry is red. If Gary is nice and Gary is green then Gary is furry. All red, big people are nice. All furry, smart people are green. All white, nice people are smart. White, green people are smart. All green people are big.
Erin is not smart.