The cat needs the dog. The dog is nice. If someone needs the dog then the dog visits the cat.
The cat is cold.
@0: The cat needs the dog.[(triple1)] The dog is nice.[(triple2)] @1: The dog visits the cat.[(((triple1) -> rule1))]