A = Agata e' bionda
B = Barbara e' bionda
C = Concetta e' bionda

"Una sola tra Barbara e Concetta e' bionda" corrisponde a dire
B->not C, C->not B, tenendo conto che abbiomo gia' l'ipotesi
A\/B\/C.

Occorre quindi dimostrare in deduzione naturale che  

      {A\/B\/C, A->B, C->B, B->not C, C->not B} |- B


                                                     [C]1  C->B
                                                    ------------ (->E)
             [A]3  A->B           [B\/C]4    [B]2         B
             ----------- (->E)   ---------------------------- (\/E)(1,2)
 A\/(B\/C)        B                            B       
--------------------------------------------------- (\/E)(3,4)
                           B