the drooping does not occur and the detailing appointee occurs.
sent1: the fact that the clangoring disorientation does not occur hold if the fact that the drooping does not occur but the detailing appointee occurs is not true. sent2: the knockout does not occur if that the fact that the knockout but not the raise happens is correct is false. sent3: both the non-authorialness and the overlordship occurs. sent4: if the fact that both the softness and the quincentennial occurs is not true the fact that the biotypicness does not occur is not false. sent5: either the capsuling balsamroot does not occur or the shortstop happens or both if the clangoring disorientation does not occur. sent6: the fact that the quincentennialness but not the softness happens is not correct if the downhill does not occur. sent7: the downhill does not occur if the knockout does not occur. sent8: if the barrel and the non-Arthurianness happens the capsuling balsamroot does not occur. sent9: if the capsuling balsamroot does not occur then the shortstop and the clangoring disorientation happens. sent10: that the knockout but not the raise occurs is wrong if the primariness does not occur. sent11: the fact that both the warm-up and the capsuling pincushion occurs is false. sent12: that both the barreling and the non-Arthurianness happens is caused by the non-biotypicness. sent13: if the biotypicness does not occur then that not the barrel but the Arthurianness occurs does not hold. sent14: the presocraticness does not occur. sent15: the Arthurianness does not occur and the barreling does not occur. sent16: that either the capsuling balsamroot does not occur or the shortstop happens or both is incorrect if the fact that that the Arthurianness happens does not hold hold. sent17: the fact that that the drooping does not occur and the detailing appointee happens is right is wrong if the shortstop happens. sent18: the shortstop causes that both the non-curatorialness and the non-Machiavellianness happens. sent19: if the canfield does not occur the detailing theory happens and/or the bionicsness occurs. sent20: if the downhill does not occur that the softness and the quincentennialness happens is incorrect.
void -> assump1: Let's assume that that the drooping does not occur and the detailing appointee happens is wrong.; sent1 & assump1 -> int1: the fact that the clangoring disorientation does not occur is right.; int1 & sent5 -> int2: either the capsuling balsamroot does not occur or the shortstop occurs or both.; sent15 -> int3: the fact that the Arthurianness does not occur is not wrong.; sent16 & int3 -> int4: that the capsuling balsamroot does not occur and/or the shortstop occurs does not hold.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis;
the non-curatorialness and the non-Machiavellianness happens.
$hypothesis$ = the drooping does not occur and the detailing appointee occurs. ; $context$ = sent1: the fact that the clangoring disorientation does not occur hold if the fact that the drooping does not occur but the detailing appointee occurs is not true. sent2: the knockout does not occur if that the fact that the knockout but not the raise happens is correct is false. sent3: both the non-authorialness and the overlordship occurs. sent4: if the fact that both the softness and the quincentennial occurs is not true the fact that the biotypicness does not occur is not false. sent5: either the capsuling balsamroot does not occur or the shortstop happens or both if the clangoring disorientation does not occur. sent6: the fact that the quincentennialness but not the softness happens is not correct if the downhill does not occur. sent7: the downhill does not occur if the knockout does not occur. sent8: if the barrel and the non-Arthurianness happens the capsuling balsamroot does not occur. sent9: if the capsuling balsamroot does not occur then the shortstop and the clangoring disorientation happens. sent10: that the knockout but not the raise occurs is wrong if the primariness does not occur. sent11: the fact that both the warm-up and the capsuling pincushion occurs is false. sent12: that both the barreling and the non-Arthurianness happens is caused by the non-biotypicness. sent13: if the biotypicness does not occur then that not the barrel but the Arthurianness occurs does not hold. sent14: the presocraticness does not occur. sent15: the Arthurianness does not occur and the barreling does not occur. sent16: that either the capsuling balsamroot does not occur or the shortstop happens or both is incorrect if the fact that that the Arthurianness happens does not hold hold. sent17: the fact that that the drooping does not occur and the detailing appointee happens is right is wrong if the shortstop happens. sent18: the shortstop causes that both the non-curatorialness and the non-Machiavellianness happens. sent19: if the canfield does not occur the detailing theory happens and/or the bionicsness occurs. sent20: if the downhill does not occur that the softness and the quincentennialness happens is incorrect. ; $proof$ = 
void -> assump1: Let's assume that that the drooping does not occur and the detailing appointee happens is wrong.; sent1 & assump1 -> int1: the fact that the clangoring disorientation does not occur is right.; int1 & sent5 -> int2: either the capsuling balsamroot does not occur or the shortstop occurs or both.; sent15 -> int3: the fact that the Arthurianness does not occur is not wrong.; sent16 & int3 -> int4: that the capsuling balsamroot does not occur and/or the shortstop occurs does not hold.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis; __PROVED__