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