A não dirigir é condição necessária para beber.
B se uma pessoa não dirigiu, então, ela não bebeu.
C para que uma pessoa não beba, é necessário que ela dirija.
D se uma pessoa dirigiu, é suficiente para concluir que ela não bebeu.
E se uma pessoa não bebeu, é suficiente para concluir que ela não dirigiu.