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