The squirrel is round. Green, red people are round. Round people are big. If the squirrel is red and the squirrel is green then the squirrel is big.
The squirrel is round.
@0: The squirrel is round.[(triple1)] @1: The squirrel is big.[(((triple1) -> rule2))]