The cow eats the mouse. The cow is big. The mouse is young. If someone is cold then they like the mouse. If someone is big then they like the mouse. If someone needs the mouse and the mouse likes the cow then they eat the cow. If someone likes the mouse then the mouse does not eat the cow. If someone likes the cow then the cow needs the mouse. If someone likes the cow then the cow eats the mouse. If someone needs the mouse and the mouse does not eat the cow then the cow is not round. If someone likes the mouse and the mouse does not eat the cow then the mouse is rough.
The cow likes the mouse.
@0: The cow eats the mouse.[(triple1)] The cow is big.[(triple2)] The mouse is young.[(triple3)] @1: The cow likes the mouse.[(((triple2) -> rule2))] @2: The mouse does not eat the cow.[(((((triple2) -> rule2)) -> rule4))] @3: The mouse is rough.[(((((triple2) -> rule2) ((((triple2) -> rule2)) -> rule4)) -> rule8))]