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