The bald eagle needs the dog. The bald eagle sees the bear. The bald eagle does not see the dog. The bear is cold. The dog sees the bald eagle. The dog sees the squirrel. The squirrel is rough. If something eats the squirrel then it sees the bear. If something is rough and it needs the bear then the bear sees the bald eagle. If something eats the squirrel then it eats the bear. If something eats the bear then it eats the bald eagle. If the dog needs the bear and the dog is not cold then the bear is rough. If something needs the dog then the dog eats the squirrel.
The dog does not see the squirrel.
@0: The bald eagle does not see the dog.[(triple3)] The bald eagle needs the dog.[(triple1)] The bald eagle sees the bear.[(triple2)] The bear is cold.[(triple4)] The dog sees the bald eagle.[(triple5)] The dog sees the squirrel.[(triple6)] The squirrel is rough.[(triple7)] @1: The dog eats the squirrel.[(((triple1) -> rule6))] @2: The dog eats the bear.[(((((triple1) -> rule6)) -> rule3))] The dog sees the bear.[(((((triple1) -> rule6)) -> rule1))] @3: The dog eats the bald eagle.[(((((((triple1) -> rule6)) -> rule3)) -> rule4))]