The squirrel is big. The squirrel is blue. The squirrel is green. The squirrel is rough. The squirrel is young. If the squirrel is big then the squirrel is blue.
The squirrel is young.
@0: The squirrel is big.[(triple1)] The squirrel is blue.[(triple2 OR ((triple1) -> rule1))] The squirrel is green.[(triple3)] The squirrel is rough.[(triple4)] The squirrel is young.[(triple5)]