The bear is not green. The bear is not round. The bear likes the mouse. The dog sees the lion. The lion is not blue. The lion is cold. The lion needs the mouse. The lion does not see the dog. The lion does not see the mouse. The mouse is blue. The mouse does not need the dog. The mouse does not see the dog. If something needs the bear then it is round. If something sees the bear then the bear likes the lion. If something needs the mouse then the mouse sees the bear. If the mouse likes the bear and the mouse does not like the dog then the dog is blue. If something likes the lion then the lion sees the bear. If something likes the lion then it sees the bear. If something is blue then it sees the bear. If the dog is round then the dog does not see the bear.
The mouse does not see the bear.
@0: The bear is not green.[(triple1)] The bear is not round.[(triple2)] The bear likes the mouse.[(triple3)] The dog sees the lion.[(triple4)] The lion does not see the dog.[(triple8)] The lion does not see the mouse.[(triple9)] The lion is cold.[(triple6)] The lion is not blue.[(triple5)] The lion needs the mouse.[(triple7)] The mouse does not need the dog.[(triple11)] The mouse does not see the dog.[(triple12)] The mouse is blue.[(triple10)] @1: The mouse sees the bear.[(((triple10) -> rule7) OR ((triple7) -> rule3))] @2: The bear likes the lion.[(((((triple10) -> rule7)) -> rule2) OR ((((triple7) -> rule3)) -> rule2))] @3: The bear sees the bear.[(((((((triple10) -> rule7)) -> rule2)) -> rule6) OR ((((((triple7) -> rule3)) -> rule2)) -> rule6))] The lion sees the bear.[(((((((triple10) -> rule7)) -> rule2)) -> rule5) OR ((((((triple7) -> rule3)) -> rule2)) -> rule5))]