The bear chases the mouse. The bear is cold. The bear is nice. The bear needs the mouse. The bear sees the mouse. The mouse chases the bear. The mouse is cold. The mouse is green. The mouse is nice. The mouse is young. The mouse needs the bear. The mouse sees the bear. If something sees the bear then it chases the bear. If something is rough and it sees the mouse then the mouse is cold. If something is young then it sees the bear. If something needs the mouse then the mouse chases the bear. If something needs the mouse then it is young. If something sees the bear then it is green. If something sees the mouse then it chases the mouse. All young, nice things are green.
The bear is not young.
@0: The bear chases the mouse.[(triple1 OR ((triple5) -> rule7))] The bear is cold.[(triple2)] The bear is nice.[(triple3)] The bear needs the mouse.[(triple4)] The bear sees the mouse.[(triple5)] The mouse chases the bear.[(triple6 OR ((triple12) -> rule1) OR ((triple4) -> rule4) OR ((((triple10) -> rule3)) -> rule1))] The mouse is cold.[(triple7)] The mouse is green.[(triple8 OR ((triple12) -> rule6) OR ((triple10 triple9) -> rule8) OR ((((triple10) -> rule3)) -> rule6))] The mouse is nice.[(triple9)] The mouse is young.[(triple10)] The mouse needs the bear.[(triple11)] The mouse sees the bear.[(triple12 OR ((triple10) -> rule3))] @1: The bear is young.[(((triple4) -> rule5))] @2: The bear is green.[(((((triple4) -> rule5) triple3) -> rule8) OR ((((((triple4) -> rule5)) -> rule3)) -> rule6))] The bear sees the bear.[(((((triple4) -> rule5)) -> rule3))] @3: The bear chases the bear.[(((((((triple4) -> rule5)) -> rule3)) -> rule1))]