Anne is rough. Charlie is not nice. Charlie is rough. Erin is not furry. Erin is rough. Gary is not green. Gary is nice. All furry, round things are not young. All furry things are young. Green things are young. If something is young and not green then it is nice. If Gary is furry and Gary is not rough then Gary is not young. If Erin is red and Erin is young then Erin is not nice. Nice, round things are not red. If Gary is red and Gary is not rough then Gary is nice.
Gary is not young.
@0: Anne is rough.[(triple1)] Charlie is not nice.[(triple2)] Charlie is rough.[(triple3)] Erin is not furry.[(triple4)] Erin is rough.[(triple5)] Gary is nice.[(triple7)] Gary is not green.[(triple6)]