The cat eats the squirrel. The cat is round. The squirrel eats the cat. The squirrel is not kind. The squirrel is red. The squirrel needs the cat. The squirrel sees the cat. If someone needs the cat then the cat eats the squirrel.
The cat eats the cat.
@0: The cat eats the squirrel.[(triple1 OR ((triple6) -> rule1))] The cat is round.[(triple2)] The squirrel eats the cat.[(triple3)] The squirrel is not kind.[(triple4)] The squirrel is red.[(triple5)] The squirrel needs the cat.[(triple6)] The squirrel sees the cat.[(triple7)]