The bear does not need the lion. The bear needs the mouse. The bear visits the cat. The bear does not visit the lion. The bear visits the mouse. The cat likes the lion. The lion is green. The lion visits the bear. The lion visits the cat. The lion visits the mouse. The mouse needs the lion. The mouse visits the bear. If something visits the lion and the lion is not blue then the lion is not green. If something is green then it likes the mouse. If something likes the mouse then the mouse needs the lion. If something visits the bear then it is not nice. If something likes the cat then it needs the bear. If something is young and it visits the mouse then it likes the cat. If something visits the cat and it is not nice then it is young. If something needs the bear then it needs the mouse.
The bear does not like the mouse.
@0: The bear does not need the lion.[(triple1)] The bear does not visit the lion.[(triple4)] The bear needs the mouse.[(triple2)] The bear visits the cat.[(triple3)] The bear visits the mouse.[(triple5)] The cat likes the lion.[(triple6)] The lion is green.[(triple7)] The lion visits the bear.[(triple8)] The lion visits the cat.[(triple9)] The lion visits the mouse.[(triple10)] The mouse needs the lion.[(triple11 OR ((((triple7) -> rule2)) -> rule3))] The mouse visits the bear.[(triple12)] @1: The lion is not nice.[(((triple8) -> rule4))] The lion likes the mouse.[(((triple7) -> rule2))] The mouse is not nice.[(((triple12) -> rule4))] @2: The lion is young.[(((triple9 ((triple8) -> rule4)) -> rule7))] @3: The lion likes the cat.[(((((triple9 ((triple8) -> rule4)) -> rule7) triple10) -> rule6))] @4: The lion needs the bear.[(((((((triple9 ((triple8) -> rule4)) -> rule7) triple10) -> rule6)) -> rule5))] @5: The lion needs the mouse.[(((((((((triple9 ((triple8) -> rule4)) -> rule7) triple10) -> rule6)) -> rule5)) -> rule8))]