The lion does not need the mouse. The mouse needs the lion. The mouse visits the lion. If the lion is rough then the lion is kind. If the mouse needs the lion then the mouse is rough. All rough things are young. If something needs the lion and the lion is young then the lion does not like the mouse. If something likes the mouse then the mouse visits the lion. If something visits the lion and the lion is green then it visits the mouse. If something visits the mouse and it needs the mouse then it does not need the lion. If the lion visits the mouse and the mouse does not like the lion then the mouse needs the lion.
The lion is not kind.
@0: The lion does not need the mouse.[(triple1)] The mouse needs the lion.[(triple2)] The mouse visits the lion.[(triple3)] @1: The mouse is rough.[(((triple2) -> rule2))] @2: The mouse is young.[(((((triple2) -> rule2)) -> rule3))]