The squirrel is kind. If the squirrel is kind then the squirrel is blue. All blue, kind things are round. All blue things are round.
The squirrel sees the squirrel.
@0: The squirrel is kind.[(triple1)] @1: The squirrel is blue.[(((triple1) -> rule1))] @2: The squirrel is round.[(((((triple1) -> rule1)) -> rule3) OR ((((triple1) -> rule1) triple1) -> rule2))]