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 does not visit the squirrel.
@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)]