The bald eagle chases the squirrel. The bald eagle is young. The bald eagle needs the squirrel. The bald eagle sees the dog. The cat chases the squirrel. The cat needs the bald eagle. The cat does not see the bald eagle. The cat sees the squirrel. The dog chases the bald eagle. The dog chases the squirrel. The dog needs the bald eagle. The dog needs the squirrel. The squirrel chases the dog. The squirrel is kind. The squirrel needs the bald eagle. If something sees the dog then the dog is not young.
The squirrel does not chase the bald eagle.
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle needs the squirrel.[(triple3)] The bald eagle sees the dog.[(triple4)] The cat chases the squirrel.[(triple5)] The cat does not see the bald eagle.[(triple7)] The cat needs the bald eagle.[(triple6)] The cat sees the squirrel.[(triple8)] The dog chases the bald eagle.[(triple9)] The dog chases the squirrel.[(triple10)] The dog needs the bald eagle.[(triple11)] The dog needs the squirrel.[(triple12)] The squirrel chases the dog.[(triple13)] The squirrel is kind.[(triple14)] The squirrel needs the bald eagle.[(triple15)] @1: The dog is not young.[(((triple4) -> rule1))]