[notD]  D
                                                             -----------
                D-> A    D        B-> (not D \/ C)   [B]          bot
               ------------      --------------------------     ---------
 A->B\/C             A              (not D)\/C                      C         [C]
------------------------------    -------------------------------------------------
            B\/C                       C                                              [C]
--------------------------------------------------------------------------------------------
                                            C

Vedi testi per nomi regole utilizzate ed in che modo vengono scaricate
le ipotesi.