Cadu emagrecer é condição necessária para Maria parar de fumar e condição suficiente para Luiz frequentar a academia. Sabe-se ainda que Luiz frequentar a academia é condição necessária e suficiente para Julia ler um livro. Dessa forma, se Maria parou de fumar: