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