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