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 is nice.
@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)]