The bald eagle eats the lion. The cow likes the lion. The lion eats the cow. The mouse likes the bald eagle. If the cow sees the mouse then the mouse sees the lion. If someone eats the cow then the cow sees the mouse. If someone likes the bald eagle then the bald eagle sees the mouse. If the cow is round then the cow eats the mouse. If someone likes the cow and they like the lion then the cow eats the bald eagle. If someone is kind then they like the bald eagle.
The mouse does not like the bald eagle.
@0: The bald eagle eats the lion.[(triple1)] The cow likes the lion.[(triple2)] The lion eats the cow.[(triple3)] The mouse likes the bald eagle.[(triple4)] @1: The bald eagle sees the mouse.[(((triple4) -> rule3))] The cow sees the mouse.[(((triple3) -> rule2))] @2: The mouse sees the lion.[(((((triple3) -> rule2)) -> rule1))]