if the trustfulness occurs both the non-semicentennialness and the non-rhizoidalness occurs.
sent1: if the consultation happens then the fixture happens. sent2: if the unwelcomeness does not occur that both the mobilization and the non-macrobioticness occurs is not correct. sent3: the prelim happens if the wrench does not occur. sent4: the semicentennialness does not occur if the fact that the humming monarch does not occur and the semicentennialness happens is wrong. sent5: that the plosion does not occur brings about the non-centesimalness. sent6: if that the humming aquaplane does not occur but the stocking happens is wrong then the stocking does not occur. sent7: if the prelim does not occur then both the humming burgh and the trustfulness occurs. sent8: the trustfulness happens if the prelim happens. sent9: if the overburdening occurs then the radiotherapy does not occur. sent10: the fact that the prelim does not occur is not true if the fact that the non-rhizoidalness and the wrench happens is not right. sent11: if the Mormonness does not occur then the fact that the cohabiting does not occur and the linguisticsness happens does not hold. sent12: if that both the intrusiveness and the non-Malaysianness happens is false then the intrusiveness does not occur. sent13: if the backed does not occur then that the intrusiveness and the non-Malaysianness occurs does not hold. sent14: the fact that not the impregnation but the Honduran happens does not hold. sent15: if the intrusiveness does not occur the fact that the humming monarch does not occur but the semicentennialness occurs is not correct. sent16: if the prelim happens then the trustfulness does not occur. sent17: the wrench happens. sent18: the fact that the coppering does not occur is not false. sent19: the macrobioticness does not occur if that not the incurrence but the macrobioticness happens is not correct. sent20: the heist occurs.
void -> assump2: Let's assume that the fact that the rhizoidalness does not occur but the wrench happens does not hold.; sent10 & assump2 -> int1: the prelim happens.; int1 & sent16 -> int2: the trustfulness does not occur.; void -> assump1: Let's assume that the trustfulness occurs.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the non-rhizoidalness and the wrench occurs.; int4 -> int5: the rhizoidalness does not occur.;
the humming burgh happens.
$hypothesis$ = if the trustfulness occurs both the non-semicentennialness and the non-rhizoidalness occurs. ; $context$ = sent1: if the consultation happens then the fixture happens. sent2: if the unwelcomeness does not occur that both the mobilization and the non-macrobioticness occurs is not correct. sent3: the prelim happens if the wrench does not occur. sent4: the semicentennialness does not occur if the fact that the humming monarch does not occur and the semicentennialness happens is wrong. sent5: that the plosion does not occur brings about the non-centesimalness. sent6: if that the humming aquaplane does not occur but the stocking happens is wrong then the stocking does not occur. sent7: if the prelim does not occur then both the humming burgh and the trustfulness occurs. sent8: the trustfulness happens if the prelim happens. sent9: if the overburdening occurs then the radiotherapy does not occur. sent10: the fact that the prelim does not occur is not true if the fact that the non-rhizoidalness and the wrench happens is not right. sent11: if the Mormonness does not occur then the fact that the cohabiting does not occur and the linguisticsness happens does not hold. sent12: if that both the intrusiveness and the non-Malaysianness happens is false then the intrusiveness does not occur. sent13: if the backed does not occur then that the intrusiveness and the non-Malaysianness occurs does not hold. sent14: the fact that not the impregnation but the Honduran happens does not hold. sent15: if the intrusiveness does not occur the fact that the humming monarch does not occur but the semicentennialness occurs is not correct. sent16: if the prelim happens then the trustfulness does not occur. sent17: the wrench happens. sent18: the fact that the coppering does not occur is not false. sent19: the macrobioticness does not occur if that not the incurrence but the macrobioticness happens is not correct. sent20: the heist occurs. ; $proof$ = 
void -> assump2: Let's assume that the fact that the rhizoidalness does not occur but the wrench happens does not hold.; sent10 & assump2 -> int1: the prelim happens.; int1 & sent16 -> int2: the trustfulness does not occur.; void -> assump1: Let's assume that the trustfulness occurs.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the non-rhizoidalness and the wrench occurs.; int4 -> int5: the rhizoidalness does not occur.; __UNKNOWN__