The dog is green. The dog visits the squirrel. The dog visits the tiger. The squirrel eats the dog. The squirrel is nice. The squirrel needs the tiger. The squirrel visits the dog. The tiger eats the dog. The tiger is rough. The tiger is young. The tiger needs the squirrel. The tiger visits the dog. If something is young then it needs the squirrel. If something eats the dog then it is rough. If something is young then it needs the tiger. If the dog is green and the dog is nice then the dog needs the tiger. If the dog eats the squirrel and the dog needs the squirrel then the dog visits the tiger. If something eats the tiger and it needs the tiger then the tiger is green.
The tiger is not rough.
@0: The dog is green.[(triple1)] The dog visits the squirrel.[(triple2)] The dog visits the tiger.[(triple3)] The squirrel eats the dog.[(triple4)] The squirrel is nice.[(triple5)] The squirrel needs the tiger.[(triple6)] The squirrel visits the dog.[(triple7)] The tiger eats the dog.[(triple8)] The tiger is rough.[(triple9 OR ((triple8) -> rule2))] The tiger is young.[(triple10)] The tiger needs the squirrel.[(triple11 OR ((triple10) -> rule1))] The tiger visits the dog.[(triple12)] @1: The squirrel is rough.[(((triple4) -> rule2))] The tiger needs the tiger.[(((triple10) -> rule3))]