that the overstraining delivery is prevented by the phreaticness is not correct.
sent1: if the fact that the overstraining cowl but not the avulsion occurs is not right the phreaticness does not occur. sent2: the phreaticness does not occur and the overstraining delivery does not occur if that the fighting does not occur is correct. sent3: the movie does not occur. sent4: if the avulsion occurs then the phreaticness does not occur. sent5: the fact that both the overstraining cowl and the avulsion happens is false if the overstraining delivery happens. sent6: the fact that the overstraining cowl and the avulsion happens does not hold. sent7: if the overstraining delivery happens then the fact that the overstraining cowl but not the avulsion occurs is not right. sent8: the turtle does not occur if that the conversing but not the handing tamarillo happens does not hold. sent9: if the phreaticness does not occur and the overstraining delivery does not occur the fact that the Michigan does not occur is correct. sent10: that the overstraining delivery happens is caused by the phreaticness. sent11: if that the overstraining cowl happens but the avulsion does not occur is not right then the phreaticness occurs. sent12: if the nomination happens the disabusing lean-to does not occur. sent13: the dysphemisticness occurs if the convecting happens.
void -> assump2: Let's assume that the phreaticness happens.; void -> assump1: Let's assume that the overstraining delivery happens.; sent7 & assump1 -> int1: the fact that the overstraining cowl but not the avulsion occurs is false.; sent1 & int1 -> int2: the phreaticness does not occur.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the overstraining delivery does not occur.; [assump2] & int4 -> hypothesis;
the Michigan does not occur.
$hypothesis$ = that the overstraining delivery is prevented by the phreaticness is not correct. ; $context$ = sent1: if the fact that the overstraining cowl but not the avulsion occurs is not right the phreaticness does not occur. sent2: the phreaticness does not occur and the overstraining delivery does not occur if that the fighting does not occur is correct. sent3: the movie does not occur. sent4: if the avulsion occurs then the phreaticness does not occur. sent5: the fact that both the overstraining cowl and the avulsion happens is false if the overstraining delivery happens. sent6: the fact that the overstraining cowl and the avulsion happens does not hold. sent7: if the overstraining delivery happens then the fact that the overstraining cowl but not the avulsion occurs is not right. sent8: the turtle does not occur if that the conversing but not the handing tamarillo happens does not hold. sent9: if the phreaticness does not occur and the overstraining delivery does not occur the fact that the Michigan does not occur is correct. sent10: that the overstraining delivery happens is caused by the phreaticness. sent11: if that the overstraining cowl happens but the avulsion does not occur is not right then the phreaticness occurs. sent12: if the nomination happens the disabusing lean-to does not occur. sent13: the dysphemisticness occurs if the convecting happens. ; $proof$ = 
void -> assump2: Let's assume that the phreaticness happens.; void -> assump1: Let's assume that the overstraining delivery happens.; sent7 & assump1 -> int1: the fact that the overstraining cowl but not the avulsion occurs is false.; sent1 & int1 -> int2: the phreaticness does not occur.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the overstraining delivery does not occur.; [assump2] & int4 -> hypothesis; __DISPROVED__