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