\(\textbf{Gegeven} \\ \begin{array}{r|l}p & \text{ een kip is geen reptiel }\\q & \text{ Rome is niet de hoofdstad van Nederland }\\\end{array} \\ \textbf{Gevraagd} \\p\implies q\)
\(\begin{array}{rr|r}p & q & p\implies q \\ \hline1 & 1 & 1 \\ \end{array}\\\begin{array}{r|l} p\implies q & \text{ als geldt 'een kip is geen reptiel', dan geldt 'Rome is niet de hoofdstad van Nederland' }\end{array}\)