Anne is blue. Anne is furry. Anne is green. Anne is kind. Anne is red. Anne is white. Anne is young. Gary is not blue. Gary is not furry. Gary is green. Gary is kind. Gary is red. Gary is white. Gary is not young. If Anne is young and Anne is red then Anne is furry.
Gary is not furry.