Anne is furry. Dave is blue. Gary is white. All red, kind things are blue. All blue things are white. If Gary is green then Gary is blue. If something is red then it is kind. If something is furry then it is red. If Anne is white then Anne is green. If something is not white then it is cold. If Dave is not blue then Dave is not red.
Dave is furry.