The dog chases the rabbit. The dog chases the tiger. The dog needs the mouse. The mouse chases the tiger. The mouse eats the rabbit. The mouse is young. The rabbit eats the mouse. The rabbit eats the tiger. The rabbit is rough. The rabbit needs the dog. The rabbit needs the tiger. The tiger chases the dog. If the rabbit eats the mouse then the mouse needs the rabbit. If the rabbit needs the mouse and the rabbit eats the mouse then the mouse chases the dog. If the mouse needs the rabbit and the rabbit chases the tiger then the mouse is young. If something eats the dog and the dog chases the tiger then it is rough. If something needs the tiger and it needs the mouse then it needs the dog. If something eats the tiger and the tiger chases the dog then it needs the rabbit. If something chases the dog then the dog needs the tiger. If something chases the mouse then it is big.
The rabbit eats the rabbit.
@0: The dog chases the rabbit.[(triple1)] The dog chases the tiger.[(triple2)] The dog needs the mouse.[(triple3)] The mouse chases the tiger.[(triple4)] The mouse eats the rabbit.[(triple5)] The mouse is young.[(triple6)] The rabbit eats the mouse.[(triple7)] The rabbit eats the tiger.[(triple8)] The rabbit is rough.[(triple9)] The rabbit needs the dog.[(triple10)] The rabbit needs the tiger.[(triple11)] The tiger chases the dog.[(triple12)] @1: The dog needs the tiger.[(((triple12) -> rule7))] The mouse needs the rabbit.[(((triple7) -> rule1))] The rabbit needs the rabbit.[(((triple8 triple12) -> rule6))] @2: The dog needs the dog.[(((((triple12) -> rule7) triple3) -> rule5))]