The bear eats the mouse. The bear needs the tiger. The mouse is cold. The mouse needs the bear. The tiger eats the bear. The tiger is cold. The tiger needs the mouse. If the tiger likes the bear and the tiger is not nice then the tiger needs the mouse. If something likes the bear then it is rough. If something needs the tiger then the tiger likes the bear.
The tiger likes the bear.
@0: The bear eats the mouse.[(triple1)] The bear needs the tiger.[(triple2)] The mouse is cold.[(triple3)] The mouse needs the bear.[(triple4)] The tiger eats the bear.[(triple5)] The tiger is cold.[(triple6)] The tiger needs the mouse.[(triple7)] @1: The tiger likes the bear.[(((triple2) -> rule3))] @2: The tiger is rough.[(((((triple2) -> rule3)) -> rule2))]