Die Antwort, die er gibt, bezieht sich auf den Zeitpunkt, zu der er die Antwort geschrieben hat:
Die Beiden haben nix miteinander => kein kalter Tag in der Hölle.
Es könnte einen kalten Tag in der Hölle gegeben haben, ohne dass sie mit ihm geschlafen hat (Das Mädchen hat ihre Aussage gut formuliert

).
Code:
s := Sie schläft mit ihm.
k := Es gab einen kalten Tag in der Hölle.
s|k|s => k
----------
0|0|1
0|1|1
1|0|0
1|1|1
Die einzige Möglichkeit, das die Aussage falsch ist, ist:
Wenn sie mit ihm schläft, bevor es einen kalten Tag in der Hölle gab.