The bald eagle is nice. The cow is rough. The mouse does not eat the cow. If the mouse is not young and the mouse does not eat the cow then the cow does not like the mouse. If something is nice then it likes the cow. If something is nice then it sees the mouse. If something likes the cow then it is rough. If something eats the cow and the cow eats the bald eagle then the cow is not young. If something is rough then it sees the bald eagle. If something likes the bald eagle then the bald eagle does not eat the mouse. If something likes the bald eagle and it does not see the bald eagle then the bald eagle is young.
The bald eagle does not eat the cow.
@0: The bald eagle is nice.[(triple1)] The cow is rough.[(triple2)] The mouse does not eat the cow.[(triple3)] @1: The bald eagle likes the cow.[(((triple1) -> rule2))] The bald eagle sees the mouse.[(((triple1) -> rule3))] The cow sees the bald eagle.[(((triple2) -> rule6))] @2: The bald eagle is rough.[(((((triple1) -> rule2)) -> rule4))] @3: The bald eagle sees the bald eagle.[(((((((triple1) -> rule2)) -> rule4)) -> rule6))]