The lion does not chase the mouse. The lion likes the squirrel. The mouse does not chase the lion. The mouse chases the squirrel. The mouse likes the lion. The squirrel eats the mouse. The squirrel likes the lion. If someone likes the lion and the lion eats the squirrel then the squirrel is kind. If the lion does not like the squirrel then the squirrel does not chase the lion. If someone chases the squirrel then they eat the lion. If the squirrel eats the lion then the lion is not cold. If someone eats the lion then the lion eats the squirrel. If someone likes the lion and the lion chases the mouse then the lion is not rough. If the mouse likes the squirrel and the mouse eats the squirrel then the squirrel likes the mouse. If the squirrel is red and the squirrel chases the mouse then the squirrel does not eat the mouse.
The squirrel is not kind.
@0: The lion does not chase the mouse.[(triple1)] The lion likes the squirrel.[(triple2)] The mouse chases the squirrel.[(triple4)] The mouse does not chase the lion.[(triple3)] The mouse likes the lion.[(triple5)] The squirrel eats the mouse.[(triple6)] The squirrel likes the lion.[(triple7)] @1: The mouse eats the lion.[(((triple4) -> rule3))] @2: The lion eats the squirrel.[(((((triple4) -> rule3)) -> rule5))] @3: The squirrel is kind.[(((triple5 ((((triple4) -> rule3)) -> rule5)) -> rule1) OR ((triple7 ((((triple4) -> rule3)) -> rule5)) -> rule1))]