The dog needs the rabbit. The lion visits the dog. The rabbit does not need the lion. If the rabbit likes the lion and the rabbit is not round then the rabbit is big. If something needs the rabbit and the rabbit does not need the lion then the lion needs the rabbit. If the dog is round then the dog does not need the lion.
The dog is not big.
@0: The dog needs the rabbit.[(triple1)] The lion visits the dog.[(triple2)] The rabbit does not need the lion.[(triple3)] @1: The lion needs the rabbit.[(((triple1 triple3) -> rule2))]