The bald eagle does not chase the dog. The bald eagle chases the mouse. The bald eagle chases the squirrel. The bald eagle is young. The bald eagle does not need the squirrel. The dog does not chase the bald eagle. The dog is cold. The mouse chases the bald eagle. The mouse chases the dog. The mouse chases the squirrel. The squirrel chases the bald eagle. The squirrel chases the mouse. The squirrel is young. The squirrel likes the bald eagle. The squirrel needs the dog. If something likes the squirrel then it likes the dog. If something chases the squirrel then it chases the mouse. If something is green then it needs the bald eagle. If something likes the dog then the dog chases the mouse. If something chases the mouse and it chases the dog then it likes the squirrel. If something needs the squirrel and the squirrel likes the dog then the squirrel likes the bald eagle. If the bald eagle is green and the bald eagle chases the dog then the bald eagle is not young. If something is cold and it does not need the bald eagle then it is not blue.
The mouse chases the squirrel.
@0: The bald eagle chases the mouse.[(triple2 OR ((triple3) -> rule2))] The bald eagle chases the squirrel.[(triple3)] The bald eagle does not chase the dog.[(triple1)] The bald eagle does not need the squirrel.[(triple5)] The bald eagle is young.[(triple4)] The dog does not chase the bald eagle.[(triple6)] The dog is cold.[(triple7)] The mouse chases the bald eagle.[(triple8)] The mouse chases the dog.[(triple9)] The mouse chases the squirrel.[(triple10)] The squirrel chases the bald eagle.[(triple11)] The squirrel chases the mouse.[(triple12)] The squirrel is young.[(triple13)] The squirrel likes the bald eagle.[(triple14)] The squirrel needs the dog.[(triple15)] @1: The mouse chases the mouse.[(((triple10) -> rule2))] @2: The mouse likes the squirrel.[(((((triple10) -> rule2) triple9) -> rule5))] @3: The mouse likes the dog.[(((((((triple10) -> rule2) triple9) -> rule5)) -> rule1))] @4: The dog chases the mouse.[(((((((((triple10) -> rule2) triple9) -> rule5)) -> rule1)) -> rule4))]