The cow is nice. The cow visits the dog. The dog sees the cow. If something is young and it likes the cow then the cow sees the dog. If something is blue and it does not like the cow then the cow sees the dog. If something sees the cow then it is not blue.
The dog is kind.
@0: The cow is nice.[(triple1)] The cow visits the dog.[(triple2)] The dog sees the cow.[(triple3)] @1: The dog is not blue.[(((triple3) -> rule3))]