The bear is green. The cow likes the mouse. The cow needs the mouse. The mouse eats the cow. The mouse is rough. The mouse likes the bear. The rabbit eats the cow. If something needs the mouse then the mouse is round. If something is round then it needs the mouse. If something is rough and it needs the mouse then the mouse needs the bear.
The mouse is green.
@0: The bear is green.[(triple1)] The cow likes the mouse.[(triple2)] The cow needs the mouse.[(triple3)] The mouse eats the cow.[(triple4)] The mouse is rough.[(triple5)] The mouse likes the bear.[(triple6)] The rabbit eats the cow.[(triple7)] @1: The mouse is round.[(((triple3) -> rule1))] @2: The mouse needs the mouse.[(((((triple3) -> rule1)) -> rule2))] @3: The mouse needs the bear.[(((triple5 ((((triple3) -> rule1)) -> rule2)) -> rule3))]