The bear eats the dog. The bear likes the mouse. The dog likes the bear. The mouse eats the tiger. The mouse likes the dog. The mouse needs the bear. The tiger likes the bear. If something likes the dog then the dog is young.
The bear does not eat the dog.
@0: The bear eats the dog.[(triple1)] The bear likes the mouse.[(triple2)] The dog likes the bear.[(triple3)] The mouse eats the tiger.[(triple4)] The mouse likes the dog.[(triple5)] The mouse needs the bear.[(triple6)] The tiger likes the bear.[(triple7)] @1: The dog is young.[(((triple5) -> rule1))]