The bald eagle chases the mouse. The bald eagle is kind. The bald eagle sees the cow. The cow chases the bald eagle. The cow is kind. The cow sees the bald eagle. The cow visits the dog. The dog is nice. The dog sees the bald eagle. The dog sees the mouse. The dog visits the bald eagle. The mouse chases the bald eagle. The mouse chases the cow. The mouse is nice. The mouse visits the dog. If something visits the cow then it is red. If something is red and it visits the mouse then the mouse sees the bald eagle. If something chases the dog and the dog is cold then the dog sees the bald eagle. If something sees the mouse and it is nice then the mouse chases the bald eagle. If something chases the mouse then the mouse visits the dog. If something is nice then it chases the mouse. If something visits the bald eagle then the bald eagle visits the cow. If something is red and it sees the cow then the cow chases the mouse.
The mouse sees the bald eagle.
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle sees the cow.[(triple3)] The cow chases the bald eagle.[(triple4)] The cow is kind.[(triple5)] The cow sees the bald eagle.[(triple6)] The cow visits the dog.[(triple7)] The dog is nice.[(triple8)] The dog sees the bald eagle.[(triple9)] The dog sees the mouse.[(triple10)] The dog visits the bald eagle.[(triple11)] The mouse chases the bald eagle.[(triple12 OR ((triple10 triple8) -> rule4))] The mouse chases the cow.[(triple13)] The mouse is nice.[(triple14)] The mouse visits the dog.[(triple15 OR ((triple1) -> rule5) OR ((((triple14) -> rule6)) -> rule5) OR ((((triple8) -> rule6)) -> rule5) OR ((((((((triple11) -> rule7)) -> rule1) triple3) -> rule8)) -> rule5))] @1: The bald eagle visits the cow.[(((triple11) -> rule7))] The dog chases the mouse.[(((triple8) -> rule6))] The mouse chases the mouse.[(((triple14) -> rule6))] @2: The bald eagle is red.[(((((triple11) -> rule7)) -> rule1))] @3: The cow chases the mouse.[(((((((triple11) -> rule7)) -> rule1) triple3) -> rule8))]