The bear chases the mouse. The bear is green. The bear is young. The cow needs the mouse. The mouse is young. The mouse needs the rabbit. The rabbit chases the bear. The rabbit is not green. The rabbit needs the cow. The rabbit needs the mouse. If someone needs the rabbit and they eat the mouse then the mouse does not chase the bear. If someone chases the bear then the bear needs the mouse. If someone is rough then they chase the rabbit. If someone is rough then they chase the mouse. If someone eats the bear and they are not rough then they need the mouse. If someone eats the bear and they eat the cow then the cow eats the mouse.
The rabbit does not chase the rabbit.
@0: The bear chases the mouse.[(triple1)] The bear is green.[(triple2)] The bear is young.[(triple3)] The cow needs the mouse.[(triple4)] The mouse is young.[(triple5)] The mouse needs the rabbit.[(triple6)] The rabbit chases the bear.[(triple7)] The rabbit is not green.[(triple8)] The rabbit needs the cow.[(triple9)] The rabbit needs the mouse.[(triple10)] @1: The bear needs the mouse.[(((triple7) -> rule2))]