Anne is green. Anne is red. Anne is smart. Anne is white. Anne is young. Erin is big. Erin is furry. Erin is green. Erin is smart. Fiona is furry. Fiona is young. Harry is furry. Harry is green. Harry is red. Harry is smart. All green things are young. If Erin is young and Erin is furry then Erin is white. If something is big then it is red. All big things are white. If something is smart then it is big. If Harry is big then Harry is smart. If Anne is smart and Anne is white then Anne is furry. Green, red things are big.
Harry is not white.