The bald eagle chases the dog. The bald eagle is cold. The bald eagle does not see the bear. The bear does not chase the dog. The bear is kind. The bear is not rough. The bear needs the dog. The bear sees the dog. The dog is not rough. The dog needs the bald eagle. If something sees the bear then it sees the dog. If something needs the dog then the dog sees the bear.
The dog sees the dog.
@0: The bald eagle chases the dog.[(triple1)] The bald eagle does not see the bear.[(triple3)] The bald eagle is cold.[(triple2)] The bear does not chase the dog.[(triple4)] The bear is kind.[(triple5)] The bear is not rough.[(triple6)] The bear needs the dog.[(triple7)] The bear sees the dog.[(triple8)] The dog is not rough.[(triple9)] The dog needs the bald eagle.[(triple10)] @1: The dog sees the bear.[(((triple7) -> rule2))] @2: The dog sees the dog.[(((((triple7) -> rule2)) -> rule1))]