The bear is round. The bear needs the lion. The lion likes the bear. The mouse is blue. The mouse is round. The mouse likes the lion. The mouse needs the bear. If the lion is blue and the lion is kind then the lion likes the bear. If something needs the lion then the lion likes the mouse. If something likes the lion and it chases the bear then it chases the lion. All kind things are rough. If something likes the mouse then the mouse chases the bear. If something is blue then it needs the mouse. If something likes the lion and the lion chases the bear then it needs the lion. If the mouse is kind then the mouse is green.
The lion likes the mouse.
@0: The bear is round.[(triple1)] The bear needs the lion.[(triple2)] The lion likes the bear.[(triple3)] The mouse is blue.[(triple4)] The mouse is round.[(triple5)] The mouse likes the lion.[(triple6)] The mouse needs the bear.[(triple7)] @1: The lion likes the mouse.[(((triple2) -> rule2))] The mouse needs the mouse.[(((triple4) -> rule6))] @2: The mouse chases the bear.[(((((triple2) -> rule2)) -> rule5))] @3: The mouse chases the lion.[(((triple6 ((((triple2) -> rule2)) -> rule5)) -> rule3))]