The lion chases the mouse. The lion is green. The lion is nice. The mouse chases the lion. The mouse is not big. The mouse is not green. The mouse visits the squirrel. The squirrel is big. The squirrel needs the lion. The squirrel does not need the mouse. The squirrel visits the lion. The squirrel visits the mouse. If something needs the squirrel and the squirrel does not need the mouse then the mouse needs the lion. If the lion is green then the lion is big.
The lion needs the mouse.
@0: The lion chases the mouse.[(triple1)] The lion is green.[(triple2)] The lion is nice.[(triple3)] The mouse chases the lion.[(triple4)] The mouse is not big.[(triple5)] The mouse is not green.[(triple6)] The mouse visits the squirrel.[(triple7)] The squirrel does not need the mouse.[(triple10)] The squirrel is big.[(triple8)] The squirrel needs the lion.[(triple9)] The squirrel visits the lion.[(triple11)] The squirrel visits the mouse.[(triple12)] @1: The lion is big.[(((triple2) -> rule2))]