The bald eagle eats the tiger. The bald eagle does not need the tiger. The bald eagle sees the cow. The cow eats the bald eagle. The cow is not nice. The mouse needs the bald eagle. The tiger eats the cow. The tiger is rough. The tiger is not young. The tiger sees the bald eagle. If the tiger needs the cow and the tiger eats the cow then the cow does not eat the bald eagle. If something sees the tiger then it eats the mouse. If something is nice then it is rough. All red things are not young. If something needs the mouse then the mouse does not need the bald eagle. If the mouse needs the cow and the cow needs the tiger then the cow sees the mouse. If something eats the mouse then the mouse sees the cow. If something eats the bald eagle then the bald eagle is nice. If something sees the cow then it sees the tiger.
The mouse eats the mouse.
@0: The bald eagle does not need the tiger.[(triple2)] The bald eagle eats the tiger.[(triple1)] The bald eagle sees the cow.[(triple3)] The cow eats the bald eagle.[(triple4)] The cow is not nice.[(triple5)] The mouse needs the bald eagle.[(triple6)] The tiger eats the cow.[(triple7)] The tiger is not young.[(triple9)] The tiger is rough.[(triple8)] The tiger sees the bald eagle.[(triple10)] @1: The bald eagle is nice.[(((triple4) -> rule8))] The bald eagle sees the tiger.[(((triple3) -> rule9))] @2: The bald eagle eats the mouse.[(((((triple3) -> rule9)) -> rule2))] The bald eagle is rough.[(((((triple4) -> rule8)) -> rule3))] @3: The mouse sees the cow.[(((((((triple3) -> rule9)) -> rule2)) -> rule7))] @4: The mouse sees the tiger.[(((((((((triple3) -> rule9)) -> rule2)) -> rule7)) -> rule9))] @5: The mouse eats the mouse.[(((((((((((triple3) -> rule9)) -> rule2)) -> rule7)) -> rule9)) -> rule2))]