Alan is young. Alan is nice. Alan is cold. Bob is young. Bob is nice. Bob is cold. Fred is round. Fred is red. Fred is kind. Fred is green. Fred is blue. Gary is cold. If someone is green and nice then they are cold. If someone is green and round and nice then they are kind. If someone is cold and round and green then they are young. If someone is kind and blue and green then they are nice. If someone is round then they are red.
Bob is not red.