The bear is young. The bear likes the dog. The bear likes the mouse. The bear sees the dog. The bear sees the tiger. The dog sees the bear. The dog does not see the tiger. The mouse is cold. The mouse likes the tiger. The mouse sees the dog. The mouse visits the dog. The tiger is blue. The tiger likes the dog. The tiger does not see the bear. The tiger sees the dog. The tiger visits the mouse. If something sees the tiger then the tiger does not see the mouse.
The tiger is not young.
@0: The bear is young.[(triple1)] The bear likes the dog.[(triple2)] The bear likes the mouse.[(triple3)] The bear sees the dog.[(triple4)] The bear sees the tiger.[(triple5)] The dog does not see the tiger.[(triple7)] The dog sees the bear.[(triple6)] The mouse is cold.[(triple8)] The mouse likes the tiger.[(triple9)] The mouse sees the dog.[(triple10)] The mouse visits the dog.[(triple11)] The tiger does not see the bear.[(triple14)] The tiger is blue.[(triple12)] The tiger likes the dog.[(triple13)] The tiger sees the dog.[(triple15)] The tiger visits the mouse.[(triple16)] @1: The tiger does not see the mouse.[(((triple5) -> rule1))]