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