The cat eats the lion. The lion likes the mouse. The mouse does not like the lion. If something likes the mouse then the mouse likes the cat. If something eats the cat then the cat likes the mouse. If the cat is green and the cat is not kind then the cat chases the lion. If the cat is rough and the cat chases the mouse then the cat does not eat the mouse. If the cat chases the lion then the cat eats the mouse. If something eats the lion and it likes the cat then the lion is not big. If something likes the cat then it is rough. If something is rough then it chases the lion.
The mouse is not rough.
@0: The cat eats the lion.[(triple1)] The lion likes the mouse.[(triple2)] The mouse does not like the lion.[(triple3)] @1: The mouse likes the cat.[(((triple2) -> rule1))] @2: The mouse is rough.[(((((triple2) -> rule1)) -> rule7))] @3: The mouse chases the lion.[(((((((triple2) -> rule1)) -> rule7)) -> rule8))]