Anne is big. Anne is green. Anne is red. Anne is rough. Anne is smart. Anne is white. Anne is young. Charlie is rough. Dave is smart. Dave is white. Harry is rough. Harry is smart. If someone is smart and rough then they are young. All big people are smart. If someone is young and big then they are white. All white people are green. If someone is red and young then they are white. If someone is not red then they are big. If Harry is smart and Harry is not red then Harry is green. If someone is red and not white then they are green. If someone is not smart and not green then they are big.
Harry is red.