The cow needs the dog. The cow visits the dog. The dog needs the cow. If someone needs the cow and the cow needs the dog then they are blue. If the dog likes the cow and the cow likes the dog then the dog is kind.
The cow is not blue.
@0: The cow needs the dog.[(triple1)] The cow visits the dog.[(triple2)] The dog needs the cow.[(triple3)] @1: The dog is blue.[(((triple3 triple1) -> rule1))]