Bob is green. Charlie is quiet. Charlie is rough. Dave is blue. Dave is green. Gary is blue. Gary is nice. If something is furry and quiet then it is young. If something is green and not nice then it is blue. All quiet things are furry. If something is nice and rough then it is quiet. All green things are rough. If Gary is blue then Gary is green.
Gary is not furry.