The cat eats the cow. The cow needs the cat. If the cat is green then the cat needs the cow. If someone eats the cow then the cow is round. If the cat needs the cow and the cow likes the cat then the cow is big.
The cow does not need the cat.
@0: The cat eats the cow.[(triple1)] The cow needs the cat.[(triple2)] @1: The cow is round.[(((triple1) -> rule2))]