The cat eats the cow. The cat does not eat the dog. The cat is green. The cat is kind. The cat is not red. The cat is young. The cat does not see the cow. The cat visits the cow. The cat does not visit the dog. The cow is not green. The cow is young. The cow sees the cat. The cow does not see the dog. The dog eats the cow. The dog is kind. The dog visits the cow. If something eats the cow then it does not visit the cat. If something sees the cow and it visits the dog then the cow does not eat the dog. If something eats the dog then the dog eats the cat. If the cat is green and the cat does not visit the cow then the cow sees the cat. If something visits the cat and the cat does not eat the dog then the dog does not visit the cat. If something visits the dog then the dog visits the cat. If something is green and it eats the dog then it sees the cat. If something is green and not young then it does not visit the dog.
The cat sees the dog.
@0: The cat does not eat the dog.[(triple2)] The cat does not see the cow.[(triple7)] The cat does not visit the dog.[(triple9)] The cat eats the cow.[(triple1)] The cat is green.[(triple3)] The cat is kind.[(triple4)] The cat is not red.[(triple5)] The cat is young.[(triple6)] The cat visits the cow.[(triple8)] The cow does not see the dog.[(triple13)] The cow is not green.[(triple10)] The cow is young.[(triple11)] The cow sees the cat.[(triple12)] The dog eats the cow.[(triple14)] The dog is kind.[(triple15)] The dog visits the cow.[(triple16)] @1: The cat does not visit the cat.[(((triple1) -> rule1))] The dog does not visit the cat.[(((triple14) -> rule1))]