Bob is smart. Dave is cold. Dave is red. Dave is smart. Gary is red. Harry is big. Harry is blue. Harry is cold. Harry is red. Harry is smart. Harry is young. Nice, big people are young. Red people are cold. If someone is smart then they are young. If someone is young then they are smart. If someone is big then they are young. If someone is smart and blue then they are not nice. If someone is blue and red then they are young. If someone is cold then they are blue. If someone is young and not blue then they are nice.
Gary is not big.