Bob is cold. Bob is kind. Bob is young. Charlie is furry. Charlie is kind. Charlie is young. Dave is cold. Dave is young. Gary is blue. Gary is furry. Gary is kind. Gary is young. If Gary is young then Gary is kind. All young people are blue. If someone is smart then they are furry.
Charlie is smart.