The squirrel is big. The squirrel is not green. The squirrel is nice. The squirrel is not rough. The squirrel is round. Big people are nice.
The squirrel is big.
@0: The squirrel is big.[(triple1)] The squirrel is nice.[(triple3 OR ((triple1) -> rule1))] The squirrel is not green.[(triple2)] The squirrel is not rough.[(triple4)] The squirrel is round.[(triple5)]