The bald eagle eats the lion. The bald eagle is young. The bald eagle likes the mouse. The bald eagle visits the lion. The lion eats the bald eagle. The lion is young. The lion visits the bald eagle. The lion visits the mouse. The mouse eats the bald eagle. The mouse eats the lion. The mouse is cold. The mouse likes the bald eagle. If the mouse is red and the mouse visits the lion then the lion likes the mouse. If someone likes the bald eagle and they visit the mouse then the mouse visits the bald eagle. If someone is cold and they eat the mouse then they eat the bald eagle. If someone eats the lion then they are rough. If someone is young then they like the bald eagle. If someone likes the lion then the lion eats the bald eagle.
The mouse is red.
@0: The bald eagle eats the lion.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle likes the mouse.[(triple3)] The bald eagle visits the lion.[(triple4)] The lion eats the bald eagle.[(triple5)] The lion is young.[(triple6)] The lion visits the bald eagle.[(triple7)] The lion visits the mouse.[(triple8)] The mouse eats the bald eagle.[(triple9)] The mouse eats the lion.[(triple10)] The mouse is cold.[(triple11)] The mouse likes the bald eagle.[(triple12)] @1: The bald eagle is rough.[(((triple1) -> rule4))] The bald eagle likes the bald eagle.[(((triple2) -> rule5))] The lion likes the bald eagle.[(((triple6) -> rule5))] The mouse is rough.[(((triple10) -> rule4))] @2: The mouse visits the bald eagle.[(((((triple6) -> rule5) triple8) -> rule2))]