The dog does not chase the rabbit. The dog chases the tiger. The dog does not eat the rabbit. The dog is not young. The dog needs the tiger. The mouse is rough. The mouse needs the dog. The mouse needs the tiger. The rabbit eats the mouse. The tiger does not chase the rabbit. The tiger needs the dog. The tiger needs the rabbit. If someone chases the mouse then the mouse is blue. If someone eats the rabbit then they chase the mouse. If someone chases the dog and the dog needs the rabbit then they are round. If the dog chases the tiger and the tiger is blue then the dog does not need the tiger. If someone chases the tiger then the tiger eats the rabbit. If someone chases the dog and the dog needs the rabbit then the dog eats the mouse. If someone eats the dog and they do not eat the mouse then they do not need the mouse. If someone eats the tiger and they do not need the mouse then they need the tiger.
The rabbit does not chase the rabbit.
@0: The dog chases the tiger.[(triple2)] The dog does not chase the rabbit.[(triple1)] The dog does not eat the rabbit.[(triple3)] The dog is not young.[(triple4)] The dog needs the tiger.[(triple5)] The mouse is rough.[(triple6)] The mouse needs the dog.[(triple7)] The mouse needs the tiger.[(triple8)] The rabbit eats the mouse.[(triple9)] The tiger does not chase the rabbit.[(triple10)] The tiger needs the dog.[(triple11)] The tiger needs the rabbit.[(triple12)] @1: The tiger eats the rabbit.[(((triple2) -> rule5))] @2: The tiger chases the mouse.[(((((triple2) -> rule5)) -> rule2))] @3: The mouse is blue.[(((((((triple2) -> rule5)) -> rule2)) -> rule1))]