that the hee-hawing does not occur or the micrometry occurs or both is not true.
sent1: if the micrometry does not occur the hee-haw or the breeding or both occurs. sent2: that the trickling does not occur results in that the iliacness happens and the micrometry does not occur. sent3: the deviating disembowelment happens and the iliacness happens. sent4: the trickling does not occur if the fact that both the rupture and the leaching graphologist occurs is not right. sent5: the confrontationalness happens but the breeding does not occur if the congestiveness does not occur. sent6: that the embattling does not occur and/or the fictileness occurs is brought about by that the rioting horde does not occur. sent7: the notification happens. sent8: that the confrontationalness happens but the breeding does not occur results in that the hee-haw does not occur. sent9: that the deviating disembowelment does not occur is caused by that the rioting horde occurs or that the congestiveness happens or both. sent10: that the deviating disembowelment does not occur and the congestiveness happens prevents the rioting horde.
void -> assump1: Let's assume that the congestiveness happens.; assump1 -> int1: the rioting horde happens or the congestiveness happens or both.; int1 & sent9 -> int2: the deviating disembowelment does not occur.; sent3 -> int3: the deviating disembowelment occurs.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the congestiveness does not occur.; int5 & sent5 -> int6: the confrontationalness happens but the breeding does not occur.; int6 & sent8 -> int7: that the hee-haw does not occur is not incorrect.; int7 -> hypothesis;
the embattling does not occur or the fictileness happens or both.
$hypothesis$ = that the hee-hawing does not occur or the micrometry occurs or both is not true. ; $context$ = sent1: if the micrometry does not occur the hee-haw or the breeding or both occurs. sent2: that the trickling does not occur results in that the iliacness happens and the micrometry does not occur. sent3: the deviating disembowelment happens and the iliacness happens. sent4: the trickling does not occur if the fact that both the rupture and the leaching graphologist occurs is not right. sent5: the confrontationalness happens but the breeding does not occur if the congestiveness does not occur. sent6: that the embattling does not occur and/or the fictileness occurs is brought about by that the rioting horde does not occur. sent7: the notification happens. sent8: that the confrontationalness happens but the breeding does not occur results in that the hee-haw does not occur. sent9: that the deviating disembowelment does not occur is caused by that the rioting horde occurs or that the congestiveness happens or both. sent10: that the deviating disembowelment does not occur and the congestiveness happens prevents the rioting horde. ; $proof$ = 
void -> assump1: Let's assume that the congestiveness happens.; assump1 -> int1: the rioting horde happens or the congestiveness happens or both.; int1 & sent9 -> int2: the deviating disembowelment does not occur.; sent3 -> int3: the deviating disembowelment occurs.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the congestiveness does not occur.; int5 & sent5 -> int6: the confrontationalness happens but the breeding does not occur.; int6 & sent8 -> int7: that the hee-haw does not occur is not incorrect.; int7 -> hypothesis; __DISPROVED__