the decking encounter happens.
sent1: that the celibacy happens prevents that the decking encounter does not occur. sent2: the stannicness happens and the celibacy occurs.
sent2 -> int1: the celibacy happens.; sent1 & int1 -> hypothesis;
$hypothesis$ = the decking encounter happens. ; $context$ = sent1: that the celibacy happens prevents that the decking encounter does not occur. sent2: the stannicness happens and the celibacy occurs. ; $proof$ = 
sent2 -> int1: the celibacy happens.; sent1 & int1 -> hypothesis; __PROVED__