that the fact that the limblessness and the ironing occurs does not hold hold.
sent1: that if the dumping gravity-assist does not occur the fact that the dumping elver does not occur and the Eurafrican does not occur is not right hold. sent2: the fact that the ironing happens is not incorrect. sent3: the fact that the monophonicness does not occur and the proofreading does not occur is not true. sent4: the fact that that the dumping elver does not occur and the Eurafricanness does not occur is true is brought about by that the tearfulness happens. sent5: the statisticalness occurs and the fallout occurs. sent6: that the limblessness happens is not wrong if the tearfulness does not occur and the joinery does not occur. sent7: the joinery does not occur. sent8: that the dumping elver does not occur is caused by that the tearfulness occurs. sent9: the dumping gravity-assist does not occur. sent10: the importantness does not occur. sent11: the refreshing wheatworm does not occur. sent12: the dumping elver does not occur.
void -> assump1: Let's assume that the tearfulness happens.; sent4 & assump1 -> int1: the dumping elver does not occur and the Eurafricanness does not occur.; sent1 & sent9 -> int2: that the dumping elver does not occur and the Eurafricanness does not occur does not hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the tearfulness does not occur.; int4 & sent7 -> int5: the tearfulness does not occur and the joinery does not occur.; int5 & sent6 -> int6: the limblessness happens.; int6 & sent2 -> hypothesis;
$hypothesis$ = that the fact that the limblessness and the ironing occurs does not hold hold. ; $context$ = sent1: that if the dumping gravity-assist does not occur the fact that the dumping elver does not occur and the Eurafrican does not occur is not right hold. sent2: the fact that the ironing happens is not incorrect. sent3: the fact that the monophonicness does not occur and the proofreading does not occur is not true. sent4: the fact that that the dumping elver does not occur and the Eurafricanness does not occur is true is brought about by that the tearfulness happens. sent5: the statisticalness occurs and the fallout occurs. sent6: that the limblessness happens is not wrong if the tearfulness does not occur and the joinery does not occur. sent7: the joinery does not occur. sent8: that the dumping elver does not occur is caused by that the tearfulness occurs. sent9: the dumping gravity-assist does not occur. sent10: the importantness does not occur. sent11: the refreshing wheatworm does not occur. sent12: the dumping elver does not occur. ; $proof$ = 
void -> assump1: Let's assume that the tearfulness happens.; sent4 & assump1 -> int1: the dumping elver does not occur and the Eurafricanness does not occur.; sent1 & sent9 -> int2: that the dumping elver does not occur and the Eurafricanness does not occur does not hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the tearfulness does not occur.; int4 & sent7 -> int5: the tearfulness does not occur and the joinery does not occur.; int5 & sent6 -> int6: the limblessness happens.; int6 & sent2 -> hypothesis; __DISPROVED__