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