The bald eagle visits the bear. The bear likes the bald eagle. The dog is not green. The tiger is not nice. If the tiger likes the dog then the dog does not visit the tiger. If someone chases the bald eagle and the bald eagle is red then the bald eagle does not like the bear. If someone visits the bear and the bear is red then the bear does not chase the tiger. If someone visits the bear then they like the bear. If someone likes the bear then they chase the bald eagle. If someone is red then they visit the tiger. If the bear chases the tiger and the bear is not green then the tiger visits the bald eagle. If someone visits the bear and they do not visit the dog then the dog chases the bear.
The bald eagle chases the bald eagle.
@0: The bald eagle visits the bear.[(triple1)] The bear likes the bald eagle.[(triple2)] The dog is not green.[(triple3)] The tiger is not nice.[(triple4)] @1: The bald eagle likes the bear.[(((triple1) -> rule4))] @2: The bald eagle chases the bald eagle.[(((((triple1) -> rule4)) -> rule5))]