The bear is cold. The bear needs the lion. The bear sees the cow. The bear does not see the tiger. The cow sees the bear. The cow does not see the lion. The lion needs the tiger. The tiger needs the bear. The tiger needs the cow. The tiger sees the bear. If someone needs the bear and they are round then they do not see the cow. If someone is rough then they do not see the cow. If the lion visits the bear then the bear visits the tiger. If someone needs the bear then they are green. If someone visits the cow and the cow is not kind then the cow sees the lion. If the cow needs the bear and the cow does not see the lion then the bear sees the tiger. If the tiger does not need the bear and the bear does not see the tiger then the tiger is green. If someone is green then they do not need the tiger.
The tiger is green.
@0: The bear does not see the tiger.[(triple4)] The bear is cold.[(triple1)] The bear needs the lion.[(triple2)] The bear sees the cow.[(triple3)] The cow does not see the lion.[(triple6)] The cow sees the bear.[(triple5)] The lion needs the tiger.[(triple7)] The tiger needs the bear.[(triple8)] The tiger needs the cow.[(triple9)] The tiger sees the bear.[(triple10)] @1: The tiger is green.[(((triple8) -> rule4))] @2: The tiger does not need the tiger.[(((((triple8) -> rule4)) -> rule8))]