the impairing zinger does not occur and the asteroidalness does not occur.
sent1: that the cohabitation does not occur hold if the fact that the cohabitation happens but the deviltry does not occur is not true. sent2: if that that not the bump but the cracking happens is correct is not right then the motorcade occurs. sent3: the antithyroidness happens if the fact that the non-achenialness and the antiapartheidness occurs is not correct. sent4: that the cohabitation but not the deviltry happens is not correct. sent5: the motorcade does not occur. sent6: the asteroidalness does not occur. sent7: the reportableness happens. sent8: the euphemizing is triggered by that the blackout occurs. sent9: the non-genialness is triggered by that the boxing duality happens but the deploring Meliphagidae does not occur. sent10: if both the cracking and the reportableness happens the impairing zinger does not occur. sent11: if that the basking natatorium does not occur is true the deploring Meliphagidae does not occur. sent12: if the fact that the genialness does not occur hold the impairing zinger occurs and the asteroidalness happens. sent13: if the cohabitation does not occur then the fact that the revolving happens and the boxing dust occurs is false. sent14: that the impairing zinger does not occur and the asteroidalness does not occur is wrong if the reportableness does not occur. sent15: not the democraticness but the adolescing occurs. sent16: the genialness happens if the deploring Meliphagidae occurs. sent17: if the fact that the revolving occurs and the boxing dust happens is not correct then the boxing dust does not occur. sent18: the quiz occurs and the boxing duality happens if that the boxing dust does not occur is not wrong. sent19: the seniorness does not occur. sent20: if the bump happens the motorcade happens. sent21: that the deploring assemblywoman does not occur but the deploring salesgirl occurs is false. sent22: the fact that that not the affectation but the wardership happens hold is not correct if the reportableness does not occur. sent23: the pyreticness happens if that the heavy occurs hold. sent24: the impairing pooler happens. sent25: the bump does not occur.
void -> assump1: Let's assume that the fact that the bumping does not occur and the cracking occurs does not hold.; sent2 & assump1 -> int1: the motorcade occurs.; int1 & sent5 -> int2: this is contradiction.; [assump1] & int2 -> int3: the bumping does not occur but the cracking happens.; int3 -> int4: the cracking occurs.; int4 & sent7 -> int5: the cracking occurs and the reportableness happens.; int5 & sent10 -> int6: the impairing zinger does not occur.; int6 & sent6 -> hypothesis;
that not the affectation but the wardership happens is incorrect.
sent1 & sent4 -> int7: the cohabitation does not occur.; sent13 & int7 -> int8: the fact that the revolving and the boxing dust happens does not hold.; sent17 & int8 -> int9: the boxing dust does not occur.; sent18 & int9 -> int10: the quiz and the boxing duality happens.; int10 -> int11: the boxing duality occurs.;
$hypothesis$ = the impairing zinger does not occur and the asteroidalness does not occur. ; $context$ = sent1: that the cohabitation does not occur hold if the fact that the cohabitation happens but the deviltry does not occur is not true. sent2: if that that not the bump but the cracking happens is correct is not right then the motorcade occurs. sent3: the antithyroidness happens if the fact that the non-achenialness and the antiapartheidness occurs is not correct. sent4: that the cohabitation but not the deviltry happens is not correct. sent5: the motorcade does not occur. sent6: the asteroidalness does not occur. sent7: the reportableness happens. sent8: the euphemizing is triggered by that the blackout occurs. sent9: the non-genialness is triggered by that the boxing duality happens but the deploring Meliphagidae does not occur. sent10: if both the cracking and the reportableness happens the impairing zinger does not occur. sent11: if that the basking natatorium does not occur is true the deploring Meliphagidae does not occur. sent12: if the fact that the genialness does not occur hold the impairing zinger occurs and the asteroidalness happens. sent13: if the cohabitation does not occur then the fact that the revolving happens and the boxing dust occurs is false. sent14: that the impairing zinger does not occur and the asteroidalness does not occur is wrong if the reportableness does not occur. sent15: not the democraticness but the adolescing occurs. sent16: the genialness happens if the deploring Meliphagidae occurs. sent17: if the fact that the revolving occurs and the boxing dust happens is not correct then the boxing dust does not occur. sent18: the quiz occurs and the boxing duality happens if that the boxing dust does not occur is not wrong. sent19: the seniorness does not occur. sent20: if the bump happens the motorcade happens. sent21: that the deploring assemblywoman does not occur but the deploring salesgirl occurs is false. sent22: the fact that that not the affectation but the wardership happens hold is not correct if the reportableness does not occur. sent23: the pyreticness happens if that the heavy occurs hold. sent24: the impairing pooler happens. sent25: the bump does not occur. ; $proof$ = 
void -> assump1: Let's assume that the fact that the bumping does not occur and the cracking occurs does not hold.; sent2 & assump1 -> int1: the motorcade occurs.; int1 & sent5 -> int2: this is contradiction.; [assump1] & int2 -> int3: the bumping does not occur but the cracking happens.; int3 -> int4: the cracking occurs.; int4 & sent7 -> int5: the cracking occurs and the reportableness happens.; int5 & sent10 -> int6: the impairing zinger does not occur.; int6 & sent6 -> hypothesis; __PROVED__