that the surface-to-airness results in that not the exhaling but the predicativeness happens does not hold.
sent1: both the predicativeness and the nonslipperiness occurs if the criminalization does not occur. sent2: the separated occurs. sent3: the fact that the non-predicativeness and the surface-to-airness occurs is not true if the nonslipperiness does not occur. sent4: that the nonslipperiness does not occur and the criminalization does not occur is caused by that the wresting Pulex does not occur. sent5: the fact that the criminalization does not occur hold. sent6: if the anopheline does not occur then the natalness occurs and the exhaling happens. sent7: if the fact that the non-anophelineness and the surface-to-airness occurs does not hold then the interfering happens. sent8: if the antediluvianness does not occur then the maleficentness occurs and the dramaticsness occurs. sent9: if the exhaling occurs and the anophelineness occurs then the surface-to-airness happens. sent10: the slipperyness is prevented by that the criminalization does not occur. sent11: the surface-to-airness does not occur if the exhaling occurs and the anophelineness occurs. sent12: if the pentathlon happens the drunkenness does not occur and the greensideness happens. sent13: the wresting sprawler occurs if that the wresting sprawler does not occur and the exhaling occurs is not right. sent14: the wresting follower occurs. sent15: if that the liberalization happens is true not the wresting Pulex but the sanitation occurs. sent16: that not the predicativeness but the nonslipperiness happens is caused by that the wresting Pulex does not occur. sent17: that not the anopheline but the surface-to-airness occurs is not correct if the predicativeness does not occur. sent18: the nonslipperiness happens. sent19: the anophelineness happens.
void -> assump2: Let's assume that the fact that the exhaling happens is not false.; assump2 & sent19 -> int1: both the exhaling and the anophelineness occurs.; int1 & sent11 -> int2: the surface-to-airness does not occur.; void -> assump1: Let's assume that the surface-to-airness occurs.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: that the exhaling does not occur is correct.; sent1 & sent5 -> int5: the predicativeness and the nonslipperiness occurs.; int5 -> int6: the predicativeness happens.; int4 & int6 -> int7: the exhaling does not occur but the predicativeness occurs.; [assump1] & int7 -> hypothesis;
the natalness happens.
$hypothesis$ = that the surface-to-airness results in that not the exhaling but the predicativeness happens does not hold. ; $context$ = sent1: both the predicativeness and the nonslipperiness occurs if the criminalization does not occur. sent2: the separated occurs. sent3: the fact that the non-predicativeness and the surface-to-airness occurs is not true if the nonslipperiness does not occur. sent4: that the nonslipperiness does not occur and the criminalization does not occur is caused by that the wresting Pulex does not occur. sent5: the fact that the criminalization does not occur hold. sent6: if the anopheline does not occur then the natalness occurs and the exhaling happens. sent7: if the fact that the non-anophelineness and the surface-to-airness occurs does not hold then the interfering happens. sent8: if the antediluvianness does not occur then the maleficentness occurs and the dramaticsness occurs. sent9: if the exhaling occurs and the anophelineness occurs then the surface-to-airness happens. sent10: the slipperyness is prevented by that the criminalization does not occur. sent11: the surface-to-airness does not occur if the exhaling occurs and the anophelineness occurs. sent12: if the pentathlon happens the drunkenness does not occur and the greensideness happens. sent13: the wresting sprawler occurs if that the wresting sprawler does not occur and the exhaling occurs is not right. sent14: the wresting follower occurs. sent15: if that the liberalization happens is true not the wresting Pulex but the sanitation occurs. sent16: that not the predicativeness but the nonslipperiness happens is caused by that the wresting Pulex does not occur. sent17: that not the anopheline but the surface-to-airness occurs is not correct if the predicativeness does not occur. sent18: the nonslipperiness happens. sent19: the anophelineness happens. ; $proof$ = 
void -> assump2: Let's assume that the fact that the exhaling happens is not false.; assump2 & sent19 -> int1: both the exhaling and the anophelineness occurs.; int1 & sent11 -> int2: the surface-to-airness does not occur.; void -> assump1: Let's assume that the surface-to-airness occurs.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: that the exhaling does not occur is correct.; sent1 & sent5 -> int5: the predicativeness and the nonslipperiness occurs.; int5 -> int6: the predicativeness happens.; int4 & int6 -> int7: the exhaling does not occur but the predicativeness occurs.; [assump1] & int7 -> hypothesis; __DISPROVED__