The bear likes the tiger. The bear needs the mouse. The bear needs the tiger. The bear sees the tiger. The mouse is nice. The mouse likes the tiger. The mouse sees the tiger. The tiger is blue. The tiger likes the bear. The tiger needs the bear. The tiger needs the mouse. The tiger sees the bear. If something needs the bear and the bear is cold then the bear needs the mouse. If something is nice then it needs the mouse. If something needs the tiger and the tiger is nice then the tiger needs the mouse.
The tiger needs the tiger.
@0: The bear likes the tiger.[(triple1)] The bear needs the mouse.[(triple2)] The bear needs the tiger.[(triple3)] The bear sees the tiger.[(triple4)] The mouse is nice.[(triple5)] The mouse likes the tiger.[(triple6)] The mouse sees the tiger.[(triple7)] The tiger is blue.[(triple8)] The tiger likes the bear.[(triple9)] The tiger needs the bear.[(triple10)] The tiger needs the mouse.[(triple11)] The tiger sees the bear.[(triple12)] @1: The mouse needs the mouse.[(((triple5) -> rule2))]