Anne is kind. Anne is young. Charlie is nice. Charlie is round. Erin is furry. Erin is kind. Erin is nice. Gary is green. Gary is round. Gary is young. Green, red things are round. All furry things are round. If something is kind and furry then it is nice. If something is nice and young then it is kind. If Charlie is nice and Charlie is furry then Charlie is green. Kind, red things are round.
Gary is not green.