Anne is big. Anne is green. Anne is nice. Anne is red. Anne is young. Bob is green. Bob is nice. Bob is red. Bob is round. Bob is white. Bob is young. Dave is nice. Dave is white. Dave is young. Harry is nice. Harry is white. All round, nice things are green. White things are big. Nice things are red. If Dave is green and Dave is nice then Dave is young. All green things are nice. All nice, green things are white. Green things are nice. If Harry is big then Harry is white.
Harry is not green.