Vi begynner med å anta at $(P → R)$ er sann.

Vi begynner med å anta at $(P → R)$ er usann.

Vi begynner med å anta at $(P → Q)$ og $(Q → R)$ er sanne.

Vi begynner med å anta at $(P → Q)$ eller $(Q → R)$ er sanne.

Vi begynner med å anta at $(P → Q)$ og $(Q → R)$ er sanne, og $(P → R)$ er usann.

Det holder å vise at hvis $F$ er sann, så er $G$ sann.

Man må i tillegg undersøke hva som som skjer når $F$ er usann.