The mouse chases the tiger. The mouse sees the tiger. The tiger sees the mouse. If something sees the mouse and it chases the mouse then the mouse likes the tiger. If something sees the mouse and the mouse sees the tiger then the tiger chases the mouse. If the mouse chases the tiger and the tiger sees the mouse then the mouse is nice. If something chases the tiger and it likes the tiger then the tiger is blue. If something likes the tiger then the tiger sees the mouse. If something chases the mouse then the mouse sees the tiger.
The tiger is blue.
@0: The mouse chases the tiger.[(triple1)] The mouse sees the tiger.[(triple2)] The tiger sees the mouse.[(triple3)] @1: The mouse is nice.[(((triple1 triple3) -> rule3))] The tiger chases the mouse.[(((triple3 triple2) -> rule2))] @2: The mouse likes the tiger.[(((triple3 ((triple3 triple2) -> rule2)) -> rule1))] @3: The tiger is blue.[(((triple1 ((triple3 ((triple3 triple2) -> rule2)) -> rule1)) -> rule4))]