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