Considere as afirmações: Se Paula é uma boa amiga, então Vagner diz a verdade. Se Vagner diz a verdade, então Helen não é uma boa aluna. Se Helen não é uma boa aluna, então Paula é uma boa amiga. A análise do encadeamento lógico da argumentação contida nessas três afirmações permite concluir que elas: 
- 
                                   
                                   
                                    A implicam necessariamente que Paula é uma boa amiga;
 - 
                                   
                                   
                                    B são consistentes entre si, quer Paula seja uma boa amiga, quer Paula não seja uma boa amiga;
 - 
                                   
                                   
                                    C implicam necessariamente que Vagner diz a verdade e que Helen não é uma boa aluna;
 - 
                                   
                                   
                                    D são equivalentes a dizer que Paula não é uma boa amiga;
 - 
                                   
                                   
                                    E acarretam necessariamente que Helen é uma boa aluna.