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 not round.
@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)]