The cow likes the dog. The dog eats the cow. If something likes the dog then the dog does not like the cow. If something likes the dog then it sees the cow. If something eats the dog and the dog is red then it does not see the cow. If something eats the dog then it eats the cow. If something eats the dog then it is cold. If something sees the cow then the cow sees the dog.
The cow does not like the dog.
@0: The cow likes the dog.[(triple1)] The dog eats the cow.[(triple2)] @1: The cow sees the cow.[(((triple1) -> rule2))] The dog does not like the cow.[(((triple1) -> rule1))] @2: The cow sees the dog.[(((((triple1) -> rule2)) -> rule6))]