The bear is big. The mouse eats the bear. The mouse visits the bear. If the mouse is round and the mouse sees the bear then the bear visits the mouse. If someone visits the bear then the bear visits the mouse. If someone sees the bear then they are not big. If someone visits the mouse then they see the mouse. If someone sees the mouse then the mouse is not rough. If someone is red then they eat the mouse. If someone visits the mouse and they eat the bear then the bear is round. If the bear visits the mouse and the mouse does not eat the bear then the bear is rough.
The mouse visits the bear.
@0: The bear is big.[(triple1)] The mouse eats the bear.[(triple2)] The mouse visits the bear.[(triple3)] @1: The bear visits the mouse.[(((triple3) -> rule2))] @2: The bear sees the mouse.[(((((triple3) -> rule2)) -> rule4))] @3: The mouse is not rough.[(((((((triple3) -> rule2)) -> rule4)) -> rule5))]