The bear likes the mouse. The bear needs the dog. The cow likes the mouse. The dog needs the mouse. The mouse is green. The mouse needs the dog. The mouse sees the bear. If the bear likes the dog then the dog is nice. If someone likes the mouse then the mouse needs the bear. If the cow is nice then the cow is not young. If someone sees the bear and the bear needs the mouse then the mouse likes the cow. If someone needs the mouse then they are not kind. If the mouse is green then the mouse likes the bear. If the dog likes the cow and the cow does not see the dog then the dog needs the mouse. If the cow is rough then the cow is green.
The bear does not like the mouse.
@0: The bear likes the mouse.[(triple1)] The bear needs the dog.[(triple2)] The cow likes the mouse.[(triple3)] The dog needs the mouse.[(triple4)] The mouse is green.[(triple5)] The mouse needs the dog.[(triple6)] The mouse sees the bear.[(triple7)] @1: The dog is not kind.[(((triple4) -> rule5))] The mouse likes the bear.[(((triple5) -> rule6))] The mouse needs the bear.[(((triple1) -> rule2) OR ((triple3) -> rule2))]