The cat is young. The cow likes the cat. The mouse likes the cow. The rabbit eats the cat. If something is young then it eats the mouse. If something eats the mouse then the mouse is young. If the cow likes the cat then the cat likes the rabbit.
The cat eats the mouse.
@0: The cat is young.[(triple1)] The cow likes the cat.[(triple2)] The mouse likes the cow.[(triple3)] The rabbit eats the cat.[(triple4)] @1: The cat eats the mouse.[(((triple1) -> rule1))] The cat likes the rabbit.[(((triple2) -> rule3))] @2: The mouse is young.[(((((triple1) -> rule1)) -> rule2))] @3: The mouse eats the mouse.[(((((((triple1) -> rule1)) -> rule2)) -> rule1))]