The squirrel is big. The squirrel is green. The squirrel is nice. Nice, big things are red. Red things are cold.
The squirrel does not visit the squirrel.
@0: The squirrel is big.[(triple1)] The squirrel is green.[(triple2)] The squirrel is nice.[(triple3)] @1: The squirrel is red.[(((triple3 triple1) -> rule1))] @2: The squirrel is cold.[(((((triple3 triple1) -> rule1)) -> rule2))]