The lion is kind. The mouse eats the squirrel. The mouse is cold. The mouse likes the lion. The squirrel does not eat the lion. The squirrel is big. The squirrel likes the lion. If something likes the lion then the lion chases the mouse.
The squirrel does not chase the squirrel.
@0: The lion is kind.[(triple1)] The mouse eats the squirrel.[(triple2)] The mouse is cold.[(triple3)] The mouse likes the lion.[(triple4)] The squirrel does not eat the lion.[(triple5)] The squirrel is big.[(triple6)] The squirrel likes the lion.[(triple7)] @1: The lion chases the mouse.[(((triple4) -> rule1) OR ((triple7) -> rule1))]