The bear is green. The bear is nice. The bear needs the cow. The bear sees the cow. The bear sees the lion. The bear sees the mouse. The bear visits the lion. The cow needs the mouse. The cow visits the bear. The lion is green. The lion is nice. The lion visits the cow. The mouse is not big. The mouse is round. The mouse sees the lion. The mouse visits the bear. If something visits the lion and the lion sees the bear then it sees the bear. If something needs the cow then it needs the lion. If something needs the lion then it is big. If something needs the cow and the cow does not need the bear then the cow sees the bear. If the mouse sees the cow then the mouse needs the lion. If something visits the bear and it needs the bear then the bear does not visit the mouse.
The lion does not see the bear.
@0: The bear is green.[(triple1)] The bear is nice.[(triple2)] The bear needs the cow.[(triple3)] The bear sees the cow.[(triple4)] The bear sees the lion.[(triple5)] The bear sees the mouse.[(triple6)] The bear visits the lion.[(triple7)] The cow needs the mouse.[(triple8)] The cow visits the bear.[(triple9)] The lion is green.[(triple10)] The lion is nice.[(triple11)] The lion visits the cow.[(triple12)] The mouse is not big.[(triple13)] The mouse is round.[(triple14)] The mouse sees the lion.[(triple15)] The mouse visits the bear.[(triple16)] @1: The bear needs the lion.[(((triple3) -> rule2))] @2: The bear is big.[(((((triple3) -> rule2)) -> rule3))]