The bear is young. The bear needs the dog. The bear needs the tiger. The bear sees the tiger. The dog eats the tiger. The dog needs the tiger. The tiger eats the bear. The tiger eats the dog. The tiger is kind. The tiger is red. The tiger sees the bear. The tiger sees the dog. If the bear needs the tiger then the tiger is big.
The tiger is not young.
@0: The bear is young.[(triple1)] The bear needs the dog.[(triple2)] The bear needs the tiger.[(triple3)] The bear sees the tiger.[(triple4)] The dog eats the tiger.[(triple5)] The dog needs the tiger.[(triple6)] The tiger eats the bear.[(triple7)] The tiger eats the dog.[(triple8)] The tiger is kind.[(triple9)] The tiger is red.[(triple10)] The tiger sees the bear.[(triple11)] The tiger sees the dog.[(triple12)] @1: The tiger is big.[(((triple3) -> rule1))]