Anne is furry. Anne is green. Anne is white. Charlie is big. Charlie is white. Charlie is not young. Erin is red. Erin is young. Harry is big. Harry is red. Harry is not round. Harry is young. If Charlie is young and Charlie is not big then Charlie is round. If someone is red and not furry then they are green. If someone is furry and not big then they are green. All furry people are red. If someone is round and not white then they are not young. If someone is green and white then they are not round.
Harry is not green.