The bald eagle chases the dog. The bald eagle is blue. The bald eagle is green. The bald eagle is round. The bald eagle needs the dog. The dog needs the bald eagle. The dog needs the mouse. The dog visits the mouse. The mouse chases the bald eagle. The mouse chases the dog. The mouse is green. The mouse is nice. The mouse is round. The mouse needs the bald eagle. The mouse visits the dog. If something needs the mouse and the mouse is nice then it chases the dog. If something visits the bald eagle then it is round. If the mouse chases the dog then the dog visits the mouse. If something needs the mouse and it is nice then the mouse needs the dog. If the dog chases the bald eagle and the bald eagle needs the dog then the dog visits the mouse. If something needs the bald eagle and it visits the mouse then the mouse is nice.
The mouse does not visit the bald eagle.
@0: The bald eagle chases the dog.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle is round.[(triple4)] The bald eagle needs the dog.[(triple5)] The dog needs the bald eagle.[(triple6)] The dog needs the mouse.[(triple7)] The dog visits the mouse.[(triple8 OR ((triple10) -> rule3))] The mouse chases the bald eagle.[(triple9)] The mouse chases the dog.[(triple10)] The mouse is green.[(triple11)] The mouse is nice.[(triple12 OR ((triple6 triple8) -> rule6) OR ((triple6 ((triple10) -> rule3)) -> rule6))] The mouse is round.[(triple13)] The mouse needs the bald eagle.[(triple14)] The mouse visits the dog.[(triple15)] @1: The dog chases the dog.[(((triple7 triple12) -> rule1) OR ((triple7 ((triple6 triple8) -> rule6)) -> rule1) OR ((triple7 ((triple6 ((triple10) -> rule3)) -> rule6)) -> rule1))]