The bald eagle chases the lion. The bear sees the dog. The dog is rough. The dog does not visit the bald eagle. The dog visits the bear. The lion chases the dog. The lion visits the bald eagle. If something sees the bear then the bear sees the lion. If the bear does not see the lion then the lion visits the bear. Young things are kind. If something is kind then it does not visit the lion. If something visits the lion and it is young then it does not chase the bald eagle. If something chases the bear then the bear is young. If something visits the bear then the bear chases the bald eagle. If something chases the bear then it visits the bald eagle. If something chases the bald eagle then the bald eagle chases the bear.
The bear visits the lion.
@0: The bald eagle chases the lion.[(triple1)] The bear sees the dog.[(triple2)] The dog does not visit the bald eagle.[(triple4)] The dog is rough.[(triple3)] The dog visits the bear.[(triple5)] The lion chases the dog.[(triple6)] The lion visits the bald eagle.[(triple7)] @1: The bear chases the bald eagle.[(((triple5) -> rule7))] @2: The bald eagle chases the bear.[(((((triple5) -> rule7)) -> rule9))] @3: The bald eagle visits the bald eagle.[(((((((triple5) -> rule7)) -> rule9)) -> rule8))] The bear is young.[(((((((triple5) -> rule7)) -> rule9)) -> rule6))] @4: The bear is kind.[(((((((((triple5) -> rule7)) -> rule9)) -> rule6)) -> rule3))] @5: The bear does not visit the lion.[(((((((((((triple5) -> rule7)) -> rule9)) -> rule6)) -> rule3)) -> rule4))]