The bear sees the tiger. The tiger is not green. The tiger is kind. The tiger is rough. The tiger likes the bear. The tiger needs the bear. The tiger sees the bear. If someone needs the tiger and they are not green then they do not like the tiger. If the bear is green and the bear is not kind then the bear needs the tiger. If someone is kind then they need the tiger.
The bear does not need the tiger.
@0: The bear sees the tiger.[(triple1)] The tiger is kind.[(triple3)] The tiger is not green.[(triple2)] The tiger is rough.[(triple4)] The tiger likes the bear.[(triple5)] The tiger needs the bear.[(triple6)] The tiger sees the bear.[(triple7)] @1: The tiger needs the tiger.[(((triple3) -> rule3))] @2: The tiger does not like the tiger.[(((((triple3) -> rule3) triple2) -> rule1))]