the proprioceptiveness does not occur.
sent1: the fact that if the high-interestness does not occur the fatigue occurs but the sighing hemosiderin does not occur is not incorrect. sent2: the proprioceptiveness does not occur if that the self-discovery does not occur and the molarness happens is incorrect. sent3: that the sighing WMD does not occur leads to that the CABG happens and the sighing organization happens. sent4: if that that the sighing WMD and the fatigue occurs is not correct is correct the sighing WMD does not occur. sent5: both the motleying and the animation happens if that the leveling meniscectomy does not occur is correct. sent6: that the manhunt does not occur results in either that the fidgeting vamp does not occur or the non-three-wheelness or both. sent7: the high-interestness does not occur. sent8: the sighing organization does not occur if the fatigue but not the sighing hemosiderin occurs. sent9: if the whittling does not occur and the leadenness happens then the manhunt does not occur. sent10: that the self-discovery does not occur yields that the proprioceptiveness happens and the sighing WMD happens. sent11: if that the leveling Abruzzi but not the nonaddictiveness occurs does not hold then that the leveling meniscectomy does not occur is correct. sent12: the sighing organization happens if the CABG does not occur. sent13: that the leveling Abruzzi happens and the nonaddictiveness does not occur is not right. sent14: the CABG does not occur if the molar and the self-discovery happens. sent15: the sighing WMD happens. sent16: the molar happens. sent17: the fact that both the thermocautery and the non-high-interestness happens is not true if the wringing happens. sent18: if the motley occurs then the whittling does not occur but the leadenness occurs.
void -> assump1: Let's assume that the self-discovery occurs.; sent16 & assump1 -> int1: the molarness occurs and the self-discovery happens.; int1 & sent14 -> int2: the CABG does not occur.; int2 & sent12 -> int3: the sighing organization happens.; sent1 & sent7 -> int4: the fatigue occurs but the sighing hemosiderin does not occur.; sent8 & int4 -> int5: the sighing organization does not occur.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the self-discovery does not occur.; int7 & sent10 -> int8: both the proprioceptiveness and the sighing WMD happens.; int8 -> hypothesis;
the proprioceptiveness does not occur.
sent11 & sent13 -> int9: the fact that the leveling meniscectomy does not occur is right.; sent5 & int9 -> int10: the motley happens and the animation happens.; int10 -> int11: the motleying occurs.; sent18 & int11 -> int12: not the whittling but the leadenness happens.; sent9 & int12 -> int13: the manhunt does not occur.; sent6 & int13 -> int14: either the fidgeting vamp does not occur or the three-wheelness does not occur or both.;
$hypothesis$ = the proprioceptiveness does not occur. ; $context$ = sent1: the fact that if the high-interestness does not occur the fatigue occurs but the sighing hemosiderin does not occur is not incorrect. sent2: the proprioceptiveness does not occur if that the self-discovery does not occur and the molarness happens is incorrect. sent3: that the sighing WMD does not occur leads to that the CABG happens and the sighing organization happens. sent4: if that that the sighing WMD and the fatigue occurs is not correct is correct the sighing WMD does not occur. sent5: both the motleying and the animation happens if that the leveling meniscectomy does not occur is correct. sent6: that the manhunt does not occur results in either that the fidgeting vamp does not occur or the non-three-wheelness or both. sent7: the high-interestness does not occur. sent8: the sighing organization does not occur if the fatigue but not the sighing hemosiderin occurs. sent9: if the whittling does not occur and the leadenness happens then the manhunt does not occur. sent10: that the self-discovery does not occur yields that the proprioceptiveness happens and the sighing WMD happens. sent11: if that the leveling Abruzzi but not the nonaddictiveness occurs does not hold then that the leveling meniscectomy does not occur is correct. sent12: the sighing organization happens if the CABG does not occur. sent13: that the leveling Abruzzi happens and the nonaddictiveness does not occur is not right. sent14: the CABG does not occur if the molar and the self-discovery happens. sent15: the sighing WMD happens. sent16: the molar happens. sent17: the fact that both the thermocautery and the non-high-interestness happens is not true if the wringing happens. sent18: if the motley occurs then the whittling does not occur but the leadenness occurs. ; $proof$ = 
void -> assump1: Let's assume that the self-discovery occurs.; sent16 & assump1 -> int1: the molarness occurs and the self-discovery happens.; int1 & sent14 -> int2: the CABG does not occur.; int2 & sent12 -> int3: the sighing organization happens.; sent1 & sent7 -> int4: the fatigue occurs but the sighing hemosiderin does not occur.; sent8 & int4 -> int5: the sighing organization does not occur.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the self-discovery does not occur.; int7 & sent10 -> int8: both the proprioceptiveness and the sighing WMD happens.; int8 -> hypothesis; __DISPROVED__