that if the naturopathy happens then the support happens is not right.
sent1: that the Grant happens and the metrification happens is not correct. sent2: the pardon and the patching happens. sent3: the impotentness does not occur and the maintaining manhole does not occur if the buying does not occur. sent4: that the patching occurs is correct. sent5: that the Neanderthalness occurs hold. sent6: the detribalizing swearer is prevented by that the pardon and the patching happens. sent7: if the impotentness does not occur the patching happens and/or the detribalizing phenothiazine occurs. sent8: the plantigradeness does not occur. sent9: the support occurs if the fact that the umbelliformness does not occur and the detribalizing swearer does not occur hold. sent10: if the naturopathy does not occur the fact that both the proportionateness and the non-umbelliformness happens does not hold. sent11: the skateboarding does not occur and the pauperization does not occur. sent12: the buying does not occur if the fact that the Grant happens and the metrification occurs is incorrect. sent13: the capitalist occurs. sent14: if both the umbelliformness and the naturopathy happens the Neanderthalness does not occur. sent15: if that the proportionateness and the non-umbelliformness happens is false the proportionate occurs.
void -> assump1: Let's assume that the umbelliformness occurs.; void -> assump2: Let's assume that the naturopathy happens.; assump1 & assump2 -> int1: both the umbelliformness and the naturopathy occurs.; int1 & sent14 -> int2: the Neanderthalness does not occur.; int2 & sent5 -> int3: this is contradiction.; [assump1] & int3 -> int4: the umbelliformness does not occur.; sent6 & sent2 -> int5: the detribalizing swearer does not occur.; int4 & int5 -> int6: the umbelliformness does not occur and the detribalizing swearer does not occur.; int6 & sent9 -> int7: the support happens.; [assump2] & int7 -> hypothesis;
the disproportionateness happens.
sent12 & sent1 -> int8: the buying does not occur.; sent3 & int8 -> int9: the impotentness does not occur and the maintaining manhole does not occur.; int9 -> int10: the impotentness does not occur.; sent7 & int10 -> int11: the patching or the detribalizing phenothiazine or both happens.;
$hypothesis$ = that if the naturopathy happens then the support happens is not right. ; $context$ = sent1: that the Grant happens and the metrification happens is not correct. sent2: the pardon and the patching happens. sent3: the impotentness does not occur and the maintaining manhole does not occur if the buying does not occur. sent4: that the patching occurs is correct. sent5: that the Neanderthalness occurs hold. sent6: the detribalizing swearer is prevented by that the pardon and the patching happens. sent7: if the impotentness does not occur the patching happens and/or the detribalizing phenothiazine occurs. sent8: the plantigradeness does not occur. sent9: the support occurs if the fact that the umbelliformness does not occur and the detribalizing swearer does not occur hold. sent10: if the naturopathy does not occur the fact that both the proportionateness and the non-umbelliformness happens does not hold. sent11: the skateboarding does not occur and the pauperization does not occur. sent12: the buying does not occur if the fact that the Grant happens and the metrification occurs is incorrect. sent13: the capitalist occurs. sent14: if both the umbelliformness and the naturopathy happens the Neanderthalness does not occur. sent15: if that the proportionateness and the non-umbelliformness happens is false the proportionate occurs. ; $proof$ = 
void -> assump1: Let's assume that the umbelliformness occurs.; void -> assump2: Let's assume that the naturopathy happens.; assump1 & assump2 -> int1: both the umbelliformness and the naturopathy occurs.; int1 & sent14 -> int2: the Neanderthalness does not occur.; int2 & sent5 -> int3: this is contradiction.; [assump1] & int3 -> int4: the umbelliformness does not occur.; sent6 & sent2 -> int5: the detribalizing swearer does not occur.; int4 & int5 -> int6: the umbelliformness does not occur and the detribalizing swearer does not occur.; int6 & sent9 -> int7: the support happens.; [assump2] & int7 -> hypothesis; __DISPROVED__