The cow needs the dog. The cow sees the dog. The dog eats the cow. The dog is green. The dog is round. The dog needs the cow. The dog sees the cow. If the cow eats the dog then the cow needs the dog. If something eats the dog then the dog is young. If the cow is round then the cow needs the dog. If the dog sees the cow then the cow sees the dog. If the cow is young then the cow sees the dog. If something sees the cow and the cow eats the dog then the dog eats the cow. If something needs the dog and it needs the cow then the cow is nice. If something is round and it needs the cow then it eats the dog.
The dog does not eat the dog.
@0: The cow needs the dog.[(triple1)] The cow sees the dog.[(triple2 OR ((triple7) -> rule4))] The dog eats the cow.[(triple3)] The dog is green.[(triple4)] The dog is round.[(triple5)] The dog needs the cow.[(triple6)] The dog sees the cow.[(triple7)] @1: The dog eats the dog.[(((triple5 triple6) -> rule8))] @2: The dog is young.[(((((triple5 triple6) -> rule8)) -> rule2))]