Anne is rough. Charlie is not green. Charlie is young. Gary is furry. Gary is green. Gary is rough. Gary is white. If something is furry and white then it is blue. White, rough things are young. If something is white and not nice then it is young.
Gary is not rough.
@0: Anne is rough.[(triple1)] Charlie is not green.[(triple2)] Charlie is young.[(triple3)] Gary is furry.[(triple4)] Gary is green.[(triple5)] Gary is rough.[(triple6)] Gary is white.[(triple7)] @1: Gary is blue.[(((triple4 triple7) -> rule1))] Gary is young.[(((triple7 triple6) -> rule2))]