The dog chases the tiger. The dog is not cold. The dog is rough. The dog likes the mouse. The dog likes the tiger. The dog needs the tiger. The mouse chases the tiger. The mouse is green. The mouse likes the dog. The mouse likes the tiger. The mouse needs the tiger. The tiger does not chase the mouse. The tiger is green. The tiger likes the dog. The tiger needs the dog. If someone is rough and they need the dog then the dog needs the tiger. If someone chases the mouse and they are not cold then they chase the dog. If someone chases the tiger and the tiger chases the mouse then the mouse needs the dog. If someone needs the dog and they are not green then the dog does not chase the mouse. If someone needs the dog then the dog does not chase the mouse. If someone likes the mouse and they need the tiger then the tiger likes the mouse.
The tiger chases the dog.
@0: The dog chases the tiger.[(triple1)] The dog is not cold.[(triple2)] The dog is rough.[(triple3)] The dog likes the mouse.[(triple4)] The dog likes the tiger.[(triple5)] The dog needs the tiger.[(triple6)] The mouse chases the tiger.[(triple7)] The mouse is green.[(triple8)] The mouse likes the dog.[(triple9)] The mouse likes the tiger.[(triple10)] The mouse needs the tiger.[(triple11)] The tiger does not chase the mouse.[(triple12)] The tiger is green.[(triple13)] The tiger likes the dog.[(triple14)] The tiger needs the dog.[(triple15)] @1: The dog does not chase the mouse.[(((triple15) -> rule5))] The tiger likes the mouse.[(((triple4 triple6) -> rule6))]