Anne is blue. Anne is green. Anne is nice. Anne is red. Anne is round. Anne is smart. Anne is young. Charlie is blue. Charlie is green. Charlie is nice. Charlie is red. Charlie is smart. Charlie is young. Harry is blue. Harry is round. Harry is young. If Harry is young then Harry is blue. All green, young people are smart. Blue people are green.
Harry is not green.