The bald eagle sees the squirrel. The bear eats the cat. The bear is not red. The bear is rough. The bear sees the bald eagle. The bear sees the squirrel. The cat eats the bald eagle. The cat is rough. The cat does not see the squirrel. The squirrel is nice. If something eats the cat then it does not visit the cat. If something is rough then it eats the cat.
The cat does not eat the cat.
@0: The bald eagle sees the squirrel.[(triple1)] The bear eats the cat.[(triple2 OR ((triple4) -> rule2))] The bear is not red.[(triple3)] The bear is rough.[(triple4)] The bear sees the bald eagle.[(triple5)] The bear sees the squirrel.[(triple6)] The cat does not see the squirrel.[(triple9)] The cat eats the bald eagle.[(triple7)] The cat is rough.[(triple8)] The squirrel is nice.[(triple10)] @1: The bear does not visit the cat.[(((triple2) -> rule1) OR ((((triple4) -> rule2)) -> rule1))] The cat eats the cat.[(((triple8) -> rule2))] @2: The cat does not visit the cat.[(((((triple8) -> rule2)) -> rule1))]