Anne is furry. Anne is red. Charlie is furry. Charlie is red. Charlie is rough. Erin is furry. Erin is kind. Erin is red. Gary is furry. Gary is nice. Rough people are blue. If Gary is kind then Gary is red. If Anne is kind then Anne is red. If Gary is furry then Gary is rough. All kind people are furry. Rough, red people are kind.
Gary is not red.