The lion is nice. The mouse is green. The squirrel is green. If the mouse is green then the mouse likes the lion. If something is red and it likes the mouse then it eats the mouse. If something visits the lion then it eats the lion. If something likes the lion and it likes the squirrel then the lion eats the mouse. If the squirrel eats the lion then the lion is big. If something likes the mouse and the mouse visits the squirrel then the mouse is green. If something eats the mouse then it eats the lion. If something is green then it eats the mouse.
The mouse likes the lion.
@0: The lion is nice.[(triple1)] The mouse is green.[(triple2)] The squirrel is green.[(triple3)] @1: The mouse eats the mouse.[(((triple2) -> rule8))] The mouse likes the lion.[(((triple2) -> rule1))] The squirrel eats the mouse.[(((triple3) -> rule8))] @2: The mouse eats the lion.[(((((triple2) -> rule8)) -> rule7))] The squirrel eats the lion.[(((((triple3) -> rule8)) -> rule7))] @3: The lion is big.[(((((((triple3) -> rule8)) -> rule7)) -> rule5))]