The bald eagle visits the bear. The bald eagle visits the dog. The bear likes the bald eagle. The dog does not eat the bald eagle. The dog is not cold. The dog likes the bald eagle. The dog visits the bald eagle. If something likes the dog then it is green. If the bear visits the dog then the dog likes the bear. If something is green then it does not visit the bald eagle. If something eats the dog and it visits the dog then it does not eat the bald eagle. If something is kind then it likes the dog. If the bear likes the bald eagle and the bald eagle visits the bear then the bald eagle likes the dog.
The dog likes the bald eagle.
@0: The bald eagle visits the bear.[(triple1)] The bald eagle visits the dog.[(triple2)] The bear likes the bald eagle.[(triple3)] The dog does not eat the bald eagle.[(triple4)] The dog is not cold.[(triple5)] The dog likes the bald eagle.[(triple6)] The dog visits the bald eagle.[(triple7)] @1: The bald eagle likes the dog.[(((triple3 triple1) -> rule6))] @2: The bald eagle is green.[(((((triple3 triple1) -> rule6)) -> rule1))] @3: The bald eagle does not visit the bald eagle.[(((((((triple3 triple1) -> rule6)) -> rule1)) -> rule3))]