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 does not visit 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))]