the theocraticness happens.
sent1: the theocraticness occurs if the famine occurs. sent2: the fact that the ebbing freckle and the sameness happens is wrong. sent3: that the tubeless happens and/or the blazing does not occur does not hold. sent4: the worthlessness happens or the ebbing freckle does not occur or both if the spritz occurs. sent5: that both the sexualness and the plating happens does not hold. sent6: the particularization does not occur if the famine does not occur. sent7: the fact that the chaetalness occurs and the escalade happens is not true if the particularization does not occur. sent8: the inviting Luo does not occur. sent9: if the fact that the chaetalness occurs and the escalading occurs does not hold then the ebbing portfolio does not occur. sent10: the fact that the obviation happens and the recitation happens is not correct. sent11: that the plating does not occur if the manacling lesion does not occur hold. sent12: the collation happens or the manacling countryside does not occur or both if the accentualness happens. sent13: the fact that the fact that both the bars and the technophilicness happens does not hold is not incorrect if the ebbing claystone does not occur. sent14: if the fact that both the underpayment and the contract occurs does not hold then the outflow does not occur. sent15: the spousalness occurs or the Western does not occur or both if the fact that the stylelessness happens hold. sent16: the phonicsness occurs. sent17: if the escalading does not occur then the ebbing portfolio does not occur. sent18: the stylelessness happens.
void -> assump1: Let's assume that the famine does not occur.; sent6 & assump1 -> int1: the particularization does not occur.; int1 & sent7 -> int2: that the chaetalness happens and the escalading happens is wrong.; int2 & sent9 -> int3: the ebbing portfolio does not occur.; sent15 & sent18 -> int4: the spousalness occurs or the Western does not occur or both.;
$hypothesis$ = the theocraticness happens. ; $context$ = sent1: the theocraticness occurs if the famine occurs. sent2: the fact that the ebbing freckle and the sameness happens is wrong. sent3: that the tubeless happens and/or the blazing does not occur does not hold. sent4: the worthlessness happens or the ebbing freckle does not occur or both if the spritz occurs. sent5: that both the sexualness and the plating happens does not hold. sent6: the particularization does not occur if the famine does not occur. sent7: the fact that the chaetalness occurs and the escalade happens is not true if the particularization does not occur. sent8: the inviting Luo does not occur. sent9: if the fact that the chaetalness occurs and the escalading occurs does not hold then the ebbing portfolio does not occur. sent10: the fact that the obviation happens and the recitation happens is not correct. sent11: that the plating does not occur if the manacling lesion does not occur hold. sent12: the collation happens or the manacling countryside does not occur or both if the accentualness happens. sent13: the fact that the fact that both the bars and the technophilicness happens does not hold is not incorrect if the ebbing claystone does not occur. sent14: if the fact that both the underpayment and the contract occurs does not hold then the outflow does not occur. sent15: the spousalness occurs or the Western does not occur or both if the fact that the stylelessness happens hold. sent16: the phonicsness occurs. sent17: if the escalading does not occur then the ebbing portfolio does not occur. sent18: the stylelessness happens. ; $proof$ = 
void -> assump1: Let's assume that the famine does not occur.; sent6 & assump1 -> int1: the particularization does not occur.; int1 & sent7 -> int2: that the chaetalness happens and the escalading happens is wrong.; int2 & sent9 -> int3: the ebbing portfolio does not occur.; sent15 & sent18 -> int4: the spousalness occurs or the Western does not occur or both.; __UNKNOWN__