The bald eagle chases the mouse. The bear eats the bald eagle. The bear eats the mouse. The bear is round. The bear does not see the bald eagle. The dog chases the mouse. The dog eats the bald eagle. The mouse eats the bald eagle. The mouse is round. The mouse sees the dog. If the dog sees the mouse and the mouse eats the dog then the mouse chases the dog. If something eats the bald eagle then the bald eagle chases the mouse. If something eats the bald eagle then it sees the mouse. If something eats the dog and the dog sees the mouse then it is red. If something sees the mouse then it is big. If something is red then it eats the mouse.
The bear does not see the bald eagle.
@0: The bald eagle chases the mouse.[(triple1 OR ((triple2) -> rule2) OR ((triple7) -> rule2) OR ((triple8) -> rule2))] The bear does not see the bald eagle.[(triple5)] The bear eats the bald eagle.[(triple2)] The bear eats the mouse.[(triple3)] The bear is round.[(triple4)] The dog chases the mouse.[(triple6)] The dog eats the bald eagle.[(triple7)] The mouse eats the bald eagle.[(triple8)] The mouse is round.[(triple9)] The mouse sees the dog.[(triple10)] @1: The bear sees the mouse.[(((triple2) -> rule3))] The dog sees the mouse.[(((triple7) -> rule3))] The mouse sees the mouse.[(((triple8) -> rule3))] @2: The bear is big.[(((((triple2) -> rule3)) -> rule5))] The dog is big.[(((((triple7) -> rule3)) -> rule5))] The mouse is big.[(((((triple8) -> rule3)) -> rule5))]