The cat is young. The cat likes the mouse. The dog does not chase the cat. The dog chases the mouse. The dog chases the tiger. The dog is green. The dog is young. The dog likes the cat. The dog needs the cat. The mouse likes the cat. The mouse needs the tiger. The tiger does not chase the dog. The tiger chases the mouse. The tiger likes the dog. The tiger does not need the cat. If something chases the mouse then it needs the tiger.
The dog needs the tiger.
@0: The cat is young.[(triple1)] The cat likes the mouse.[(triple2)] The dog chases the mouse.[(triple4)] The dog chases the tiger.[(triple5)] The dog does not chase the cat.[(triple3)] The dog is green.[(triple6)] The dog is young.[(triple7)] The dog likes the cat.[(triple8)] The dog needs the cat.[(triple9)] The mouse likes the cat.[(triple10)] The mouse needs the tiger.[(triple11)] The tiger chases the mouse.[(triple13)] The tiger does not chase the dog.[(triple12)] The tiger does not need the cat.[(triple15)] The tiger likes the dog.[(triple14)] @1: The dog needs the tiger.[(((triple4) -> rule1))] The tiger needs the tiger.[(((triple13) -> rule1))]