The bear eats the mouse. The bear is kind. The bear is round. The bear is young. The bear likes the mouse. The mouse chases the bear. The mouse is green. The mouse is kind. The mouse is round. The mouse likes the bear. If something likes the mouse then it chases the bear. If something is kind and it chases the bear then it chases the mouse. If something chases the mouse and the mouse chases the bear then it eats the bear.
The bear does not like the bear.
@0: The bear eats the mouse.[(triple1)] The bear is kind.[(triple2)] The bear is round.[(triple3)] The bear is young.[(triple4)] The bear likes the mouse.[(triple5)] The mouse chases the bear.[(triple6)] The mouse is green.[(triple7)] The mouse is kind.[(triple8)] The mouse is round.[(triple9)] The mouse likes the bear.[(triple10)] @1: The bear chases the bear.[(((triple5) -> rule1))] The mouse chases the mouse.[(((triple8 triple6) -> rule2))] @2: The bear chases the mouse.[(((triple2 ((triple5) -> rule1)) -> rule2))] The mouse eats the bear.[(((((triple8 triple6) -> rule2) triple6) -> rule3))] @3: The bear eats the bear.[(((((triple2 ((triple5) -> rule1)) -> rule2) triple6) -> rule3))]