The dog likes the lion. The lion is big. The rabbit visits the dog. If the rabbit sees the lion and the rabbit is not round then the rabbit does not like the dog. If something sees the rabbit then the rabbit likes the dog. If something likes the dog then it visits the rabbit. If something likes the lion then the lion sees the rabbit. If the dog sees the rabbit and the rabbit likes the lion then the lion likes the dog. If something likes the lion and it does not like the rabbit then it does not see the lion.
The lion visits the dog.
@0: The dog likes the lion.[(triple1)] The lion is big.[(triple2)] The rabbit visits the dog.[(triple3)] @1: The lion sees the rabbit.[(((triple1) -> rule4))] @2: The rabbit likes the dog.[(((((triple1) -> rule4)) -> rule2))] @3: The rabbit visits the rabbit.[(((((((triple1) -> rule4)) -> rule2)) -> rule3))]