The cow needs the rabbit. The rabbit chases the cow. The rabbit likes the cow. If something likes the cow then the cow does not like the rabbit. If something likes the cow and it is not green then it chases the rabbit. If something needs the rabbit then the rabbit does not need the cow.
The cow needs the rabbit.
@0: The cow needs the rabbit.[(triple1)] The rabbit chases the cow.[(triple2)] The rabbit likes the cow.[(triple3)] @1: The cow does not like the rabbit.[(((triple3) -> rule1))] The rabbit does not need the cow.[(((triple1) -> rule3))]