The cat chases the lion. The lion chases the cat. If something is green and it chases the lion then the lion eats the cat. If something chases the cat then it eats the lion. If the cat eats the lion and the lion chases the cat then the lion eats the cat. If something chases the cat then it visits the cat. If something eats the lion then it visits the lion. If something eats the lion and the lion is kind then it chases the cat. If something is kind then it chases the cat. If something visits the cat then the cat eats the lion.
The cat visits the lion.
@0: The cat chases the lion.[(triple1)] The lion chases the cat.[(triple2)] @1: The lion eats the lion.[(((triple2) -> rule2))] The lion visits the cat.[(((triple2) -> rule4))] @2: The cat eats the lion.[(((((triple2) -> rule4)) -> rule8))] The lion visits the lion.[(((((triple2) -> rule2)) -> rule5))] @3: The cat visits the lion.[(((((((triple2) -> rule4)) -> rule8)) -> rule5))] The lion eats the cat.[(((((((triple2) -> rule4)) -> rule8) triple2) -> rule3))]