Anne is furry. Anne is quiet. Anne is white. Dave is big. Dave is round. Dave is white. Gary is cold. All white, big things are cold. If something is quiet then it is green. If something is green and furry then it is big.
Gary is not green.