The bear is rough. The bear sees the cow. The cow is rough. The cow needs the rabbit. The mouse needs the rabbit. The mouse sees the bear. The rabbit needs the mouse. If something needs the rabbit and the rabbit is rough then it sees the cow. If something sees the rabbit then it is round. If the rabbit is young then the rabbit is cold. If something sees the bear then it sees the cow. If something eats the bear and it sees the mouse then it needs the rabbit. If something is young then it eats the bear.
The bear needs the mouse.
@0: The bear is rough.[(triple1)] The bear sees the cow.[(triple2)] The cow is rough.[(triple3)] The cow needs the rabbit.[(triple4)] The mouse needs the rabbit.[(triple5)] The mouse sees the bear.[(triple6)] The rabbit needs the mouse.[(triple7)] @1: The mouse sees the cow.[(((triple6) -> rule4))]