the fact that if the jarring thiazine does not occur then the emending shuttered and the DO happens does not hold.
sent1: if the emending horned does not occur then the depressantness occurs. sent2: the DO happens. sent3: the emending shuttered occurs if the epidemiologicness does not occur. sent4: the hopefulness happens. sent5: the tiring Hedysarum occurs and/or the helping does not occur. sent6: the obtruding and/or the non-epidemiologicness occurs if the jarring thiazine happens. sent7: both the emending shuttered and the DO happens if the jarring thiazine occurs. sent8: that the obtruding occurs causes that the emending shuttered happens. sent9: if the jarring thiazine does not occur the obtruding and/or the non-epidemiologicness occurs. sent10: the fact that the slaving happens is correct if the salvificness does not occur.
void -> assump1: Let's assume that the jarring thiazine does not occur.; sent9 & assump1 -> int1: the obtruding and/or the non-epidemiologicness happens.; int1 & sent8 & sent3 -> int2: the emending shuttered happens.; int2 & sent2 -> int3: the emending shuttered and the DO occurs.; [assump1] & int3 -> hypothesis;
$hypothesis$ = the fact that if the jarring thiazine does not occur then the emending shuttered and the DO happens does not hold. ; $context$ = sent1: if the emending horned does not occur then the depressantness occurs. sent2: the DO happens. sent3: the emending shuttered occurs if the epidemiologicness does not occur. sent4: the hopefulness happens. sent5: the tiring Hedysarum occurs and/or the helping does not occur. sent6: the obtruding and/or the non-epidemiologicness occurs if the jarring thiazine happens. sent7: both the emending shuttered and the DO happens if the jarring thiazine occurs. sent8: that the obtruding occurs causes that the emending shuttered happens. sent9: if the jarring thiazine does not occur the obtruding and/or the non-epidemiologicness occurs. sent10: the fact that the slaving happens is correct if the salvificness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the jarring thiazine does not occur.; sent9 & assump1 -> int1: the obtruding and/or the non-epidemiologicness happens.; int1 & sent8 & sent3 -> int2: the emending shuttered happens.; int2 & sent2 -> int3: the emending shuttered and the DO occurs.; [assump1] & int3 -> hypothesis; __DISPROVED__