The bald eagle chases the rabbit. The bald eagle eats the bear. The bald eagle eats the rabbit. The bald eagle is rough. The bald eagle visits the rabbit. The bear chases the bald eagle. The bear chases the rabbit. The bear eats the bald eagle. The bear is green. The bear is kind. The mouse eats the bald eagle. The mouse visits the bear. The rabbit eats the bear. The rabbit visits the bald eagle. The rabbit visits the bear. If someone eats the mouse then they chase the rabbit. If someone visits the mouse then the mouse chases the rabbit. If someone eats the bear then the bear visits the mouse.
The bald eagle visits the bear.
@0: The bald eagle chases the rabbit.[(triple1)] The bald eagle eats the bear.[(triple2)] The bald eagle eats the rabbit.[(triple3)] The bald eagle is rough.[(triple4)] The bald eagle visits the rabbit.[(triple5)] The bear chases the bald eagle.[(triple6)] The bear chases the rabbit.[(triple7)] The bear eats the bald eagle.[(triple8)] The bear is green.[(triple9)] The bear is kind.[(triple10)] The mouse eats the bald eagle.[(triple11)] The mouse visits the bear.[(triple12)] The rabbit eats the bear.[(triple13)] The rabbit visits the bald eagle.[(triple14)] The rabbit visits the bear.[(triple15)] @1: The bear visits the mouse.[(((triple13) -> rule3) OR ((triple2) -> rule3))] @2: The mouse chases the rabbit.[(((((triple13) -> rule3)) -> rule2) OR ((((triple2) -> rule3)) -> rule2))]