The lion eats the squirrel. The lion needs the squirrel. The lion sees the squirrel. The mouse is cold. The mouse is young. The squirrel is nice. The squirrel sees the mouse. If something needs the lion then it eats the lion. If something sees the squirrel then it is young. If the lion needs the squirrel and the squirrel needs the mouse then the mouse sees the lion. If something eats the mouse then the mouse needs the lion. If the mouse sees the lion and the mouse sees the squirrel then the squirrel needs the lion. If the lion is blue and the lion eats the squirrel then the lion sees the squirrel. If something needs the squirrel then the squirrel needs the mouse. If something needs the mouse then the mouse needs the squirrel.
The mouse eats the squirrel.
@0: The lion eats the squirrel.[(triple1)] The lion needs the squirrel.[(triple2)] The lion sees the squirrel.[(triple3)] The mouse is cold.[(triple4)] The mouse is young.[(triple5)] The squirrel is nice.[(triple6)] The squirrel sees the mouse.[(triple7)] @1: The lion is young.[(((triple3) -> rule2))] The squirrel needs the mouse.[(((triple2) -> rule7))] @2: The mouse needs the squirrel.[(((((triple2) -> rule7)) -> rule8))] The mouse sees the lion.[(((triple2 ((triple2) -> rule7)) -> rule3))]