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