Charlie is big. Dave is not red. Gary is smart. Harry is red. If something is quiet then it is kind. If something is big and quiet then it is not furry. If something is quiet and not cold then it is smart. If Dave is cold then Dave is not kind. If something is not kind then it is furry. If something is smart and not furry then it is quiet.
Harry is red.