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