The bear needs the mouse. The mouse needs the bear. The tiger needs the bear. If the bear likes the mouse then the bear is not blue. If someone needs the tiger and they are not red then the tiger sees the mouse. If the bear sees the tiger and the tiger needs the mouse then the tiger is blue. If the tiger likes the mouse and the tiger sees the mouse then the mouse sees the tiger. If the mouse sees the bear then the bear needs the tiger. If someone needs the bear then they see the mouse.
The tiger does not need the bear.
@0: The bear needs the mouse.[(triple1)] The mouse needs the bear.[(triple2)] The tiger needs the bear.[(triple3)] @1: The mouse sees the mouse.[(((triple2) -> rule6))] The tiger sees the mouse.[(((triple3) -> rule6))]