The cow does not eat the rabbit. The cow is not young. The cow visits the rabbit. The rabbit does not eat the cow. The rabbit is green. The rabbit needs the cow. The rabbit visits the cow. If someone visits the rabbit and they need the rabbit then they need the cow. If someone visits the cow and they do not visit the rabbit then the rabbit does not need the cow. If someone is kind then they eat the cow. If someone is rough and not green then they eat the cow. If someone needs the cow then the cow does not need the rabbit. If the cow is young and the cow does not need the rabbit then the rabbit eats the cow.
The rabbit eats the cow.
@0: The cow does not eat the rabbit.[(triple1)] The cow is not young.[(triple2)] The cow visits the rabbit.[(triple3)] The rabbit does not eat the cow.[(triple4)] The rabbit is green.[(triple5)] The rabbit needs the cow.[(triple6)] The rabbit visits the cow.[(triple7)] @1: The cow does not need the rabbit.[(((triple6) -> rule5))]