that the drifting happens and the tolling happens is not true.
sent1: if the airworthiness does not occur that the unbending does not occur hold. sent2: the resurrection occurs if that the polymorphicness happens hold. sent3: the Algonquianness and/or the pericardialness happens. sent4: the drift happens if the dissolution occurs. sent5: the greasing Mutinus and/or the non-airworthiness occurs. sent6: the general happens if the fact that that both the xerographicness and the non-Algonquianness happens does not hold is not false. sent7: that the permitting occurs is right. sent8: that the drift occurs and the tolling happens is not true if the xerographicness does not occur. sent9: the fact that the non-Algonquianness and/or the pericardialness occurs does not hold. sent10: the general happens if the xerographicness does not occur. sent11: that the non-pyknoticness and/or the relevantness occurs does not hold. sent12: that the unbending occurs is caused by the non-airworthiness. sent13: if the greasing Mutinus occurs the unbending does not occur. sent14: the dissolution occurs if the resurrection happens. sent15: the xerographicness happens. sent16: both the permit and the tolling occurs if the unbending does not occur. sent17: the ogling occurs or the prostatectomy happens or both. sent18: if the generalness occurs the polymorphicness happens.
void -> assump1: Let's assume that the xerographicness but not the Algonquianness happens.; assump1 -> int1: the Algonquianness does not occur.; int1 -> int2: that either the non-Algonquianness or the pericardialness or both happens is correct.; int2 & sent9 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the xerographicness and the non-Algonquianness occurs is false.; int4 & sent6 -> int5: the general happens.; int5 & sent18 -> int6: the polymorphicness happens.; int6 & sent2 -> int7: the resurrection occurs.; int7 & sent14 -> int8: the dissolution occurs.; int8 & sent4 -> int9: the drift occurs.; sent5 & sent13 & sent1 -> int10: the unbending does not occur.; sent16 & int10 -> int11: the permitting and the tolling occurs.; int11 -> int12: that the toll happens is correct.; int9 & int12 -> hypothesis;
the fact that the fact that the drifting happens and the tolling happens hold is not correct.
$hypothesis$ = that the drifting happens and the tolling happens is not true. ; $context$ = sent1: if the airworthiness does not occur that the unbending does not occur hold. sent2: the resurrection occurs if that the polymorphicness happens hold. sent3: the Algonquianness and/or the pericardialness happens. sent4: the drift happens if the dissolution occurs. sent5: the greasing Mutinus and/or the non-airworthiness occurs. sent6: the general happens if the fact that that both the xerographicness and the non-Algonquianness happens does not hold is not false. sent7: that the permitting occurs is right. sent8: that the drift occurs and the tolling happens is not true if the xerographicness does not occur. sent9: the fact that the non-Algonquianness and/or the pericardialness occurs does not hold. sent10: the general happens if the xerographicness does not occur. sent11: that the non-pyknoticness and/or the relevantness occurs does not hold. sent12: that the unbending occurs is caused by the non-airworthiness. sent13: if the greasing Mutinus occurs the unbending does not occur. sent14: the dissolution occurs if the resurrection happens. sent15: the xerographicness happens. sent16: both the permit and the tolling occurs if the unbending does not occur. sent17: the ogling occurs or the prostatectomy happens or both. sent18: if the generalness occurs the polymorphicness happens. ; $proof$ = 
void -> assump1: Let's assume that the xerographicness but not the Algonquianness happens.; assump1 -> int1: the Algonquianness does not occur.; int1 -> int2: that either the non-Algonquianness or the pericardialness or both happens is correct.; int2 & sent9 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the xerographicness and the non-Algonquianness occurs is false.; int4 & sent6 -> int5: the general happens.; int5 & sent18 -> int6: the polymorphicness happens.; int6 & sent2 -> int7: the resurrection occurs.; int7 & sent14 -> int8: the dissolution occurs.; int8 & sent4 -> int9: the drift occurs.; sent5 & sent13 & sent1 -> int10: the unbending does not occur.; sent16 & int10 -> int11: the permitting and the tolling occurs.; int11 -> int12: that the toll happens is correct.; int9 & int12 -> hypothesis; __DISPROVED__