Gary is not green. Gary is kind. Gary is not nice. Gary is rough. Gary is not young. Harry is blue. Harry is young. All young things are not rough. All kind, young things are big. Kind, blue things are not big.
Gary is rough.
@0: Gary is kind.[(triple2)] Gary is not green.[(triple1)] Gary is not nice.[(triple3)] Gary is not young.[(triple5)] Gary is rough.[(triple4)] Harry is blue.[(triple6)] Harry is young.[(triple7)] @1: Harry is not rough.[(((triple7) -> rule1))]