The bald eagle is big. The bald eagle is young. The bald eagle likes the bear. The bald eagle visits the mouse. The bear chases the bald eagle. The bear chases the mouse. The bear is nice. The bear likes the mouse. The mouse is kind. The mouse likes the bear. If something is big and it chases the bear then it chases the mouse. If something chases the bald eagle then the bald eagle chases the bear.
The bear does not like the bald eagle.
@0: The bald eagle is big.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle likes the bear.[(triple3)] The bald eagle visits the mouse.[(triple4)] The bear chases the bald eagle.[(triple5)] The bear chases the mouse.[(triple6)] The bear is nice.[(triple7)] The bear likes the mouse.[(triple8)] The mouse is kind.[(triple9)] The mouse likes the bear.[(triple10)] @1: The bald eagle chases the bear.[(((triple5) -> rule2))] @2: The bald eagle chases the mouse.[(((triple1 ((triple5) -> rule2)) -> rule1))]