The bear is young. The mouse is young. The mouse likes the tiger. The tiger eats the bear. The tiger is round. The tiger likes the bear. The tiger likes the mouse. If something is nice then it eats the mouse. If something likes the bear then it eats the mouse. If something needs the bear and the bear is nice then the bear needs the mouse. If something likes the bear and the bear is round then it needs the mouse. If something eats the bear then the bear is blue. If something needs the bear then the bear is rough. If something is blue then it needs the bear. If something eats the mouse and the mouse likes the tiger then it is round.
The mouse does not need the tiger.
@0: The bear is young.[(triple1)] The mouse is young.[(triple2)] The mouse likes the tiger.[(triple3)] The tiger eats the bear.[(triple4)] The tiger is round.[(triple5 OR ((((triple6) -> rule2) triple3) -> rule8))] The tiger likes the bear.[(triple6)] The tiger likes the mouse.[(triple7)] @1: The bear is blue.[(((triple4) -> rule5))] The tiger eats the mouse.[(((triple6) -> rule2))] @2: The bear needs the bear.[(((((triple4) -> rule5)) -> rule7))] @3: The bear is rough.[(((((((triple4) -> rule5)) -> rule7)) -> rule6))]