Anne is green. Anne is red. Anne is smart. Erin is blue. Gary is rough. Harry is red. Harry is round. If something is rough and white then it is smart. All rough, smart things are round. Blue things are smart. Blue, smart things are green. Green, round things are white. All green things are smart. If something is white and round then it is smart. Red, rough things are round. Green things are rough.
Erin is not green.