The bald eagle chases the mouse. The bald eagle is green. The bald eagle visits the bear. The bald eagle visits the mouse. The bear chases the bald eagle. The bear chases the mouse. The bear is big. The bear is nice. The bear is round. The bear likes the bald eagle. The bear likes the mouse. The bear visits the mouse. The mouse chases the bald eagle. The mouse chases the bear. The mouse is big. The mouse is round. If the bald eagle visits the bear and the bear is round then the bald eagle is round. If someone is green then they visit the mouse. If someone chases the mouse and they visit the bear then the bear likes the bald eagle.
The mouse does not visit the mouse.
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle visits the bear.[(triple3)] The bald eagle visits the mouse.[(triple4 OR ((triple2) -> rule2))] The bear chases the bald eagle.[(triple5)] The bear chases the mouse.[(triple6)] The bear is big.[(triple7)] The bear is nice.[(triple8)] The bear is round.[(triple9)] The bear likes the bald eagle.[(triple10 OR ((triple1 triple3) -> rule3))] The bear likes the mouse.[(triple11)] The bear visits the mouse.[(triple12)] The mouse chases the bald eagle.[(triple13)] The mouse chases the bear.[(triple14)] The mouse is big.[(triple15)] The mouse is round.[(triple16)] @1: The bald eagle is round.[(((triple3 triple9) -> rule1))]