The bear is blue. The bear is round. The bear likes the mouse. The bear needs the cow. The bear needs the mouse. The bear visits the cow. The cow needs the mouse. The mouse is green. The mouse likes the cow. The mouse does not need the bear. The mouse needs the cow. The mouse visits the cow. If someone is blue then they do not need the bear.
The bear does not need the mouse.
@0: The bear is blue.[(triple1)] The bear is round.[(triple2)] The bear likes the mouse.[(triple3)] The bear needs the cow.[(triple4)] The bear needs the mouse.[(triple5)] The bear visits the cow.[(triple6)] The cow needs the mouse.[(triple7)] The mouse does not need the bear.[(triple10)] The mouse is green.[(triple8)] The mouse likes the cow.[(triple9)] The mouse needs the cow.[(triple11)] The mouse visits the cow.[(triple12)] @1: The bear does not need the bear.[(((triple1) -> rule1))]