The lion is young. The lion needs the mouse. The mouse is not nice. The mouse does not like the lion. The mouse likes the squirrel. The squirrel chases the mouse. The squirrel is nice. The squirrel is young. The squirrel likes the mouse. The squirrel needs the mouse. If something needs the lion and it is nice then the lion needs the squirrel. If something needs the lion then the lion chases the squirrel. If something likes the lion then it does not need the lion. If something needs the squirrel then it needs the lion. If something needs the mouse then the mouse needs the squirrel. If something chases the lion and it needs the squirrel then the squirrel likes the mouse. If something chases the mouse and it is cold then it chases the lion. If something likes the mouse then it is big.
The mouse needs the lion.
@0: The lion is young.[(triple1)] The lion needs the mouse.[(triple2)] The mouse does not like the lion.[(triple4)] The mouse is not nice.[(triple3)] The mouse likes the squirrel.[(triple5)] The squirrel chases the mouse.[(triple6)] The squirrel is nice.[(triple7)] The squirrel is young.[(triple8)] The squirrel likes the mouse.[(triple9)] The squirrel needs the mouse.[(triple10)] @1: The mouse needs the squirrel.[(((triple10) -> rule5) OR ((triple2) -> rule5))] The squirrel is big.[(((triple9) -> rule8))] @2: The mouse needs the lion.[(((((triple10) -> rule5)) -> rule4) OR ((((triple2) -> rule5)) -> rule4))] @3: The lion chases the squirrel.[(((((((triple10) -> rule5)) -> rule4)) -> rule2) OR ((((((triple2) -> rule5)) -> rule4)) -> rule2))]