Anne is furry. Anne is not nice. Anne is red. Dave is furry. Dave is nice. Dave is quiet. Dave is red. Erin is quiet. Gary is green. Gary is not kind. All red things are furry. Big things are quiet.
Gary is not green.