The squirrel is cold. The squirrel is rough. The squirrel is round. Round things are young.
The squirrel is not round.
@0: The squirrel is cold.[(triple1)] The squirrel is rough.[(triple2)] The squirrel is round.[(triple3)] @1: The squirrel is young.[(((triple3) -> rule1))]