the fact that if the antrorseness occurs then the narrating plosion occurs and the instrument does not occur does not hold.
sent1: that the totaling but not the sarcosomalness happens is triggered by the chopping. sent2: that the subjecting vizier happens hold. sent3: the truckling happens. sent4: the stimulation occurs. sent5: the unthematicness does not occur. sent6: the disjunction occurs. sent7: the management occurs. sent8: if the unionness happens the instrument does not occur. sent9: that the narrating plosion happens hold if the antrorseness occurs. sent10: the disconnection does not occur. sent11: the disjunction occurs and the cutinizing inhabitant does not occur. sent12: the union happens. sent13: the backwardness happens. sent14: if the subjecting vizier occurs the loping does not occur. sent15: that the stimulation happens causes the non-bureaucraticness.
void -> assump1: Let's assume that the antrorseness happens.; sent9 & assump1 -> int1: the narrating plosion happens.; sent8 & sent12 -> int2: the instrumenting does not occur.; int1 & int2 -> int3: the narrating plosion happens but the instrumenting does not occur.; [assump1] & int3 -> hypothesis;
$hypothesis$ = the fact that if the antrorseness occurs then the narrating plosion occurs and the instrument does not occur does not hold. ; $context$ = sent1: that the totaling but not the sarcosomalness happens is triggered by the chopping. sent2: that the subjecting vizier happens hold. sent3: the truckling happens. sent4: the stimulation occurs. sent5: the unthematicness does not occur. sent6: the disjunction occurs. sent7: the management occurs. sent8: if the unionness happens the instrument does not occur. sent9: that the narrating plosion happens hold if the antrorseness occurs. sent10: the disconnection does not occur. sent11: the disjunction occurs and the cutinizing inhabitant does not occur. sent12: the union happens. sent13: the backwardness happens. sent14: if the subjecting vizier occurs the loping does not occur. sent15: that the stimulation happens causes the non-bureaucraticness. ; $proof$ = 
void -> assump1: Let's assume that the antrorseness happens.; sent9 & assump1 -> int1: the narrating plosion happens.; sent8 & sent12 -> int2: the instrumenting does not occur.; int1 & int2 -> int3: the narrating plosion happens but the instrumenting does not occur.; [assump1] & int3 -> hypothesis; __DISPROVED__