The bear is kind. The bear is young. The mouse eats the bear. If someone sees the mouse and the mouse sees the bear then they chase the mouse. If someone is kind then they see the mouse. If someone chases the mouse then they see the bear. If someone sees the mouse and the mouse eats the bear then the mouse sees the bear. If someone chases the mouse then they eat the mouse. If the bear eats the mouse then the bear is nice.
The bear is not young.
@0: The bear is kind.[(triple1)] The bear is young.[(triple2)] The mouse eats the bear.[(triple3)] @1: The bear sees the mouse.[(((triple1) -> rule2))] @2: The mouse sees the bear.[(((((triple1) -> rule2) triple3) -> rule4))] @3: The bear chases the mouse.[(((((triple1) -> rule2) ((((triple1) -> rule2) triple3) -> rule4)) -> rule1))] @4: The bear eats the mouse.[(((((((triple1) -> rule2) ((((triple1) -> rule2) triple3) -> rule4)) -> rule1)) -> rule5))] The bear sees the bear.[(((((((triple1) -> rule2) ((((triple1) -> rule2) triple3) -> rule4)) -> rule1)) -> rule3))] @5: The bear is nice.[(((((((((triple1) -> rule2) ((((triple1) -> rule2) triple3) -> rule4)) -> rule1)) -> rule5)) -> rule6))]