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