Gary is not kind. Gary is round. Gary is smart. All white things are nice. If something is smart then it is white. All nice things are big.
Gary is not kind.
@0: Gary is not kind.[(triple1)] Gary is round.[(triple2)] Gary is smart.[(triple3)] @1: Gary is white.[(((triple3) -> rule2))] @2: Gary is nice.[(((((triple3) -> rule2)) -> rule1))] @3: Gary is big.[(((((((triple3) -> rule2)) -> rule1)) -> rule3))]