The bald eagle chases the dog. The bald eagle chases the squirrel. The bald eagle needs the dog. The bald eagle sees the squirrel. The dog chases the squirrel. The dog sees the squirrel. The mouse is nice. The mouse is young. The mouse needs the squirrel. The mouse does not see the bald eagle. The squirrel chases the mouse. The squirrel is big. The squirrel is not round. The squirrel does not need the bald eagle. The squirrel does not need the mouse. If something sees the mouse then it sees the squirrel. If something needs the dog then it chases the squirrel. If something is young then it chases the mouse. If the dog sees the squirrel and the dog does not need the mouse then the squirrel is not round. If something is rough then it needs the squirrel. If something sees the dog and the dog sees the mouse then the dog sees the squirrel.
The bald eagle does not chase the dog.
@0: The bald eagle chases the dog.[(triple1)] The bald eagle chases the squirrel.[(triple2 OR ((triple3) -> rule2))] The bald eagle needs the dog.[(triple3)] The bald eagle sees the squirrel.[(triple4)] The dog chases the squirrel.[(triple5)] The dog sees the squirrel.[(triple6)] The mouse does not see the bald eagle.[(triple10)] The mouse is nice.[(triple7)] The mouse is young.[(triple8)] The mouse needs the squirrel.[(triple9)] The squirrel chases the mouse.[(triple11)] The squirrel does not need the bald eagle.[(triple14)] The squirrel does not need the mouse.[(triple15)] The squirrel is big.[(triple12)] The squirrel is not round.[(triple13)] @1: The mouse chases the mouse.[(((triple8) -> rule3))]