The cow eats the tiger. The cow is kind. The cow needs the dog. The cow does not need the tiger. The dog does not eat the cow. The dog is not big. The dog is kind. The dog needs the cow. The squirrel does not eat the dog. The squirrel eats the tiger. The squirrel visits the dog. The squirrel visits the tiger. The tiger eats the cow. The tiger does not eat the squirrel. The tiger is kind. The tiger needs the cow. If something is round then it needs the tiger. If the squirrel eats the dog and the squirrel visits the tiger then the tiger does not eat the cow. If something needs the dog and the dog visits the squirrel then it eats the squirrel. If something eats the cow and the cow does not eat the tiger then the tiger visits the squirrel. If something eats the tiger and the tiger visits the squirrel then the squirrel needs the cow. If something visits the dog then it visits the tiger.
The tiger does not eat the cow.
@0: The cow does not need the tiger.[(triple4)] The cow eats the tiger.[(triple1)] The cow is kind.[(triple2)] The cow needs the dog.[(triple3)] The dog does not eat the cow.[(triple5)] The dog is kind.[(triple7)] The dog is not big.[(triple6)] The dog needs the cow.[(triple8)] The squirrel does not eat the dog.[(triple9)] The squirrel eats the tiger.[(triple10)] The squirrel visits the dog.[(triple11)] The squirrel visits the tiger.[(triple12 OR ((triple11) -> rule6))] The tiger does not eat the squirrel.[(triple14)] The tiger eats the cow.[(triple13)] The tiger is kind.[(triple15)] The tiger needs the cow.[(triple16)]