The mouse chases the tiger. The mouse is young. The mouse visits the tiger. The tiger chases the mouse. The tiger is not cold. The tiger needs the mouse. The tiger does not visit the mouse. If something is round then it chases the mouse. Rough things are nice. If something is rough and not young then it is not nice. If the tiger visits the mouse and the mouse needs the tiger then the tiger chases the mouse. If something chases the tiger then it needs the tiger. If something needs the tiger then it is cold. If something chases the tiger and the tiger is young then the tiger does not need the mouse. If the mouse does not need the tiger then the tiger needs the mouse.
The mouse visits the tiger.
@0: The mouse chases the tiger.[(triple1)] The mouse is young.[(triple2)] The mouse visits the tiger.[(triple3)] The tiger chases the mouse.[(triple4)] The tiger does not visit the mouse.[(triple7)] The tiger is not cold.[(triple5)] The tiger needs the mouse.[(triple6)] @1: The mouse needs the tiger.[(((triple1) -> rule5))] @2: The mouse is cold.[(((((triple1) -> rule5)) -> rule6))]