The bald eagle chases the mouse. The bald eagle is blue. The bald eagle is rough. The bald eagle likes the mouse. The bald eagle visits the mouse. The mouse visits the rabbit. The rabbit chases the bald eagle. The rabbit is nice. The rabbit is rough. The rabbit likes the bald eagle. The rabbit likes the mouse. The rabbit visits the mouse. If the mouse visits the rabbit then the mouse likes the bald eagle. If someone chases the mouse then the mouse is nice.
The bald eagle does not visit the rabbit.
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle likes the mouse.[(triple4)] The bald eagle visits the mouse.[(triple5)] The mouse visits the rabbit.[(triple6)] The rabbit chases the bald eagle.[(triple7)] The rabbit is nice.[(triple8)] The rabbit is rough.[(triple9)] The rabbit likes the bald eagle.[(triple10)] The rabbit likes the mouse.[(triple11)] The rabbit visits the mouse.[(triple12)] @1: The mouse is nice.[(((triple1) -> rule2))] The mouse likes the bald eagle.[(((triple6) -> rule1))]