The squirrel is red. All green, young people are round. If the squirrel is red then the squirrel is round.
The squirrel is not green.
@0: The squirrel is red.[(triple1)] @1: The squirrel is round.[(((triple1) -> rule2))]