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