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