Anne is cold. Anne is green. Bob is quiet. Dave is furry. Dave is green. Dave is red. Gary is cold. All cold, rough things are furry. All green, red things are furry. Cold, red things are green. Cold things are quiet. Big, cold things are rough. If something is quiet then it is rough. If Bob is rough then Bob is furry. All furry, quiet things are red.
Gary is not furry.