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