The cow does not eat the dog. The cow is not blue. The cow is kind. The cow is nice. The cow sees the dog. The cow does not visit the dog. The dog is blue. The dog is not kind. The dog is nice. The dog visits the cow. If something is green then it eats the dog. If something sees the cow then it does not eat the dog. If something is green then it visits the cow. If something is nice and not kind then it does not visit the dog. If something is big and it visits the cow then the cow sees the dog. If the dog is not nice and the dog does not see the cow then the cow eats the dog.
The dog eats the cow.
@0: The cow does not eat the dog.[(triple1)] The cow does not visit the dog.[(triple6)] The cow is kind.[(triple3)] The cow is nice.[(triple4)] The cow is not blue.[(triple2)] The cow sees the dog.[(triple5)] The dog is blue.[(triple7)] The dog is nice.[(triple9)] The dog is not kind.[(triple8)] The dog visits the cow.[(triple10)] @1: The dog does not visit the dog.[(((triple9 triple8) -> rule4))]