The bear eats the mouse. The bear eats the squirrel. The bear visits the rabbit. The bear visits the squirrel. The mouse is blue. The mouse is green. The mouse is rough. The mouse needs the bear. The mouse needs the rabbit. The mouse visits the squirrel. The rabbit eats the bear. The rabbit eats the mouse. The rabbit is blue. The rabbit needs the squirrel. The rabbit visits the bear. The squirrel eats the mouse. If something needs the rabbit then the rabbit eats the bear. If the mouse eats the squirrel then the mouse is blue.
The squirrel is green.
@0: The bear eats the mouse.[(triple1)] The bear eats the squirrel.[(triple2)] The bear visits the rabbit.[(triple3)] The bear visits the squirrel.[(triple4)] The mouse is blue.[(triple5)] The mouse is green.[(triple6)] The mouse is rough.[(triple7)] The mouse needs the bear.[(triple8)] The mouse needs the rabbit.[(triple9)] The mouse visits the squirrel.[(triple10)] The rabbit eats the bear.[(triple11 OR ((triple9) -> rule1))] The rabbit eats the mouse.[(triple12)] The rabbit is blue.[(triple13)] The rabbit needs the squirrel.[(triple14)] The rabbit visits the bear.[(triple15)] The squirrel eats the mouse.[(triple16)]