Erin is furry. Erin is green. Erin is rough. Erin is smart. Gary is not blue. Gary is furry. Gary is green. Gary is round. Gary is white. Harry is blue. Harry is furry. Harry is not green. Harry is not rough. Harry is round. Harry is white. If Harry is not rough then Harry is round. If something is round and not rough then it is white. If Gary is smart and Gary is white then Gary is not furry. If Erin is not furry then Erin is not rough. If Erin is white and Erin is green then Erin is not smart. Green, smart things are blue.
Erin is not white.