The cow chases the dog. The cow eats the rabbit. The cow is nice. The cow is not rough. The cow visits the rabbit. The dog does not chase the cow. The dog eats the cow. The dog eats the lion. The dog is green. The dog visits the lion. The dog visits the rabbit. The lion chases the rabbit. The lion is big. The lion is nice. The rabbit eats the lion. The rabbit is rough. If someone chases the rabbit then they eat the lion. If someone chases the lion and the lion chases the cow then the lion chases the dog. If someone is green and nice then they are rough. If someone visits the dog and they do not visit the cow then the dog is not rough. If someone visits the rabbit and the rabbit does not visit the lion then the rabbit does not chase the cow. If someone visits the cow and the cow eats the lion then the cow is blue. If someone visits the lion then the lion does not eat the dog. If someone eats the cow then they visit the rabbit.
The dog does not eat the cow.
@0: The cow chases the dog.[(triple1)] The cow eats the rabbit.[(triple2)] The cow is nice.[(triple3)] The cow is not rough.[(triple4)] The cow visits the rabbit.[(triple5)] The dog does not chase the cow.[(triple6)] The dog eats the cow.[(triple7)] The dog eats the lion.[(triple8)] The dog is green.[(triple9)] The dog visits the lion.[(triple10)] The dog visits the rabbit.[(triple11 OR ((triple7) -> rule8))] The lion chases the rabbit.[(triple12)] The lion is big.[(triple13)] The lion is nice.[(triple14)] The rabbit eats the lion.[(triple15)] The rabbit is rough.[(triple16)] @1: The lion does not eat the dog.[(((triple10) -> rule7))] The lion eats the lion.[(((triple12) -> rule1))]