The lion needs the mouse. The mouse is rough. If the lion needs the mouse then the lion is rough. If someone sees the mouse and they need the lion then the lion is rough. If someone needs the lion then they do not see the lion. If the lion is not red then the lion does not see the mouse. If someone sees the lion then they are kind. If someone sees the mouse and they eat the mouse then the mouse does not need the lion. If someone eats the lion then the lion is not blue. If someone sees the lion and they do not need the mouse then the mouse sees the lion.
The lion does not need the mouse.
@0: The lion needs the mouse.[(triple1)] The mouse is rough.[(triple2)] @1: The lion is rough.[(((triple1) -> rule1))]