The squirrel is blue. The squirrel is cold. The squirrel is round. All round things are nice. Cold, round things are red.
The squirrel is not round.
@0: The squirrel is blue.[(triple1)] The squirrel is cold.[(triple2)] The squirrel is round.[(triple3)] @1: The squirrel is nice.[(((triple3) -> rule1))] The squirrel is red.[(((triple2 triple3) -> rule2))]