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