The cat is round. The cow is round. The dog needs the cat. If someone needs the cat then they eat the cow. If someone eats the cow then the cow needs the cat.
The dog does not need the cat.
@0: The cat is round.[(triple1)] The cow is round.[(triple2)] The dog needs the cat.[(triple3)] @1: The dog eats the cow.[(((triple3) -> rule1))] @2: The cow needs the cat.[(((((triple3) -> rule1)) -> rule2))] @3: The cow eats the cow.[(((((((triple3) -> rule1)) -> rule2)) -> rule1))]