The mouse is nice. The mouse does not need the rabbit. The mouse sees the rabbit. The rabbit needs the mouse. The squirrel likes the mouse. The squirrel likes the rabbit. The squirrel needs the mouse. If something is nice then it does not need the squirrel. If something needs the squirrel then it does not like the mouse. If something likes the squirrel and it is rough then the squirrel likes the rabbit.
The mouse is nice.
@0: The mouse does not need the rabbit.[(triple2)] The mouse is nice.[(triple1)] The mouse sees the rabbit.[(triple3)] The rabbit needs the mouse.[(triple4)] The squirrel likes the mouse.[(triple5)] The squirrel likes the rabbit.[(triple6)] The squirrel needs the mouse.[(triple7)] @1: The mouse does not need the squirrel.[(((triple1) -> rule1))]