The lion chases the squirrel. The lion is not big. The lion is rough. The lion visits the mouse. The mouse chases the lion. The mouse visits the lion. The mouse visits the squirrel. The squirrel is big. The squirrel is young. The squirrel needs the lion. The squirrel visits the lion. The squirrel visits the mouse. If something chases the squirrel then the squirrel chases the mouse. If something chases the mouse then it needs the mouse.
The mouse does not visit the squirrel.
@0: The lion chases the squirrel.[(triple1)] The lion is not big.[(triple2)] The lion is rough.[(triple3)] The lion visits the mouse.[(triple4)] The mouse chases the lion.[(triple5)] The mouse visits the lion.[(triple6)] The mouse visits the squirrel.[(triple7)] The squirrel is big.[(triple8)] The squirrel is young.[(triple9)] The squirrel needs the lion.[(triple10)] The squirrel visits the lion.[(triple11)] The squirrel visits the mouse.[(triple12)] @1: The squirrel chases the mouse.[(((triple1) -> rule1))] @2: The squirrel needs the mouse.[(((((triple1) -> rule1)) -> rule2))]