The squirrel is green. The squirrel is round. The squirrel is young. All cold things are round. If the squirrel is green then the squirrel is cold.
The squirrel is green.
@0: The squirrel is green.[(triple1)] The squirrel is round.[(triple2 OR ((((triple1) -> rule2)) -> rule1))] The squirrel is young.[(triple3)] @1: The squirrel is cold.[(((triple1) -> rule2))]