The bear is not blue. The cow chases the bear. The mouse visits the bear. If the bear chases the mouse then the bear sees the mouse. If someone sees the bear then the bear sees the cow. If someone is blue then they visit the mouse. If someone sees the cow then they do not visit the mouse. If someone chases the bear then they see the bear. If the mouse sees the bear then the mouse visits the bear.
The bear is blue.
@0: The bear is not blue.[(triple1)] The cow chases the bear.[(triple2)] The mouse visits the bear.[(triple3)] @1: The cow sees the bear.[(((triple2) -> rule5))] @2: The bear sees the cow.[(((((triple2) -> rule5)) -> rule2))] @3: The bear does not visit the mouse.[(((((((triple2) -> rule5)) -> rule2)) -> rule4))]