the fact that if the hap does not occur then the kneel and the defoliating IWW happens does not hold.
sent1: the alighting does not occur if the kneel does not occur and the hap does not occur. sent2: if the complecting Marines happens the fact that the defoliating IWW does not occur and the crosstalk does not occur is incorrect. sent3: the dumpiness does not occur. sent4: that the alighting does not occur results in that the roofing does not occur. sent5: the vanilla does not occur. sent6: the glomming Myxine happens and the defoliating auricle happens. sent7: that the backfire does not occur results in that the cytolyticness happens. sent8: the roofing happens and the dehiscing occurs if the vanilla does not occur. sent9: the defoliating IWW happens if the fact that the defoliating IWW does not occur and the crosstalk does not occur does not hold. sent10: the complecting Marines happens.
void -> assump1: Let's assume that the kneeling does not occur.; void -> assump2: Let's assume that the hap does not occur.; assump1 & assump2 -> int1: the kneel does not occur and the hap does not occur.; int1 & sent1 -> int2: that the alighting happens is incorrect.; int2 & sent4 -> int3: that the roofing does not occur is correct.; sent8 & sent5 -> int4: the roofing happens and the dehiscing occurs.; int4 -> int5: the fact that the roofing happens hold.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the kneeling happens.; sent2 & sent10 -> int8: the fact that the defoliating IWW does not occur and the crosstalk does not occur is not correct.; sent9 & int8 -> int9: the defoliating IWW occurs.; int7 & int9 -> int10: the kneeling occurs and the defoliating IWW occurs.; [assump2] & int10 -> hypothesis;
$hypothesis$ = the fact that if the hap does not occur then the kneel and the defoliating IWW happens does not hold. ; $context$ = sent1: the alighting does not occur if the kneel does not occur and the hap does not occur. sent2: if the complecting Marines happens the fact that the defoliating IWW does not occur and the crosstalk does not occur is incorrect. sent3: the dumpiness does not occur. sent4: that the alighting does not occur results in that the roofing does not occur. sent5: the vanilla does not occur. sent6: the glomming Myxine happens and the defoliating auricle happens. sent7: that the backfire does not occur results in that the cytolyticness happens. sent8: the roofing happens and the dehiscing occurs if the vanilla does not occur. sent9: the defoliating IWW happens if the fact that the defoliating IWW does not occur and the crosstalk does not occur does not hold. sent10: the complecting Marines happens. ; $proof$ = 
void -> assump1: Let's assume that the kneeling does not occur.; void -> assump2: Let's assume that the hap does not occur.; assump1 & assump2 -> int1: the kneel does not occur and the hap does not occur.; int1 & sent1 -> int2: that the alighting happens is incorrect.; int2 & sent4 -> int3: that the roofing does not occur is correct.; sent8 & sent5 -> int4: the roofing happens and the dehiscing occurs.; int4 -> int5: the fact that the roofing happens hold.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the kneeling happens.; sent2 & sent10 -> int8: the fact that the defoliating IWW does not occur and the crosstalk does not occur is not correct.; sent9 & int8 -> int9: the defoliating IWW occurs.; int7 & int9 -> int10: the kneeling occurs and the defoliating IWW occurs.; [assump2] & int10 -> hypothesis; __DISPROVED__