the sympathectomy does not occur.
sent1: that the disposition occurs hold. sent2: if the oxygenating spectrometer does not occur the remedying occurs. sent3: the updating block happens. sent4: that the jogging happens and the ovoviviparousness occurs is caused by the non-buteonineness. sent5: the fact that the oxygenating spectrometer happens and the sympathectomy occurs is incorrect if the cytokineticness does not occur. sent6: the jogging occurs. sent7: the homestretch happens or the updating Geneva does not occur or both if the cytokineticness happens. sent8: the remedy happens. sent9: if the fact that the updating Geneva does not occur is right the masquerade happens. sent10: that the oxygenating spectrometer occurs results in the cytokineticness. sent11: the fact that the buteonine does not occur is not false. sent12: the putting happens or the thronging does not occur or both. sent13: the grammaticalness happens if the impropriety does not occur. sent14: both the non-ovoviviparousness and the remedying happens if the oxygenating spectrometer does not occur. sent15: the fact that the masquerading does not occur and the sympathectomy happens is not right if the jogging happens. sent16: if the masquerade happens the sympathectomy occurs. sent17: the ultimateness happens if the roboticness does not occur. sent18: that the homestretch happens brings about the masquerade. sent19: the obedience occurs. sent20: the sympathectomy does not occur if the fact that both the oxygenating spectrometer and the sympathectomy occurs is not right. sent21: if the mud-brickness does not occur the spudding occurs. sent22: the jogging occurs if the buteonineness does not occur.
void -> assump1: Let's assume that the oxygenating spectrometer does not occur.; sent14 & assump1 -> int1: the non-ovoviviparousness and the remedying happens.; int1 -> int2: the ovoviviparousness does not occur.; sent4 & sent11 -> int3: both the jogging and the ovoviviparousness happens.; int3 -> int4: the fact that the ovoviviparousness occurs is true.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that the oxygenating spectrometer happens is true.; int6 & sent10 -> int7: the cytokineticness happens.; int7 & sent7 -> int8: either the homestretch occurs or the updating Geneva does not occur or both.; int8 & sent18 & sent9 -> int9: the masquerading occurs.; int9 & sent16 -> hypothesis;
the sympathectomy does not occur.
$hypothesis$ = the sympathectomy does not occur. ; $context$ = sent1: that the disposition occurs hold. sent2: if the oxygenating spectrometer does not occur the remedying occurs. sent3: the updating block happens. sent4: that the jogging happens and the ovoviviparousness occurs is caused by the non-buteonineness. sent5: the fact that the oxygenating spectrometer happens and the sympathectomy occurs is incorrect if the cytokineticness does not occur. sent6: the jogging occurs. sent7: the homestretch happens or the updating Geneva does not occur or both if the cytokineticness happens. sent8: the remedy happens. sent9: if the fact that the updating Geneva does not occur is right the masquerade happens. sent10: that the oxygenating spectrometer occurs results in the cytokineticness. sent11: the fact that the buteonine does not occur is not false. sent12: the putting happens or the thronging does not occur or both. sent13: the grammaticalness happens if the impropriety does not occur. sent14: both the non-ovoviviparousness and the remedying happens if the oxygenating spectrometer does not occur. sent15: the fact that the masquerading does not occur and the sympathectomy happens is not right if the jogging happens. sent16: if the masquerade happens the sympathectomy occurs. sent17: the ultimateness happens if the roboticness does not occur. sent18: that the homestretch happens brings about the masquerade. sent19: the obedience occurs. sent20: the sympathectomy does not occur if the fact that both the oxygenating spectrometer and the sympathectomy occurs is not right. sent21: if the mud-brickness does not occur the spudding occurs. sent22: the jogging occurs if the buteonineness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the oxygenating spectrometer does not occur.; sent14 & assump1 -> int1: the non-ovoviviparousness and the remedying happens.; int1 -> int2: the ovoviviparousness does not occur.; sent4 & sent11 -> int3: both the jogging and the ovoviviparousness happens.; int3 -> int4: the fact that the ovoviviparousness occurs is true.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that the oxygenating spectrometer happens is true.; int6 & sent10 -> int7: the cytokineticness happens.; int7 & sent7 -> int8: either the homestretch occurs or the updating Geneva does not occur or both.; int8 & sent18 & sent9 -> int9: the masquerading occurs.; int9 & sent16 -> hypothesis; __DISPROVED__