The bear sees the mouse. The bear visits the tiger. The mouse is big. The mouse is nice. The mouse visits the bear. The mouse visits the squirrel. The squirrel is nice. The squirrel needs the tiger. The squirrel sees the tiger. The squirrel visits the mouse. The squirrel visits the tiger. The tiger sees the bear. If someone needs the squirrel and they see the bear then they are big. If someone needs the tiger then the tiger needs the bear.
The tiger needs the tiger.
@0: The bear sees the mouse.[(triple1)] The bear visits the tiger.[(triple2)] The mouse is big.[(triple3)] The mouse is nice.[(triple4)] The mouse visits the bear.[(triple5)] The mouse visits the squirrel.[(triple6)] The squirrel is nice.[(triple7)] The squirrel needs the tiger.[(triple8)] The squirrel sees the tiger.[(triple9)] The squirrel visits the mouse.[(triple10)] The squirrel visits the tiger.[(triple11)] The tiger sees the bear.[(triple12)] @1: The tiger needs the bear.[(((triple8) -> rule2))]