Charlie is cold. Charlie is smart. Dave is red. Dave is not young. Gary is cold. Gary is red. Harry is smart. If someone is cold and not furry then they are blue. If someone is smart then they are cold. All blue people are red. Cold people are blue. If someone is red then they are green. If someone is blue then they are smart. If someone is young then they are red. If Harry is green and Harry is cold then Harry is young. If someone is not red and not green then they are smart.
Charlie is not young.