The lion visits the rabbit. The rabbit visits the lion. If something sees the lion and it sees the rabbit then it is nice. If something eats the rabbit and it visits the rabbit then the rabbit sees the lion. If something is round then it sees the lion. If something is round and it eats the rabbit then it is nice. If something visits the lion then the lion is green. If the rabbit sees the lion then the rabbit visits the lion. If something visits the rabbit then it eats the lion. If something is green then it eats the rabbit.
The lion does not see the lion.
@0: The lion visits the rabbit.[(triple1)] The rabbit visits the lion.[(triple2)] @1: The lion eats the lion.[(((triple1) -> rule7))] The lion is green.[(((triple2) -> rule5))] @2: The lion eats the rabbit.[(((((triple2) -> rule5)) -> rule8))] @3: The rabbit sees the lion.[(((((((triple2) -> rule5)) -> rule8) triple1) -> rule2))]