RISC JKU
Multiple Implication

(MI) [Graphics:indexgr145.gif]

with no assumptions.

We prove (MI) by natural deduction.