Anne is kind. Bob is green. Bob is not white. Bob is young. Dave is big. Dave is cold. Dave is furry. Dave is green. Gary is cold. Gary is green. Gary is white. All young things are cold. All green, kind things are young. Kind things are white. All young, cold things are furry. Green, big things are white. If something is white then it is green. If something is white and not cold then it is green. If Anne is not young then Anne is furry.
Bob is furry.