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