Gary is white. If something is white then it is big. Big, white things are round. All big things are round. If something is big and quiet then it is round. All quiet things are green. If Gary is green then Gary is smart. If something is white and round then it is not quiet. If Gary is blue and Gary is big then Gary is round.
Gary is round.
@0: Gary is white.[(triple1)] @1: Gary is big.[(((triple1) -> rule1))] @2: Gary is round.[(((((triple1) -> rule1)) -> rule3) OR ((((triple1) -> rule1) triple1) -> rule2))] @3: Gary is not quiet.[(((triple1 ((((triple1) -> rule1)) -> rule3)) -> rule7) OR ((triple1 ((((triple1) -> rule1) triple1) -> rule2)) -> rule7))]