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