The lion needs the mouse. The lion visits the mouse. The mouse is kind. The mouse sees the squirrel. The squirrel is young. The squirrel sees the mouse. The squirrel visits the lion. If something sees the lion then it sees the mouse. If something needs the squirrel and it sees the squirrel then the squirrel needs the lion. If something is kind and it sees the squirrel then the squirrel visits the mouse. If something visits the squirrel then the squirrel needs the mouse. All young things are cold. If something is young and it needs the squirrel then the squirrel is cold. If something visits the mouse and the mouse needs the lion then the lion sees the squirrel. If something visits the mouse and it is cold then it needs the lion.
The squirrel does not need the mouse.
@0: The lion needs the mouse.[(triple1)] The lion visits the mouse.[(triple2)] The mouse is kind.[(triple3)] The mouse sees the squirrel.[(triple4)] The squirrel is young.[(triple5)] The squirrel sees the mouse.[(triple6)] The squirrel visits the lion.[(triple7)] @1: The squirrel is cold.[(((triple5) -> rule5))] The squirrel visits the mouse.[(((triple3 triple4) -> rule3))] @2: The squirrel needs the lion.[(((((triple3 triple4) -> rule3) ((triple5) -> rule5)) -> rule8))]