Alan is round. Alan is red. Alan is big. Dave is young. Dave is kind. Dave is big. Fred is green. Harry is young. Harry is round. Harry is nice. Harry is cold. Harry is blue. If someone is blue and round and young then they are green. If someone is red and kind then they are nice. If someone is green and nice then they are big. If someone is young and big and round then they are red. If someone is round and blue and big then they are cold. If someone is round and nice then they are cold.
Harry is not red.