The squirrel is big. The squirrel is red. The squirrel is rough. The squirrel is round. The squirrel is young. Red things are round.
The squirrel is not big.
@0: The squirrel is big.[(triple1)] The squirrel is red.[(triple2)] The squirrel is rough.[(triple3)] The squirrel is round.[(triple4 OR ((triple2) -> rule1))] The squirrel is young.[(triple5)]