The cat likes the lion. The lion visits the rabbit. The mouse visits the rabbit. The rabbit is kind. If something visits the rabbit then it is young. If something is young then it likes the cat.
The rabbit does not like the cat.
@0: The cat likes the lion.[(triple1)] The lion visits the rabbit.[(triple2)] The mouse visits the rabbit.[(triple3)] The rabbit is kind.[(triple4)] @1: The lion is young.[(((triple2) -> rule1))] The mouse is young.[(((triple3) -> rule1))] @2: The lion likes the cat.[(((((triple2) -> rule1)) -> rule2))] The mouse likes the cat.[(((((triple3) -> rule1)) -> rule2))]