The lion chases the mouse. The lion is cold. The lion is round. The lion needs the mouse. The lion needs the squirrel. The mouse is round. The mouse needs the lion. The mouse visits the lion. The mouse does not visit the squirrel. The squirrel does not chase the lion. The squirrel is big. The squirrel visits the lion. If something needs the mouse then the mouse chases the squirrel. If the mouse is kind and the squirrel does not chase the mouse then the mouse does not visit the squirrel. If something chases the squirrel then the squirrel is kind. If something is kind and it does not chase the lion then it is big. If something is big then it does not need the lion. If something chases the squirrel and it does not visit the mouse then the mouse is not round. If something is kind then it does not visit the squirrel. If something needs the lion and it chases the squirrel then it does not visit the squirrel.
The squirrel visits the squirrel.
@0: The lion chases the mouse.[(triple1)] The lion is cold.[(triple2)] The lion is round.[(triple3)] The lion needs the mouse.[(triple4)] The lion needs the squirrel.[(triple5)] The mouse does not visit the squirrel.[(triple9 OR ((triple7 ((triple4) -> rule1)) -> rule8))] The mouse is round.[(triple6)] The mouse needs the lion.[(triple7)] The mouse visits the lion.[(triple8)] The squirrel does not chase the lion.[(triple10)] The squirrel is big.[(triple11 OR ((((((triple4) -> rule1)) -> rule3) triple10) -> rule4))] The squirrel visits the lion.[(triple12)] @1: The mouse chases the squirrel.[(((triple4) -> rule1))] The squirrel does not need the lion.[(((triple11) -> rule5) OR ((((((((triple4) -> rule1)) -> rule3) triple10) -> rule4)) -> rule5))] @2: The squirrel is kind.[(((((triple4) -> rule1)) -> rule3))] @3: The squirrel does not visit the squirrel.[(((((((triple4) -> rule1)) -> rule3)) -> rule7))]