The lion does not visit the mouse. The mouse sees the lion. The mouse does not visit the lion. If something sees the mouse then it is cold. If something sees the lion then the lion is blue. If something is blue and it does not visit the mouse then it sees the lion.
The mouse visits the lion.
@0: The lion does not visit the mouse.[(triple1)] The mouse does not visit the lion.[(triple3)] The mouse sees the lion.[(triple2)] @1: The lion is blue.[(((triple2) -> rule2))] @2: The lion sees the lion.[(((((triple2) -> rule2) triple1) -> rule3))]