The bear is nice. The cat eats the bear. The mouse is young. Nice things are young. If something eats the bear then the bear likes the mouse. If something likes the mouse then the mouse does not eat the bear. If the mouse is cold and the mouse is rough then the mouse does not eat the bear. If the mouse eats the bear and the bear needs the cat then the cat eats the mouse. If the bear is young and the mouse does not eat the bear then the bear is rough.
The bear is rough.
@0: The bear is nice.[(triple1)] The cat eats the bear.[(triple2)] The mouse is young.[(triple3)] @1: The bear is young.[(((triple1) -> rule1))] The bear likes the mouse.[(((triple2) -> rule2))] @2: The mouse does not eat the bear.[(((((triple2) -> rule2)) -> rule3))] @3: The bear is rough.[(((((triple1) -> rule1) ((((triple2) -> rule2)) -> rule3)) -> rule6))]