The mouse eats the tiger. The mouse does not need the squirrel. The squirrel is big. The squirrel needs the tiger. The tiger is not young. The tiger needs the mouse. The tiger sees the squirrel. If something is young and not kind then it needs the squirrel. If something is green then it does not need the squirrel. If something eats the tiger then the tiger does not eat the squirrel.
The squirrel sees the mouse.
@0: The mouse does not need the squirrel.[(triple2)] The mouse eats the tiger.[(triple1)] The squirrel is big.[(triple3)] The squirrel needs the tiger.[(triple4)] The tiger is not young.[(triple5)] The tiger needs the mouse.[(triple6)] The tiger sees the squirrel.[(triple7)] @1: The tiger does not eat the squirrel.[(((triple1) -> rule3))]