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