The bear is green. The bear sees the lion. The lion does not need the bear. The lion needs the rabbit. The lion sees the bear. The lion visits the bear. The lion visits the rabbit. The rabbit needs the lion. The rabbit sees the bear. The rabbit sees the lion. If the lion sees the bear and the bear needs the rabbit then the lion visits the rabbit. If something is rough and it needs the rabbit then the rabbit does not need the bear. If something visits the rabbit then it sees the rabbit. If something is cold and it visits the rabbit then it is rough. If something visits the bear and the bear is not young then it is not rough. If the bear needs the lion then the lion does not visit the bear. If something visits the lion and the lion does not visit the bear then the bear does not see the rabbit. If something sees the rabbit then it sees the lion.
The lion does not see the rabbit.
@0: The bear is green.[(triple1)] The bear sees the lion.[(triple2)] The lion does not need the bear.[(triple3)] The lion needs the rabbit.[(triple4)] The lion sees the bear.[(triple5)] The lion visits the bear.[(triple6)] The lion visits the rabbit.[(triple7)] The rabbit needs the lion.[(triple8)] The rabbit sees the bear.[(triple9)] The rabbit sees the lion.[(triple10)] @1: The lion sees the rabbit.[(((triple7) -> rule3))] @2: The lion sees the lion.[(((((triple7) -> rule3)) -> rule8))]