Basta exibir um modélo em que \axiom{P}{2} não é satisfeito,
no qual a propriedade transitiva de paralelismo não é válida. 
O modelo do
\hyperref[item:02:L02:1:e]{Exercício 2 (e)}
é bom para isto. 
Nele, tem-se: $\{B\}$ é paralela a $\{A\}$ e $\{A\}$ é
paralela a $\{B, C\}$, mas $\{B\}$ não é paralela a $\{B, C\}$. 