not alpha     [alpha]1
 ------------------------
           bot
      ------------
          beta
    ----------------- (1)
     alpha --> beta

Per brevita' non sono stati inseriti i nomi delle regole applicate
(da inserire, se possibile, in un eventuale compito).