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 does not chase 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)]