The bear does not chase the rabbit. The bear is not blue. The bear is green. The bear is not red. The bear needs the tiger. The bear sees the tiger. The rabbit chases the tiger. The rabbit is not green. The rabbit needs the tiger. The rabbit sees the bear. The tiger is not round. The tiger needs the bear. If something sees the tiger then the tiger does not need the rabbit.
The tiger is blue.
@0: The bear does not chase the rabbit.[(triple1)] The bear is green.[(triple3)] The bear is not blue.[(triple2)] The bear is not red.[(triple4)] The bear needs the tiger.[(triple5)] The bear sees the tiger.[(triple6)] The rabbit chases the tiger.[(triple7)] The rabbit is not green.[(triple8)] The rabbit needs the tiger.[(triple9)] The rabbit sees the bear.[(triple10)] The tiger is not round.[(triple11)] The tiger needs the bear.[(triple12)] @1: The tiger does not need the rabbit.[(((triple6) -> rule1))]