Bob is kind. Bob is green. Bob is cold. Eric is young. Eric is round. Eric is nice. Eric is cold. Eric is blue. Gary is round. Gary is red. Gary is kind. Harry is kind. If someone is young and nice then they are big. If someone is cold and big and round then they are kind. If someone is nice and young and red then they are blue. If someone is round and kind and blue then they are red. If someone is young and rough and cold then they are red. If someone is round and rough then they are green. If someone is green and big and red then they are blue.
Gary is not blue.