The bald eagle sees the bear. The bear visits the rabbit. The dog visits the bear. The rabbit likes the bald eagle. If something is big then it is kind. If something visits the bald eagle and the bald eagle visits the dog then it likes the bald eagle. If something sees the bald eagle and the bald eagle visits the bear then the bear likes the bald eagle. If something sees the rabbit then the rabbit visits the dog. Big things are round. If something likes the bald eagle then it sees the rabbit. If something is kind then it sees the bald eagle. If something sees the rabbit then the rabbit visits the dog.
The bald eagle does not see the bear.
@0: The bald eagle sees the bear.[(triple1)] The bear visits the rabbit.[(triple2)] The dog visits the bear.[(triple3)] The rabbit likes the bald eagle.[(triple4)] @1: The rabbit sees the rabbit.[(((triple4) -> rule6))] @2: The rabbit visits the dog.[(((((triple4) -> rule6)) -> rule4) OR ((((triple4) -> rule6)) -> rule8))]