[alpha]2    [not alpha]1
------------------------
        bottom
      ----------
         beta
  ------------------- (1)
   (not alpha)->beta
--------------------------- (2)
alpha->((not alpha)->beta)