The bear does not eat the mouse. The bear needs the rabbit. The mouse is kind. The mouse is not young. The rabbit sees the bear. The rabbit sees the mouse. The tiger is big. If someone is kind and not young then they do not see the tiger. If the rabbit needs the tiger and the rabbit does not eat the bear then the rabbit sees the mouse. If someone needs the mouse then the mouse sees the rabbit.
The bear does not eat the mouse.
@0: The bear does not eat the mouse.[(triple1)] The bear needs the rabbit.[(triple2)] The mouse is kind.[(triple3)] The mouse is not young.[(triple4)] The rabbit sees the bear.[(triple5)] The rabbit sees the mouse.[(triple6)] The tiger is big.[(triple7)] @1: The mouse does not see the tiger.[(((triple3 triple4) -> rule1))]