The bald eagle chases the lion. The bald eagle chases the mouse. The bald eagle is nice. The bald eagle likes the mouse. The lion chases the bald eagle. The lion chases the mouse. The lion is cold. The lion is green. The lion likes the bald eagle. The lion likes the mouse. The lion needs the bald eagle. The lion needs the mouse. The mouse is young. The mouse likes the bald eagle. The mouse likes the lion. If something is green and it needs the lion then it is nice. If something likes the bald eagle then the bald eagle chases the lion. If something likes the mouse then it chases the mouse. If something is green and it needs the bald eagle then it is nice. All big things are cold. If something likes the bald eagle then it likes the lion. If the mouse is nice and the mouse needs the lion then the lion is big. If something is green and it needs the mouse then it chases the mouse.
The mouse does not chase the mouse.
@0: The bald eagle chases the lion.[(triple1 OR ((triple14) -> rule2) OR ((triple9) -> rule2))] The bald eagle chases the mouse.[(triple2 OR ((triple4) -> rule3))] The bald eagle is nice.[(triple3)] The bald eagle likes the mouse.[(triple4)] The lion chases the bald eagle.[(triple5)] The lion chases the mouse.[(triple6 OR ((triple10) -> rule3) OR ((triple8 triple12) -> rule8))] The lion is cold.[(triple7)] The lion is green.[(triple8)] The lion likes the bald eagle.[(triple9)] The lion likes the mouse.[(triple10)] The lion needs the bald eagle.[(triple11)] The lion needs the mouse.[(triple12)] The mouse is young.[(triple13)] The mouse likes the bald eagle.[(triple14)] The mouse likes the lion.[(triple15 OR ((triple14) -> rule6))] @1: The lion is nice.[(((triple8 triple11) -> rule4))] The lion likes the lion.[(((triple9) -> rule6))]