The bear chases the tiger. The bear does not eat the tiger. The bear is cold. The bear is red. The bear is not young. The bear does not see the tiger. The tiger does not chase the bear. The tiger eats the bear. The tiger is cold. The tiger is red. The tiger is rough. The tiger sees the bear. If something is rough then it does not see the tiger. If the bear is not rough and the bear is not young then the bear does not see the tiger. If the bear does not chase the tiger then the bear sees the tiger.
The tiger chases the tiger.
@0: The bear chases the tiger.[(triple1)] The bear does not eat the tiger.[(triple2)] The bear does not see the tiger.[(triple6)] The bear is cold.[(triple3)] The bear is not young.[(triple5)] The bear is red.[(triple4)] The tiger does not chase the bear.[(triple7)] The tiger eats the bear.[(triple8)] The tiger is cold.[(triple9)] The tiger is red.[(triple10)] The tiger is rough.[(triple11)] The tiger sees the bear.[(triple12)] @1: The tiger does not see the tiger.[(((triple11) -> rule1))]