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