The cat chases the cow. The cat chases the dog. The cat eats the cow. The cat is big. The cat is green. The cat visits the cow. The cat visits the dog. The cow does not chase the cat. The cow chases the dog. The cow eats the cat. The cow eats the dog. The cow is blue. The cow is not red. The cow visits the dog. The dog is green. The dog does not visit the cow. If someone eats the dog and the dog is not big then they do not visit the cat. If someone visits the cow then the cow is blue. If someone chases the dog and they chase the cat then the dog visits the cow. If someone chases the dog then the dog does not visit the cow. If the dog is not blue then the dog visits the cow. If someone visits the cat and they are red then the cat chases the cow. If someone visits the cat then they visit the cow. If someone is green and they do not visit the cat then the cat is not big.
The cat does not chase the dog.
@0: The cat chases the cow.[(triple1)] The cat chases the dog.[(triple2)] The cat eats the cow.[(triple3)] The cat is big.[(triple4)] The cat is green.[(triple5)] The cat visits the cow.[(triple6)] The cat visits the dog.[(triple7)] The cow chases the dog.[(triple9)] The cow does not chase the cat.[(triple8)] The cow eats the cat.[(triple10)] The cow eats the dog.[(triple11)] The cow is blue.[(triple12 OR ((triple6) -> rule2))] The cow is not red.[(triple13)] The cow visits the dog.[(triple14)] The dog does not visit the cow.[(triple16 OR ((triple2) -> rule4) OR ((triple9) -> rule4))] The dog is green.[(triple15)]