The bald eagle chases the mouse. The bald eagle likes the lion. The lion chases the bald eagle. The lion eats the bald eagle. The lion is big. The lion is green. The lion likes the bald eagle. The lion likes the mouse. The mouse chases the lion. The mouse eats the lion. The mouse is green. The mouse is kind. If someone chases the mouse then the mouse chases the bald eagle. If someone eats the bald eagle and the bald eagle is young then the bald eagle chases the lion. If someone likes the lion and the lion likes the mouse then the lion likes the bald eagle. If someone eats the mouse then they like the mouse. If the bald eagle chases the lion and the bald eagle is big then the lion is big. If someone eats the lion and they are young then the lion eats the mouse. If the mouse eats the bald eagle then the bald eagle is big. If someone eats the mouse then they are green.
The bald eagle chases the bald eagle.
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle likes the lion.[(triple2)] The lion chases the bald eagle.[(triple3)] The lion eats the bald eagle.[(triple4)] The lion is big.[(triple5)] The lion is green.[(triple6)] The lion likes the bald eagle.[(triple7 OR ((triple2 triple8) -> rule3))] The lion likes the mouse.[(triple8)] The mouse chases the lion.[(triple9)] The mouse eats the lion.[(triple10)] The mouse is green.[(triple11)] The mouse is kind.[(triple12)] @1: The mouse chases the bald eagle.[(((triple1) -> rule1))]