the thrombosing mugging does not occur.
sent1: the spectating mock-up does not occur. sent2: the non-necromanticness prevents that the mimicry does not occur. sent3: that the viceroyship and the thrombosing mugging occurs prevents that the necromanticness happens. sent4: the mimicry happens. sent5: the affectation does not occur if that the disembowelment occurs is correct. sent6: that the affectation happens and the mimicry occurs is brought about by that the necromanticness does not occur. sent7: the disembowelment occurs. sent8: the trouble occurs. sent9: the crosscheck happens. sent10: if the trouble happens that the viceroyship happens is not wrong. sent11: the fact that both the viceroyship and the non-necromanticness occurs is incorrect if the mimicry does not occur.
sent10 & sent8 -> int1: the viceroyship happens.; void -> assump1: Let's assume that the thrombosing mugging occurs.; int1 & assump1 -> int2: the viceroyship happens and the thrombosing mugging occurs.; int2 & sent3 -> int3: the necromanticness does not occur.; int3 & sent6 -> int4: the affectation and the mimicry happens.; int4 -> int5: the affectation happens.; sent5 & sent7 -> int6: the affectation does not occur.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis;
the thrombosing mugging happens.
$hypothesis$ = the thrombosing mugging does not occur. ; $context$ = sent1: the spectating mock-up does not occur. sent2: the non-necromanticness prevents that the mimicry does not occur. sent3: that the viceroyship and the thrombosing mugging occurs prevents that the necromanticness happens. sent4: the mimicry happens. sent5: the affectation does not occur if that the disembowelment occurs is correct. sent6: that the affectation happens and the mimicry occurs is brought about by that the necromanticness does not occur. sent7: the disembowelment occurs. sent8: the trouble occurs. sent9: the crosscheck happens. sent10: if the trouble happens that the viceroyship happens is not wrong. sent11: the fact that both the viceroyship and the non-necromanticness occurs is incorrect if the mimicry does not occur. ; $proof$ = 
sent10 & sent8 -> int1: the viceroyship happens.; void -> assump1: Let's assume that the thrombosing mugging occurs.; int1 & assump1 -> int2: the viceroyship happens and the thrombosing mugging occurs.; int2 & sent3 -> int3: the necromanticness does not occur.; int3 & sent6 -> int4: the affectation and the mimicry happens.; int4 -> int5: the affectation happens.; sent5 & sent7 -> int6: the affectation does not occur.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis; __PROVED__