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