The cow needs the dog. The dog visits the rabbit. The rabbit eats the dog. If something visits the cow then the cow is red. If something is nice then it visits the cow. If something visits the dog then the dog is nice. If something visits the rabbit then it is nice. If something is nice and it eats the cow then it does not visit the rabbit. If something visits the dog then the dog does not need the cow. If something needs the cow then it is blue. If something visits the cow and the cow visits the rabbit then it is not cold.
The rabbit does not need the dog.
@0: The cow needs the dog.[(triple1)] The dog visits the rabbit.[(triple2)] The rabbit eats the dog.[(triple3)] @1: The dog is nice.[(((triple2) -> rule4))] @2: The dog visits the cow.[(((((triple2) -> rule4)) -> rule2))] @3: The cow is red.[(((((((triple2) -> rule4)) -> rule2)) -> rule1))]