the fact that if the exalting archil does not occur then the disagreement does not occur is wrong.
sent1: the swamping cadaver does not occur. sent2: that the accusative happens is triggered by that the hoe does not occur. sent3: the fact that not the subsurfaceness but the swamping hypocycloid happens does not hold. sent4: the anabolicness happens if the stupefaction happens. sent5: the fouling occurs. sent6: the unobtrusiveness occurs if the fact that the unobtrusiveness does not occur and the opinion does not occur is wrong. sent7: the collectivization occurs and the perceiving trabecula happens. sent8: the Sabbatarian occurs. sent9: the peregrination happens. sent10: the disagreement happens if the fact that the exalting archil does not occur is not wrong. sent11: if the anabolicness happens the opinion occurs. sent12: the perceiving memento happens if the perceiving topaz does not occur. sent13: if the fact that both the non-subsurfaceness and the swamping hypocycloid occurs is not right the swamping hypocycloid does not occur. sent14: that the disagreement does not occur is brought about by that the opinion occurs and the excitableness happens. sent15: that the excitableness occurs and the foul happens is triggered by that the swamping hypocycloid does not occur. sent16: that the stupefaction does not occur is prevented by that the exalting archil does not occur.
void -> assump1: Let's assume that the exalting archil does not occur.; sent16 & assump1 -> int1: the stupefaction happens.; int1 & sent4 -> int2: the anabolicness happens.; int2 & sent11 -> int3: the fact that the opinion occurs is not false.; sent13 & sent3 -> int4: the swamping hypocycloid does not occur.; sent15 & int4 -> int5: that both the excitableness and the foul happens is not false.; int5 -> int6: the excitableness occurs.; int3 & int6 -> int7: the opinion and the excitableness occurs.; int7 & sent14 -> int8: the disagreement does not occur.; [assump1] & int8 -> hypothesis;
both the stimulativeness and the unobtrusiveness happens.
$hypothesis$ = the fact that if the exalting archil does not occur then the disagreement does not occur is wrong. ; $context$ = sent1: the swamping cadaver does not occur. sent2: that the accusative happens is triggered by that the hoe does not occur. sent3: the fact that not the subsurfaceness but the swamping hypocycloid happens does not hold. sent4: the anabolicness happens if the stupefaction happens. sent5: the fouling occurs. sent6: the unobtrusiveness occurs if the fact that the unobtrusiveness does not occur and the opinion does not occur is wrong. sent7: the collectivization occurs and the perceiving trabecula happens. sent8: the Sabbatarian occurs. sent9: the peregrination happens. sent10: the disagreement happens if the fact that the exalting archil does not occur is not wrong. sent11: if the anabolicness happens the opinion occurs. sent12: the perceiving memento happens if the perceiving topaz does not occur. sent13: if the fact that both the non-subsurfaceness and the swamping hypocycloid occurs is not right the swamping hypocycloid does not occur. sent14: that the disagreement does not occur is brought about by that the opinion occurs and the excitableness happens. sent15: that the excitableness occurs and the foul happens is triggered by that the swamping hypocycloid does not occur. sent16: that the stupefaction does not occur is prevented by that the exalting archil does not occur. ; $proof$ = 
void -> assump1: Let's assume that the exalting archil does not occur.; sent16 & assump1 -> int1: the stupefaction happens.; int1 & sent4 -> int2: the anabolicness happens.; int2 & sent11 -> int3: the fact that the opinion occurs is not false.; sent13 & sent3 -> int4: the swamping hypocycloid does not occur.; sent15 & int4 -> int5: that both the excitableness and the foul happens is not false.; int5 -> int6: the excitableness occurs.; int3 & int6 -> int7: the opinion and the excitableness occurs.; int7 & sent14 -> int8: the disagreement does not occur.; [assump1] & int8 -> hypothesis; __DISPROVED__