The bald eagle chases the mouse. The bald eagle is round. The bald eagle sees the bear. The bear chases the mouse. The cat chases the bear. The cat eats the bald eagle. The cat eats the bear. The cat eats the mouse. The cat sees the bald eagle. The cat sees the bear. The mouse chases the bald eagle. The mouse is nice. If something sees the mouse and it is nice then it chases the bald eagle. If something eats the cat then the cat sees the mouse. If something eats the bear and the bear sees the cat then the cat sees the bear. If the bear eats the mouse and the bear is green then the mouse chases the bear. If something eats the mouse and the mouse chases the bear then the bear sees the cat. If something sees the bear then it chases the bear. If something sees the mouse then the mouse eats the bald eagle. If something sees the cat then it is big.
The cat does not chase the bald eagle.
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle is round.[(triple2)] The bald eagle sees the bear.[(triple3)] The bear chases the mouse.[(triple4)] The cat chases the bear.[(triple5 OR ((triple10) -> rule6))] The cat eats the bald eagle.[(triple6)] The cat eats the bear.[(triple7)] The cat eats the mouse.[(triple8)] The cat sees the bald eagle.[(triple9)] The cat sees the bear.[(triple10)] The mouse chases the bald eagle.[(triple11)] The mouse is nice.[(triple12)] @1: The bald eagle chases the bear.[(((triple3) -> rule6))]