The mouse needs the tiger. The tiger chases the mouse. The tiger is rough. If something needs the tiger then it is green. If the tiger likes the mouse and the tiger is cold then the tiger chases the mouse. If something needs the mouse and the mouse is cold then the mouse is rough. If something likes the mouse and the mouse needs the tiger then it chases the mouse. If something is blue and it chases the mouse then the mouse likes the tiger. If something is rough then it chases the tiger. If something chases the tiger and the tiger likes the mouse then it is green. If something is green then it is big.
The tiger is rough.
@0: The mouse needs the tiger.[(triple1)] The tiger chases the mouse.[(triple2)] The tiger is rough.[(triple3)] @1: The mouse is green.[(((triple1) -> rule1))] The tiger chases the tiger.[(((triple3) -> rule6))] @2: The mouse is big.[(((((triple1) -> rule1)) -> rule8))]