The squirrel is cold. The squirrel is green. The squirrel is kind. If something is kind then it is round.
The squirrel is not red.
@0: The squirrel is cold.[(triple1)] The squirrel is green.[(triple2)] The squirrel is kind.[(triple3)] @1: The squirrel is round.[(((triple3) -> rule1))]