if the unpreventableness happens then the inedibleness happens.
sent1: the putter happens. sent2: the fact that the smashing rarity occurs and/or the magistracy does not occur is false if the fact that the outwardness does not occur hold. sent3: that the inedibleness happens is brought about by that the piezoelectricity does not occur. sent4: the inedibleness does not occur and the reigning snowball does not occur if that the supervening does not occur is true. sent5: if the fact that both the radiotelephonicness and the charitableness occurs is not correct then the radiotelephonicness does not occur. sent6: the translation occurs. sent7: if the miscarrying Compton occurs the fact that the radiotelephonicness happens but the uncharitableness does not occur is not right. sent8: the supervening does not occur if the driness occurs. sent9: the amnesicness happens. sent10: the polemic does not occur. sent11: that the piezoelectricity occurs leads to that the unpreventableness occurs. sent12: the epigastricness occurs. sent13: the handlelessness does not occur. sent14: the outwardness does not occur if the radiotelephonicness does not occur. sent15: that the miscarrying Compton and the Gandhianness happens is brought about by that the elaboration does not occur. sent16: that both the dry and the smashing reeler occurs is not false if the diapedesis does not occur. sent17: if that the smashing rarity occurs and/or the magistracy does not occur is false then the diapedesis does not occur. sent18: if the fact that not the piezoelectricity but the unpreventableness occurs is not correct then the letting happens. sent19: that the orientation happens is correct. sent20: the smashing reeler does not occur.
void -> assump2: Let's assume that the unpreventableness occurs.;
the letting occurs.
$hypothesis$ = if the unpreventableness happens then the inedibleness happens. ; $context$ = sent1: the putter happens. sent2: the fact that the smashing rarity occurs and/or the magistracy does not occur is false if the fact that the outwardness does not occur hold. sent3: that the inedibleness happens is brought about by that the piezoelectricity does not occur. sent4: the inedibleness does not occur and the reigning snowball does not occur if that the supervening does not occur is true. sent5: if the fact that both the radiotelephonicness and the charitableness occurs is not correct then the radiotelephonicness does not occur. sent6: the translation occurs. sent7: if the miscarrying Compton occurs the fact that the radiotelephonicness happens but the uncharitableness does not occur is not right. sent8: the supervening does not occur if the driness occurs. sent9: the amnesicness happens. sent10: the polemic does not occur. sent11: that the piezoelectricity occurs leads to that the unpreventableness occurs. sent12: the epigastricness occurs. sent13: the handlelessness does not occur. sent14: the outwardness does not occur if the radiotelephonicness does not occur. sent15: that the miscarrying Compton and the Gandhianness happens is brought about by that the elaboration does not occur. sent16: that both the dry and the smashing reeler occurs is not false if the diapedesis does not occur. sent17: if that the smashing rarity occurs and/or the magistracy does not occur is false then the diapedesis does not occur. sent18: if the fact that not the piezoelectricity but the unpreventableness occurs is not correct then the letting happens. sent19: that the orientation happens is correct. sent20: the smashing reeler does not occur. ; $proof$ = 
void -> assump2: Let's assume that the unpreventableness occurs.; __UNKNOWN__