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