The bear is kind. The bear is young. The bear does not like the tiger. The bear needs the tiger. The bear sees the rabbit. The bear sees the tiger. The rabbit is cold. The rabbit is not kind. The rabbit needs the bear. The rabbit sees the bear. The rabbit does not see the tiger. The tiger is green. The tiger likes the bear. The tiger likes the rabbit. The tiger needs the rabbit. If something needs the bear and it is not kind then the bear likes the rabbit. If something sees the rabbit then the rabbit is not nice. If the tiger needs the bear then the tiger needs the rabbit. If something likes the rabbit and it does not see the rabbit then the rabbit sees the bear. If something needs the rabbit then it does not see the tiger. If something likes the tiger and it does not like the rabbit then it is nice. If something likes the bear and it is nice then it needs the tiger. If something sees the rabbit and it needs the tiger then it is green.
The rabbit is cold.
@0: The bear does not like the tiger.[(triple3)] The bear is kind.[(triple1)] The bear is young.[(triple2)] The bear needs the tiger.[(triple4)] The bear sees the rabbit.[(triple5)] The bear sees the tiger.[(triple6)] The rabbit does not see the tiger.[(triple11)] The rabbit is cold.[(triple7)] The rabbit is not kind.[(triple8)] The rabbit needs the bear.[(triple9)] The rabbit sees the bear.[(triple10)] The tiger is green.[(triple12)] The tiger likes the bear.[(triple13)] The tiger likes the rabbit.[(triple14)] The tiger needs the rabbit.[(triple15)] @1: The bear is green.[(((triple5 triple4) -> rule8))] The bear likes the rabbit.[(((triple9 triple8) -> rule1))] The rabbit is not nice.[(((triple5) -> rule2))] The tiger does not see the tiger.[(((triple15) -> rule5))]