The lion chases the mouse. The lion is green. The lion is kind. The lion is nice. The lion needs the mouse. The lion sees the mouse. The mouse is green. If the lion chases the mouse and the mouse does not need the lion then the lion does not see the mouse. If someone needs the mouse then the mouse is not young. If the mouse is not young then the mouse is not nice.
The mouse is not young.
@0: The lion chases the mouse.[(triple1)] The lion is green.[(triple2)] The lion is kind.[(triple3)] The lion is nice.[(triple4)] The lion needs the mouse.[(triple5)] The lion sees the mouse.[(triple6)] The mouse is green.[(triple7)] @1: The mouse is not young.[(((triple5) -> rule2))] @2: The mouse is not nice.[(((((triple5) -> rule2)) -> rule3))]