The bald eagle chases the mouse. The bald eagle eats the mouse. The bald eagle is cold. The lion chases the bald eagle. The lion eats the bald eagle. The lion eats the mouse. The lion is big. The mouse eats the squirrel. The mouse likes the bald eagle. The squirrel chases the mouse. The squirrel eats the lion. The squirrel is big. If someone is round and they like the bald eagle then the bald eagle likes the squirrel. If someone chases the bald eagle then the bald eagle is cold. If someone is rough and round then they like the mouse. If the squirrel chases the mouse and the mouse is blue then the mouse likes the lion. If someone chases the mouse then they chase the lion. If someone is blue then they like the lion. If the mouse chases the bald eagle and the bald eagle is big then the bald eagle is cold. If someone eats the lion and they are rough then the lion is rough.
The lion eats the mouse.
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle eats the mouse.[(triple2)] The bald eagle is cold.[(triple3 OR ((triple4) -> rule2))] The lion chases the bald eagle.[(triple4)] The lion eats the bald eagle.[(triple5)] The lion eats the mouse.[(triple6)] The lion is big.[(triple7)] The mouse eats the squirrel.[(triple8)] The mouse likes the bald eagle.[(triple9)] The squirrel chases the mouse.[(triple10)] The squirrel eats the lion.[(triple11)] The squirrel is big.[(triple12)] @1: The bald eagle chases the lion.[(((triple1) -> rule5))] The squirrel chases the lion.[(((triple10) -> rule5))]