The bear eats the mouse. The mouse is big. The rabbit is big. If something is kind then it does not visit the mouse. Big things are kind. If something visits the mouse then the mouse visits the rabbit. If the rabbit does not chase the bear then the bear does not visit the mouse. If something is young then it chases the mouse. If something is kind and it does not visit the bear then the bear eats the rabbit.
The mouse does not chase the rabbit.
@0: The bear eats the mouse.[(triple1)] The mouse is big.[(triple2)] The rabbit is big.[(triple3)] @1: The mouse is kind.[(((triple2) -> rule2))] The rabbit is kind.[(((triple3) -> rule2))] @2: The mouse does not visit the mouse.[(((((triple2) -> rule2)) -> rule1))] The rabbit does not visit the mouse.[(((((triple3) -> rule2)) -> rule1))]