Gary is green. Gary is not nice. Gary is round. Nice things are not kind. If something is rough and big then it is kind. All rough things are big. All nice things are big. Nice, big things are rough. Round things are rough. If something is furry and round then it is not nice. If something is rough and not kind then it is green.
Gary is nice.
@0: Gary is green.[(triple1)] Gary is not nice.[(triple2)] Gary is round.[(triple3)] @1: Gary is rough.[(((triple3) -> rule6))] @2: Gary is big.[(((((triple3) -> rule6)) -> rule3))] @3: Gary is kind.[(((((triple3) -> rule6) ((((triple3) -> rule6)) -> rule3)) -> rule2))]