The cow chases the dog. The cow eats the dog. The cow is kind. The cow is red. The cow is young. The cow does not need the dog. The dog chases the cow. The dog eats the cow. The dog is big. The dog is red. The dog is young. The dog needs the cow. If someone is blue then they chase the cow. If someone needs the dog and the dog does not eat the cow then they chase the dog. If someone chases the cow then they do not chase the dog. If someone is big and they need the cow then they are red. If the dog eats the cow and the cow eats the dog then the cow is kind. If the cow needs the dog then the dog chases the cow. If someone eats the cow and the cow is big then the cow does not chase the dog. If someone chases the cow and the cow needs the dog then the dog does not need the cow.
The cow does not chase the cow.
@0: The cow chases the dog.[(triple1)] The cow does not need the dog.[(triple6)] The cow eats the dog.[(triple2)] The cow is kind.[(triple3 OR ((triple8 triple2) -> rule5))] The cow is red.[(triple4)] The cow is young.[(triple5)] The dog chases the cow.[(triple7)] The dog eats the cow.[(triple8)] The dog is big.[(triple9)] The dog is red.[(triple10 OR ((triple9 triple12) -> rule4))] The dog is young.[(triple11)] The dog needs the cow.[(triple12)] @1: The dog does not chase the dog.[(((triple7) -> rule3))]