The squirrel is big. The squirrel is blue. The squirrel is cold. The squirrel is green. The squirrel is round. All big things are green.
The squirrel chases the squirrel.
@0: The squirrel is big.[(triple1)] The squirrel is blue.[(triple2)] The squirrel is cold.[(triple3)] The squirrel is green.[(triple4 OR ((triple1) -> rule1))] The squirrel is round.[(triple5)]