The bald eagle chases the lion. The bald eagle chases the mouse. The bald eagle is red. The bald eagle likes the bear. The bald eagle likes the lion. The bald eagle likes the mouse. The bald eagle visits the mouse. The bear is big. The lion is blue. The lion likes the bald eagle. The lion likes the bear. The lion visits the bald eagle. The lion visits the bear. The mouse chases the lion. The mouse is blue. The mouse likes the bald eagle. If something likes the bald eagle then the bald eagle chases the lion. If something likes the bear and the bear is red then it visits the lion. If something is big and it chases the lion then it likes the mouse. If the bear is big and the bear is blue then the bear visits the lion. If something is red then it chases the mouse. If something visits the bald eagle then it chases the bear.
The lion chases the bear.
@0: The bald eagle chases the lion.[(triple1 OR ((triple10) -> rule1) OR ((triple16) -> rule1))] The bald eagle chases the mouse.[(triple2 OR ((triple3) -> rule5))] The bald eagle is red.[(triple3)] The bald eagle likes the bear.[(triple4)] The bald eagle likes the lion.[(triple5)] The bald eagle likes the mouse.[(triple6)] The bald eagle visits the mouse.[(triple7)] The bear is big.[(triple8)] The lion is blue.[(triple9)] The lion likes the bald eagle.[(triple10)] The lion likes the bear.[(triple11)] The lion visits the bald eagle.[(triple12)] The lion visits the bear.[(triple13)] The mouse chases the lion.[(triple14)] The mouse is blue.[(triple15)] The mouse likes the bald eagle.[(triple16)] @1: The lion chases the bear.[(((triple12) -> rule6))]