The bald eagle chases the mouse. The bald eagle is rough. The bald eagle likes the dog. The bald eagle likes the mouse. The bald eagle sees the dog. The dog chases the mouse. The dog is blue. The dog is rough. The dog likes the mouse. The mouse chases the bald eagle. The mouse chases the dog. The mouse sees the dog. If someone chases the bald eagle then the bald eagle sees the mouse. If someone is green and red then they like the dog. If someone is rough and they chase the dog then they chase the bald eagle. If the mouse likes the bald eagle and the bald eagle is nice then the bald eagle chases the dog. If the dog chases the mouse then the dog is blue. If someone is blue and rough then they chase the dog. If the dog likes the mouse then the mouse is nice. If the bald eagle is rough then the bald eagle is blue.
The dog does not chase the dog.
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle is rough.[(triple2)] The bald eagle likes the dog.[(triple3)] The bald eagle likes the mouse.[(triple4)] The bald eagle sees the dog.[(triple5)] The dog chases the mouse.[(triple6)] The dog is blue.[(triple7 OR ((triple6) -> rule5))] The dog is rough.[(triple8)] The dog likes the mouse.[(triple9)] The mouse chases the bald eagle.[(triple10)] The mouse chases the dog.[(triple11)] The mouse sees the dog.[(triple12)] @1: The bald eagle is blue.[(((triple2) -> rule8))] The bald eagle sees the mouse.[(((triple10) -> rule1) OR ((((triple8 ((triple7 triple8) -> rule6)) -> rule3)) -> rule1) OR ((((triple2 ((((triple2) -> rule8) triple2) -> rule6)) -> rule3)) -> rule1) OR ((((triple8 ((((triple6) -> rule5) triple8) -> rule6)) -> rule3)) -> rule1))] The dog chases the dog.[(((triple7 triple8) -> rule6) OR ((((triple6) -> rule5) triple8) -> rule6))] The mouse is nice.[(((triple9) -> rule7))] @2: The bald eagle chases the dog.[(((((triple2) -> rule8) triple2) -> rule6))] The dog chases the bald eagle.[(((triple8 ((triple7 triple8) -> rule6)) -> rule3) OR ((triple8 ((((triple6) -> rule5) triple8) -> rule6)) -> rule3))] @3: The bald eagle chases the bald eagle.[(((triple2 ((((triple2) -> rule8) triple2) -> rule6)) -> rule3))]