The bald eagle needs the dog. The bald eagle needs the mouse. The bald eagle visits the rabbit. The dog is nice. The dog likes the bald eagle. The dog needs the bald eagle. The mouse is big. The mouse is green. The mouse is red. The mouse likes the bald eagle. The mouse needs the dog. The mouse visits the bald eagle. The rabbit likes the bald eagle. The rabbit visits the bald eagle. The rabbit visits the dog. The rabbit visits the mouse. If something is big then it visits the bald eagle. If something likes the bald eagle and it likes the rabbit then the bald eagle needs the dog. If the dog visits the bald eagle and the dog needs the mouse then the mouse needs the rabbit. If the rabbit likes the mouse and the rabbit is round then the mouse is green. If something likes the mouse then the mouse likes the rabbit. If something likes the bald eagle and the bald eagle likes the dog then it is red. If something needs the mouse then it needs the dog. If something needs the mouse then it visits the bald eagle.
The mouse visits the bald eagle.
@0: The bald eagle needs the dog.[(triple1 OR ((triple2) -> rule7))] The bald eagle needs the mouse.[(triple2)] The bald eagle visits the rabbit.[(triple3)] The dog is nice.[(triple4)] The dog likes the bald eagle.[(triple5)] The dog needs the bald eagle.[(triple6)] The mouse is big.[(triple7)] The mouse is green.[(triple8)] The mouse is red.[(triple9)] The mouse likes the bald eagle.[(triple10)] The mouse needs the dog.[(triple11)] The mouse visits the bald eagle.[(triple12 OR ((triple7) -> rule1))] The rabbit likes the bald eagle.[(triple13)] The rabbit visits the bald eagle.[(triple14)] The rabbit visits the dog.[(triple15)] The rabbit visits the mouse.[(triple16)] @1: The bald eagle visits the bald eagle.[(((triple2) -> rule8))]