The squirrel is round. All green things are blue. If the squirrel is round then the squirrel is rough. If the squirrel is rough then the squirrel is green. Round things are blue. Cold, rough things are blue. If something is round then it is rough. Cold things are round. Cold things are round.
The squirrel sees the squirrel.
@0: The squirrel is round.[(triple1)] @1: The squirrel is blue.[(((triple1) -> rule4) OR ((((((triple1) -> rule2)) -> rule3)) -> rule1) OR ((((((triple1) -> rule6)) -> rule3)) -> rule1))] The squirrel is rough.[(((triple1) -> rule2) OR ((triple1) -> rule6))] @2: The squirrel is green.[(((((triple1) -> rule2)) -> rule3) OR ((((triple1) -> rule6)) -> rule3))]