The bear eats the mouse. The bear is green. The bear is nice. The bear needs the cow. The bear needs the mouse. The cow eats the bear. The cow is blue. The cow is round. The cow needs the bear. The cow sees the bear. The cow sees the mouse. The mouse eats the bear. The mouse eats the cow. The mouse needs the bear. The mouse needs the cow. The mouse sees the bear. If someone sees the bear and they eat the bear then the bear is green. If someone needs the cow then they are round. If someone sees the mouse and they eat the mouse then they are green.
The cow sees the bear.
@0: The bear eats the mouse.[(triple1)] The bear is green.[(triple2 OR ((triple10 triple6) -> rule1) OR ((triple16 triple12) -> rule1))] The bear is nice.[(triple3)] The bear needs the cow.[(triple4)] The bear needs the mouse.[(triple5)] The cow eats the bear.[(triple6)] The cow is blue.[(triple7)] The cow is round.[(triple8)] The cow needs the bear.[(triple9)] The cow sees the bear.[(triple10)] The cow sees the mouse.[(triple11)] The mouse eats the bear.[(triple12)] The mouse eats the cow.[(triple13)] The mouse needs the bear.[(triple14)] The mouse needs the cow.[(triple15)] The mouse sees the bear.[(triple16)] @1: The bear is round.[(((triple4) -> rule2))] The mouse is round.[(((triple15) -> rule2))]