the lexicostatisticsness occurs.
sent1: if the fact that the lexicostatisticsness and the parching happens is incorrect then the lexicostatisticsness does not occur. sent2: the sexualness occurs if the parching happens. sent3: the spotting vehemence occurs. sent4: the spotting tumidity occurs and/or the pacing does not occur if the leisure does not occur. sent5: the fact that not the parching but the lexicostatisticsness occurs is not right if the sexualness does not occur. sent6: if the archaizing happens the reprieving occurs. sent7: if not the pacing but the reprieve happens then the lexicostatisticsness happens. sent8: the leisure does not occur but the actuarialness occurs. sent9: if the sexualness does not occur the fact that the fact that the causativeness and the parching occurs is not false is not correct. sent10: the fact that not the spotting tumidity but the leisure happens is incorrect if the actuarialness does not occur. sent11: the archaizing happens if the sexualness occurs. sent12: that the parching does not occur yields that both the non-flakiness and the alvineness occurs. sent13: the self-discipline is triggered by that the parching does not occur and the sexualness does not occur. sent14: that not the pituitary but the nonthermalness occurs is incorrect. sent15: if the sexualness does not occur the fact that the lexicostatisticsness occurs and the parching occurs is not right. sent16: if the fact that the pacing does not occur is not right the fact that the reprieving occurs and the archaizing does not occur is incorrect. sent17: the causativeness does not occur if the fact that the causativeness happens and the parching occurs is not correct. sent18: the pacing does not occur if the spotting tumidity happens and/or the pacing does not occur. sent19: the resistance does not occur but the maleficentness occurs.
void -> assump1: Let's assume that the parching does not occur.; sent12 & assump1 -> int1: the flakiness does not occur but the alvineness occurs.; sent8 -> int2: the leisure does not occur.; sent4 & int2 -> int3: either the spotting tumidity occurs or the pacing does not occur or both.; sent18 & int3 -> int4: the pacing does not occur.;
the self-discipline happens.
$hypothesis$ = the lexicostatisticsness occurs. ; $context$ = sent1: if the fact that the lexicostatisticsness and the parching happens is incorrect then the lexicostatisticsness does not occur. sent2: the sexualness occurs if the parching happens. sent3: the spotting vehemence occurs. sent4: the spotting tumidity occurs and/or the pacing does not occur if the leisure does not occur. sent5: the fact that not the parching but the lexicostatisticsness occurs is not right if the sexualness does not occur. sent6: if the archaizing happens the reprieving occurs. sent7: if not the pacing but the reprieve happens then the lexicostatisticsness happens. sent8: the leisure does not occur but the actuarialness occurs. sent9: if the sexualness does not occur the fact that the fact that the causativeness and the parching occurs is not false is not correct. sent10: the fact that not the spotting tumidity but the leisure happens is incorrect if the actuarialness does not occur. sent11: the archaizing happens if the sexualness occurs. sent12: that the parching does not occur yields that both the non-flakiness and the alvineness occurs. sent13: the self-discipline is triggered by that the parching does not occur and the sexualness does not occur. sent14: that not the pituitary but the nonthermalness occurs is incorrect. sent15: if the sexualness does not occur the fact that the lexicostatisticsness occurs and the parching occurs is not right. sent16: if the fact that the pacing does not occur is not right the fact that the reprieving occurs and the archaizing does not occur is incorrect. sent17: the causativeness does not occur if the fact that the causativeness happens and the parching occurs is not correct. sent18: the pacing does not occur if the spotting tumidity happens and/or the pacing does not occur. sent19: the resistance does not occur but the maleficentness occurs. ; $proof$ = 
void -> assump1: Let's assume that the parching does not occur.; sent12 & assump1 -> int1: the flakiness does not occur but the alvineness occurs.; sent8 -> int2: the leisure does not occur.; sent4 & int2 -> int3: either the spotting tumidity occurs or the pacing does not occur or both.; sent18 & int3 -> int4: the pacing does not occur.; __UNKNOWN__