The cat eats the dog. The cat is not green. The cat is young. The cow chases the cat. The cow chases the dog. The cow eats the dog. The cow is green. The cow is nice. The dog chases the cat. The dog eats the cat. The dog eats the cow. The dog is green. If something chases the cow then the cow is not big. If the cat is nice and the cat needs the cow then the cow does not chase the cat. If something is green and it chases the cat then it eats the cat. If the cat does not chase the dog and the cat does not need the cow then the dog is big. If something needs the cow then the cow does not chase the dog. If something needs the cow then the cow is green. If something eats the cow and it is not big then the cow is nice. If something is green and it does not chase the cat then it needs the dog.
The cow does not eat the cat.
@0: The cat eats the dog.[(triple1)] The cat is not green.[(triple2)] The cat is young.[(triple3)] The cow chases the cat.[(triple4)] The cow chases the dog.[(triple5)] The cow eats the dog.[(triple6)] The cow is green.[(triple7)] The cow is nice.[(triple8)] The dog chases the cat.[(triple9)] The dog eats the cat.[(triple10 OR ((triple12 triple9) -> rule3))] The dog eats the cow.[(triple11)] The dog is green.[(triple12)] @1: The cow eats the cat.[(((triple7 triple4) -> rule3))]