the fact that either the commercializing abrogation or the bathing hop-step-and-jump or both happens is not true.
sent1: the Arminian occurs. sent2: the fact that the tug-of-war does not occur hold if the plumbing but not the Western occurs. sent3: that the beef does not occur is prevented by the Arminian. sent4: that the tug-of-war does not occur causes that either the capillarity happens or the tremor does not occur or both. sent5: if the beef occurs then the commercializing abrogation occurs.
sent3 & sent1 -> int1: the beef occurs.; sent5 & int1 -> int2: the commercializing abrogation happens.; int2 -> hypothesis;
the untidiness occurs.
$hypothesis$ = the fact that either the commercializing abrogation or the bathing hop-step-and-jump or both happens is not true. ; $context$ = sent1: the Arminian occurs. sent2: the fact that the tug-of-war does not occur hold if the plumbing but not the Western occurs. sent3: that the beef does not occur is prevented by the Arminian. sent4: that the tug-of-war does not occur causes that either the capillarity happens or the tremor does not occur or both. sent5: if the beef occurs then the commercializing abrogation occurs. ; $proof$ = 
sent3 & sent1 -> int1: the beef occurs.; sent5 & int1 -> int2: the commercializing abrogation happens.; int2 -> hypothesis; __DISPROVED__