The mouse eats the squirrel. The mouse eats the tiger. The mouse is big. The mouse needs the tiger. The mouse visits the squirrel. The squirrel eats the mouse. The squirrel eats the tiger. The squirrel is green. The squirrel needs the tiger. The tiger is rough. The tiger needs the mouse. The tiger visits the squirrel. If something needs the tiger and the tiger needs the squirrel then the squirrel is nice. If something visits the tiger and it needs the squirrel then the tiger needs the squirrel. If something is rough and it eats the mouse then it eats the squirrel. If the squirrel eats the mouse then the mouse needs the squirrel. If something is nice and it eats the tiger then the tiger eats the mouse. If something eats the squirrel then the squirrel is nice.
The tiger does not need the squirrel.
@0: The mouse eats the squirrel.[(triple1)] The mouse eats the tiger.[(triple2)] The mouse is big.[(triple3)] The mouse needs the tiger.[(triple4)] The mouse visits the squirrel.[(triple5)] The squirrel eats the mouse.[(triple6)] The squirrel eats the tiger.[(triple7)] The squirrel is green.[(triple8)] The squirrel needs the tiger.[(triple9)] The tiger is rough.[(triple10)] The tiger needs the mouse.[(triple11)] The tiger visits the squirrel.[(triple12)] @1: The mouse needs the squirrel.[(((triple6) -> rule4))] The squirrel is nice.[(((triple1) -> rule6))] @2: The tiger eats the mouse.[(((((triple1) -> rule6) triple7) -> rule5))] @3: The tiger eats the squirrel.[(((triple10 ((((triple1) -> rule6) triple7) -> rule5)) -> rule3))]