The bald eagle eats the dog. The bald eagle eats the rabbit. The dog eats the bald eagle. The dog is not big. The dog visits the mouse. The mouse does not chase the bald eagle. The mouse chases the dog. The mouse chases the rabbit. The mouse is big. The mouse is kind. The rabbit eats the mouse. The rabbit visits the bald eagle. If the dog does not eat the mouse then the mouse visits the rabbit. If something chases the rabbit then the rabbit is nice. If something is nice then it visits the dog. If the dog is rough then the dog is not kind. If something chases the bald eagle then the bald eagle is rough. If the rabbit visits the dog then the rabbit eats the dog. If something visits the dog then it chases the mouse. If something visits the rabbit then the rabbit is rough.
The rabbit does not visit the dog.
@0: The bald eagle eats the dog.[(triple1)] The bald eagle eats the rabbit.[(triple2)] The dog eats the bald eagle.[(triple3)] The dog is not big.[(triple4)] The dog visits the mouse.[(triple5)] The mouse chases the dog.[(triple7)] The mouse chases the rabbit.[(triple8)] The mouse does not chase the bald eagle.[(triple6)] The mouse is big.[(triple9)] The mouse is kind.[(triple10)] The rabbit eats the mouse.[(triple11)] The rabbit visits the bald eagle.[(triple12)] @1: The rabbit is nice.[(((triple8) -> rule2))] @2: The rabbit visits the dog.[(((((triple8) -> rule2)) -> rule3))] @3: The rabbit chases the mouse.[(((((((triple8) -> rule2)) -> rule3)) -> rule7))] The rabbit eats the dog.[(((((((triple8) -> rule2)) -> rule3)) -> rule6))]