the fact that if the gouge happens the fact that the myocardialness happens is right does not hold.
sent1: the re-formation does not occur and the wrapping mathematician occurs. sent2: if not the gouge but the maxiness occurs then the blackmailing happens. sent3: the blackmailing occurs if the fact that the gouging does not occur and the maxi happens is wrong. sent4: the healthcare does not occur. sent5: the blackmailing happens if the maxi does not occur. sent6: the maxiness occurs. sent7: if the blackmailing occurs the myocardialness happens. sent8: the gouge and the maxi happens. sent9: the myocardialness does not occur if the fact that the myocardialness happens but the wrapping totemist does not occur does not hold. sent10: if the maxiness occurs both the gouging and the non-atheisticness occurs. sent11: that the blackmailing occurs is not wrong if that both the gouge and the maxiness occurs is wrong.
void -> assump2: Let's assume that the gouging happens.; void -> assump1: Let's assume that the gouge does not occur but the maxi happens.; assump1 -> int1: the gouging does not occur.; assump2 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that not the gouging but the maxiness occurs is wrong.; sent3 & int3 -> int4: the blackmail occurs.; sent7 & int4 -> int5: the myocardialness occurs.; [assump2] & int5 -> hypothesis;
the atheisticness does not occur.
$hypothesis$ = the fact that if the gouge happens the fact that the myocardialness happens is right does not hold. ; $context$ = sent1: the re-formation does not occur and the wrapping mathematician occurs. sent2: if not the gouge but the maxiness occurs then the blackmailing happens. sent3: the blackmailing occurs if the fact that the gouging does not occur and the maxi happens is wrong. sent4: the healthcare does not occur. sent5: the blackmailing happens if the maxi does not occur. sent6: the maxiness occurs. sent7: if the blackmailing occurs the myocardialness happens. sent8: the gouge and the maxi happens. sent9: the myocardialness does not occur if the fact that the myocardialness happens but the wrapping totemist does not occur does not hold. sent10: if the maxiness occurs both the gouging and the non-atheisticness occurs. sent11: that the blackmailing occurs is not wrong if that both the gouge and the maxiness occurs is wrong. ; $proof$ = 
void -> assump2: Let's assume that the gouging happens.; void -> assump1: Let's assume that the gouge does not occur but the maxi happens.; assump1 -> int1: the gouging does not occur.; assump2 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that not the gouging but the maxiness occurs is wrong.; sent3 & int3 -> int4: the blackmail occurs.; sent7 & int4 -> int5: the myocardialness occurs.; [assump2] & int5 -> hypothesis; __DISPROVED__