The cow visits the dog. The dog chases the cow. If something chases the cow then the cow is nice.
The cow is not red.
@0: The cow visits the dog.[(triple1)] The dog chases the cow.[(triple2)] @1: The cow is nice.[(((triple2) -> rule1))]