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