The bear eats the mouse. The bear is blue. The bear is rough. The bear needs the mouse. The bear needs the rabbit. The bear sees the mouse. The mouse eats the bear. The mouse is big. The mouse needs the bear. The mouse needs the rabbit. The mouse sees the rabbit. The rabbit eats the bear. The rabbit is cold. The rabbit needs the mouse. The rabbit sees the bear. The rabbit sees the mouse. If something is green and it needs the bear then it sees the bear. If something sees the bear then it needs the mouse. If the bear needs the rabbit and the rabbit is rough then the bear sees the mouse. If something needs the mouse then the mouse is blue. If something sees the mouse and it is big then the mouse sees the bear. If the bear sees the mouse and the bear needs the rabbit then the bear sees the rabbit.
The bear eats the bear.
@0: The bear eats the mouse.[(triple1)] The bear is blue.[(triple2)] The bear is rough.[(triple3)] The bear needs the mouse.[(triple4)] The bear needs the rabbit.[(triple5)] The bear sees the mouse.[(triple6)] The mouse eats the bear.[(triple7)] The mouse is big.[(triple8)] The mouse needs the bear.[(triple9)] The mouse needs the rabbit.[(triple10)] The mouse sees the rabbit.[(triple11)] The rabbit eats the bear.[(triple12)] The rabbit is cold.[(triple13)] The rabbit needs the mouse.[(triple14 OR ((triple15) -> rule2))] The rabbit sees the bear.[(triple15)] The rabbit sees the mouse.[(triple16)] @1: The bear sees the rabbit.[(((triple6 triple5) -> rule6))] The mouse is blue.[(((triple14) -> rule4) OR ((triple4) -> rule4) OR ((((triple15) -> rule2)) -> rule4))]