The cow eats the rabbit. The cow needs the rabbit. The cow visits the dog. The dog eats the rabbit. The dog visits the cow. The rabbit eats the dog. The rabbit visits the cow. If something visits the dog then the dog eats the cow.
The cow does not need the rabbit.
@0: The cow eats the rabbit.[(triple1)] The cow needs the rabbit.[(triple2)] The cow visits the dog.[(triple3)] The dog eats the rabbit.[(triple4)] The dog visits the cow.[(triple5)] The rabbit eats the dog.[(triple6)] The rabbit visits the cow.[(triple7)] @1: The dog eats the cow.[(((triple3) -> rule1))]