The dog eats the squirrel. The dog eats the tiger. The dog needs the squirrel. The dog visits the squirrel. The squirrel does not eat the dog. The squirrel eats the tiger. The squirrel is nice. The squirrel is young. The squirrel visits the tiger. The tiger is kind. The tiger is not nice. The tiger is red. The tiger is young. The tiger needs the squirrel. The tiger visits the dog. The tiger visits the squirrel. If something eats the tiger then the tiger is kind. If the tiger eats the squirrel then the tiger is kind. If something is young then it does not eat the dog. If something needs the squirrel and the squirrel does not eat the tiger then the squirrel visits the tiger. If something visits the dog and the dog eats the tiger then the tiger visits the squirrel. If something eats the dog then it does not need the tiger. If the tiger is red then the tiger visits the dog. If something eats the dog then the dog eats the tiger.
The dog does not eat the tiger.
@0: The dog eats the squirrel.[(triple1)] The dog eats the tiger.[(triple2)] The dog needs the squirrel.[(triple3)] The dog visits the squirrel.[(triple4)] The squirrel does not eat the dog.[(triple5 OR ((triple8) -> rule3))] The squirrel eats the tiger.[(triple6)] The squirrel is nice.[(triple7)] The squirrel is young.[(triple8)] The squirrel visits the tiger.[(triple9)] The tiger is kind.[(triple10 OR ((triple2) -> rule1) OR ((triple6) -> rule1))] The tiger is not nice.[(triple11)] The tiger is red.[(triple12)] The tiger is young.[(triple13)] The tiger needs the squirrel.[(triple14)] The tiger visits the dog.[(triple15 OR ((triple12) -> rule7))] The tiger visits the squirrel.[(triple16 OR ((triple15 triple2) -> rule5) OR ((((triple12) -> rule7) triple2) -> rule5))] @1: The tiger does not eat the dog.[(((triple13) -> rule3))]