The bear is nice. The mouse likes the bear. The mouse likes the tiger. The mouse sees the tiger. The squirrel likes the mouse. The tiger likes the squirrel. The tiger visits the mouse. If someone likes the mouse then they see the squirrel.
The tiger is nice.
@0: The bear is nice.[(triple1)] The mouse likes the bear.[(triple2)] The mouse likes the tiger.[(triple3)] The mouse sees the tiger.[(triple4)] The squirrel likes the mouse.[(triple5)] The tiger likes the squirrel.[(triple6)] The tiger visits the mouse.[(triple7)] @1: The squirrel sees the squirrel.[(((triple5) -> rule1))]