The squirrel is big. The squirrel is kind. The squirrel is nice. The squirrel is rough. The squirrel is round. Kind things are nice.
The squirrel likes the squirrel.
@0: The squirrel is big.[(triple1)] The squirrel is kind.[(triple2)] The squirrel is nice.[(triple3 OR ((triple2) -> rule1))] The squirrel is rough.[(triple4)] The squirrel is round.[(triple5)]