The lion is cold. The mouse likes the squirrel. The squirrel likes the mouse. The tiger eats the mouse. If something chases the tiger then the tiger eats the lion. If something is cold then it chases the tiger. If something is red then it chases the lion. If something likes the mouse then the mouse likes the lion. If the mouse eats the tiger then the tiger eats the squirrel. If something eats the lion then it likes the mouse.
The tiger does not eat the squirrel.
@0: The lion is cold.[(triple1)] The mouse likes the squirrel.[(triple2)] The squirrel likes the mouse.[(triple3)] The tiger eats the mouse.[(triple4)] @1: The lion chases the tiger.[(((triple1) -> rule2))] The mouse likes the lion.[(((triple3) -> rule4) OR ((((((((triple1) -> rule2)) -> rule1)) -> rule6)) -> rule4))] @2: The tiger eats the lion.[(((((triple1) -> rule2)) -> rule1))] @3: The tiger likes the mouse.[(((((((triple1) -> rule2)) -> rule1)) -> rule6))]