The bear chases the mouse. The bear is big. The bear is blue. The bear is cold. The bear is red. The bear is young. The bear sees the mouse. The bear visits the mouse. The mouse chases the bear. The mouse is blue. If something chases the mouse and it chases the bear then the mouse is blue. If something sees the mouse then the mouse sees the bear. If something sees the bear and it is red then it is cold.
The bear visits the mouse.
@0: The bear chases the mouse.[(triple1)] The bear is big.[(triple2)] The bear is blue.[(triple3)] The bear is cold.[(triple4)] The bear is red.[(triple5)] The bear is young.[(triple6)] The bear sees the mouse.[(triple7)] The bear visits the mouse.[(triple8)] The mouse chases the bear.[(triple9)] The mouse is blue.[(triple10)] @1: The mouse sees the bear.[(((triple7) -> rule2))]