that the antagonisticness triggers that the disturbing occurs does not hold.
sent1: the scrambling anterior is triggered by the anatropousness. sent2: that the doctoring variation does not occur is triggered by that both the scrambling anterior and the antagonisticness occurs. sent3: the noncollapsibleness happens. sent4: the Ottomanness does not occur if the immunotherapy happens and the foreshowing Slovene occurs. sent5: if the doctoring variation does not occur the disturbing happens. sent6: the hypothecating prescriptivism happens. sent7: the doctoring feminization happens if the athleticness does not occur. sent8: the valedictoriness and the makeready occurs. sent9: the anatropousness happens if the noncollapsibleness occurs.
sent9 & sent3 -> int1: the anatropousness occurs.; sent1 & int1 -> int2: the scrambling anterior happens.; void -> assump1: Let's assume that the antagonisticness happens.; int2 & assump1 -> int3: the scrambling anterior and the antagonisticness occurs.; sent2 & int3 -> int4: that the doctoring variation occurs is not true.; sent5 & int4 -> int5: the disturbing happens.; [assump1] & int5 -> hypothesis;
$hypothesis$ = that the antagonisticness triggers that the disturbing occurs does not hold. ; $context$ = sent1: the scrambling anterior is triggered by the anatropousness. sent2: that the doctoring variation does not occur is triggered by that both the scrambling anterior and the antagonisticness occurs. sent3: the noncollapsibleness happens. sent4: the Ottomanness does not occur if the immunotherapy happens and the foreshowing Slovene occurs. sent5: if the doctoring variation does not occur the disturbing happens. sent6: the hypothecating prescriptivism happens. sent7: the doctoring feminization happens if the athleticness does not occur. sent8: the valedictoriness and the makeready occurs. sent9: the anatropousness happens if the noncollapsibleness occurs. ; $proof$ = 
sent9 & sent3 -> int1: the anatropousness occurs.; sent1 & int1 -> int2: the scrambling anterior happens.; void -> assump1: Let's assume that the antagonisticness happens.; int2 & assump1 -> int3: the scrambling anterior and the antagonisticness occurs.; sent2 & int3 -> int4: that the doctoring variation occurs is not true.; sent5 & int4 -> int5: the disturbing happens.; [assump1] & int5 -> hypothesis; __DISPROVED__