The cow does not need the rabbit. The dog chases the rabbit. The rabbit visits the dog. If the rabbit chases the cow and the cow does not visit the dog then the dog is kind. If something visits the dog then the dog needs the rabbit. If something needs the rabbit then the rabbit visits the cow.
The dog is big.
@0: The cow does not need the rabbit.[(triple1)] The dog chases the rabbit.[(triple2)] The rabbit visits the dog.[(triple3)] @1: The dog needs the rabbit.[(((triple3) -> rule2))] @2: The rabbit visits the cow.[(((((triple3) -> rule2)) -> rule3))]