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