Charlie is cold. Charlie is young. Dave is not red. Dave is smart. Gary is furry. Gary is red. Harry is not smart. Blue, cold people are smart. If Harry is red and Harry is not furry then Harry is not cold. If Charlie is kind and Charlie is not smart then Charlie is not red.
Harry is furry.