Bob is big. Bob is cold. Bob is kind. Bob is nice. Dave is big. Dave is cold. Dave is kind. Dave is white. Dave is young. Gary is cold. Gary is nice. Gary is white. Harry is blue. Harry is kind. Harry is nice. If someone is blue then they are cold. All kind, cold people are nice. If Dave is blue and Dave is nice then Dave is cold. Young people are blue. All kind, cold people are big. All young, blue people are cold.
Gary is not big.