the fact that the overrunning highlight does not occur is true.
sent1: if the fact that the damaging Acheson does not occur is not false then the fact that both the damaging Argive and the parameter occurs is wrong. sent2: if the overrunning highlight happens then the bethinking grandee does not occur and the responsibility does not occur. sent3: the bethinking East does not occur and the auditoriness does not occur if the instructing does not occur. sent4: the instructing does not occur and the storminess does not occur if the fact that the Chippendaleness does not occur hold. sent5: that the Chippendaleness does not occur but the Australianness happens is triggered by that the insatiateness happens. sent6: the PET does not occur and/or the damaging descant does not occur if the fact that the hardship occurs is incorrect. sent7: the damaging Argive does not occur if the fact that both the damaging Argive and the parameter occurs is false. sent8: the overrunning highlight occurs if the bethinking East does not occur. sent9: that the insatiateness and the overrunning sip occurs is triggered by that the damaging Argive does not occur.
void -> assump1: Let's assume that the overrunning highlight occurs.; sent2 & assump1 -> int1: the bethinking grandee does not occur and the responsibility does not occur.;
the overrunning highlight occurs.
$hypothesis$ = the fact that the overrunning highlight does not occur is true. ; $context$ = sent1: if the fact that the damaging Acheson does not occur is not false then the fact that both the damaging Argive and the parameter occurs is wrong. sent2: if the overrunning highlight happens then the bethinking grandee does not occur and the responsibility does not occur. sent3: the bethinking East does not occur and the auditoriness does not occur if the instructing does not occur. sent4: the instructing does not occur and the storminess does not occur if the fact that the Chippendaleness does not occur hold. sent5: that the Chippendaleness does not occur but the Australianness happens is triggered by that the insatiateness happens. sent6: the PET does not occur and/or the damaging descant does not occur if the fact that the hardship occurs is incorrect. sent7: the damaging Argive does not occur if the fact that both the damaging Argive and the parameter occurs is false. sent8: the overrunning highlight occurs if the bethinking East does not occur. sent9: that the insatiateness and the overrunning sip occurs is triggered by that the damaging Argive does not occur. ; $proof$ = 
void -> assump1: Let's assume that the overrunning highlight occurs.; sent2 & assump1 -> int1: the bethinking grandee does not occur and the responsibility does not occur.; __UNKNOWN__