that the governing OPV does not occur leads to that the headquartering frog occurs and the navigation happens.
sent1: the offer does not occur and the governing staddle does not occur. sent2: that the navigation happens is triggered by that the cuckoldry happens. sent3: if the attorneyship does not occur the inundating idolizer does not occur. sent4: that the account occurs prevents that the navigation does not occur. sent5: the fact that the inundating idolizer occurs and the attorneyship happens is correct. sent6: that not the headquartering frog but the governing OPV occurs causes that the attorneyship does not occur. sent7: if that not the cuckoldry but the navigation happens is incorrect the navigation does not occur. sent8: if the inundating idolizer does not occur both the governing pistillode and the fibrocalcificness happens. sent9: if that the offer does not occur hold the account and/or the cuckoldry happens.
sent5 -> int1: the inundating idolizer occurs.; void -> assump1: Let's assume that the governing OPV does not occur.; int1 & assump1 -> int2: not the governing OPV but the inundating idolizer occurs.; sent1 -> int3: the offering does not occur.; sent9 & int3 -> int4: the account and/or the cuckoldry happens.; int4 & sent4 & sent2 -> int5: the navigation happens.;
the governing pistillode happens and the fibrocalcificness happens.
$hypothesis$ = that the governing OPV does not occur leads to that the headquartering frog occurs and the navigation happens. ; $context$ = sent1: the offer does not occur and the governing staddle does not occur. sent2: that the navigation happens is triggered by that the cuckoldry happens. sent3: if the attorneyship does not occur the inundating idolizer does not occur. sent4: that the account occurs prevents that the navigation does not occur. sent5: the fact that the inundating idolizer occurs and the attorneyship happens is correct. sent6: that not the headquartering frog but the governing OPV occurs causes that the attorneyship does not occur. sent7: if that not the cuckoldry but the navigation happens is incorrect the navigation does not occur. sent8: if the inundating idolizer does not occur both the governing pistillode and the fibrocalcificness happens. sent9: if that the offer does not occur hold the account and/or the cuckoldry happens. ; $proof$ = 
sent5 -> int1: the inundating idolizer occurs.; void -> assump1: Let's assume that the governing OPV does not occur.; int1 & assump1 -> int2: not the governing OPV but the inundating idolizer occurs.; sent1 -> int3: the offering does not occur.; sent9 & int3 -> int4: the account and/or the cuckoldry happens.; int4 & sent4 & sent2 -> int5: the navigation happens.; __UNKNOWN__