The lion is kind. The lion visits the rabbit. The rabbit is big. If the lion sees the rabbit then the rabbit sees the lion. If someone needs the rabbit then they are round. If someone is big then they visit the lion. If someone visits the lion then the lion needs the rabbit. If someone needs the rabbit and they are big then they need the lion. If someone needs the lion and they visit the lion then the lion visits the rabbit. If someone needs the rabbit and they need the lion then the lion visits the rabbit. If someone is kind and they see the lion then the lion needs the rabbit.
The rabbit does not need the lion.
@0: The lion is kind.[(triple1)] The lion visits the rabbit.[(triple2)] The rabbit is big.[(triple3)] @1: The rabbit visits the lion.[(((triple3) -> rule3))] @2: The lion needs the rabbit.[(((((triple3) -> rule3)) -> rule4))] @3: The lion is round.[(((((((triple3) -> rule3)) -> rule4)) -> rule2))]