[Usiamo A e B al posto di alfa e beta]

Usiamo [n] a fianco di una regola per indicare che scarichiamo
l'assunzione n.




              A->B      [A] 1
             ----------------
                   B            [not B] 2
                 ---------------------- -
                          bottom
                        ---------- [1]
                          not A
                       ---------------- [2]
                        not B -> not A