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