The bear chases the mouse. The bear is big. The bear is green. The bear is round. The bear sees the mouse. The mouse chases the bear. The mouse is big. The mouse is round. The mouse needs the bear. The mouse sees the bear. If something chases the mouse and it is red then the mouse sees the bear. If something needs the mouse and it chases the mouse then it chases the bear. If something needs the mouse then the mouse sees the bear. If something sees the mouse and the mouse chases the bear then the bear is kind. If something chases the mouse then the mouse is round. If something needs the bear then the bear needs the mouse.
The mouse is not kind.
@0: The bear chases the mouse.[(triple1)] The bear is big.[(triple2)] The bear is green.[(triple3)] The bear is round.[(triple4)] The bear sees the mouse.[(triple5)] The mouse chases the bear.[(triple6)] The mouse is big.[(triple7)] The mouse is round.[(triple8 OR ((triple1) -> rule5))] The mouse needs the bear.[(triple9)] The mouse sees the bear.[(triple10 OR ((((triple9) -> rule6)) -> rule3))] @1: The bear is kind.[(((triple5 triple6) -> rule4))] The bear needs the mouse.[(((triple9) -> rule6))] @2: The bear chases the bear.[(((((triple9) -> rule6) triple1) -> rule2))]