the scorching happens.
sent1: that the binding Echidnophaga does not occur prevents that the piquing patriarchy does not occur. sent2: the binding Echidnophaga does not occur if the carunculateness does not occur and the frisking horsehair does not occur. sent3: that the expulsion happens is prevented by the piquing Artocarpus or that the piquing snowplow does not occur or both. sent4: the binding Physeter occurs. sent5: the earful happens. sent6: that the indelicateness but not the muffling occurs results in that the expulsion does not occur. sent7: that the scorching and the piquing Artocarpus happens does not hold if the piquing snowplow does not occur. sent8: that both the cooling and the inconsiderableness occurs is triggered by that the expulsion does not occur. sent9: both the vagary and the anglicising Athyrium occurs. sent10: if the maxillomandibularness does not occur the indelicateness but not the muffling happens. sent11: the carunculateness does not occur. sent12: if the earful does not occur and the federalization does not occur then the piquing snowplow does not occur. sent13: the non-short-orderness yields that both the non-inferentialness and the non-maxillomandibularness occurs. sent14: the short-orderness does not occur if that not the frisking pluck but the short-orderness happens is not correct. sent15: that the piquing snowplow does not occur is right if the fact that the federalization and the earful happens is wrong. sent16: if the piquing snowplow happens or the piquing Artocarpus occurs or both then the earful does not occur. sent17: the anglicising regur does not occur if the infliction or the on-the-jobness or both occurs. sent18: that the frisking pluck does not occur and the short-orderness happens is not true if the binding gentianella does not occur. sent19: if the fact that the moderating does not occur and the corrections does not occur is false the fact that the frisking horsehair does not occur is not wrong. sent20: that the binding gentianella does not occur and the frisking cityscape does not occur is triggered by that the piquing patriarchy happens. sent21: the federalization causes that the scorching occurs. sent22: if the piquing Artocarpus does not occur both the federalization and the cooling happens.
void -> assump1: Let's assume that the piquing Artocarpus occurs.; assump1 -> int1: either the piquing snowplow happens or the piquing Artocarpus happens or both.; int1 & sent16 -> int2: the earful does not occur.; int2 & sent5 -> int3: this is contradiction.; [assump1] & int3 -> int4: the piquing Artocarpus does not occur.; int4 & sent22 -> int5: the federalization and the coolness happens.; int5 -> int6: the federalization occurs.; int6 & sent21 -> hypothesis;
the fact that the scorch does not occur is true.
$hypothesis$ = the scorching happens. ; $context$ = sent1: that the binding Echidnophaga does not occur prevents that the piquing patriarchy does not occur. sent2: the binding Echidnophaga does not occur if the carunculateness does not occur and the frisking horsehair does not occur. sent3: that the expulsion happens is prevented by the piquing Artocarpus or that the piquing snowplow does not occur or both. sent4: the binding Physeter occurs. sent5: the earful happens. sent6: that the indelicateness but not the muffling occurs results in that the expulsion does not occur. sent7: that the scorching and the piquing Artocarpus happens does not hold if the piquing snowplow does not occur. sent8: that both the cooling and the inconsiderableness occurs is triggered by that the expulsion does not occur. sent9: both the vagary and the anglicising Athyrium occurs. sent10: if the maxillomandibularness does not occur the indelicateness but not the muffling happens. sent11: the carunculateness does not occur. sent12: if the earful does not occur and the federalization does not occur then the piquing snowplow does not occur. sent13: the non-short-orderness yields that both the non-inferentialness and the non-maxillomandibularness occurs. sent14: the short-orderness does not occur if that not the frisking pluck but the short-orderness happens is not correct. sent15: that the piquing snowplow does not occur is right if the fact that the federalization and the earful happens is wrong. sent16: if the piquing snowplow happens or the piquing Artocarpus occurs or both then the earful does not occur. sent17: the anglicising regur does not occur if the infliction or the on-the-jobness or both occurs. sent18: that the frisking pluck does not occur and the short-orderness happens is not true if the binding gentianella does not occur. sent19: if the fact that the moderating does not occur and the corrections does not occur is false the fact that the frisking horsehair does not occur is not wrong. sent20: that the binding gentianella does not occur and the frisking cityscape does not occur is triggered by that the piquing patriarchy happens. sent21: the federalization causes that the scorching occurs. sent22: if the piquing Artocarpus does not occur both the federalization and the cooling happens. ; $proof$ = 
void -> assump1: Let's assume that the piquing Artocarpus occurs.; assump1 -> int1: either the piquing snowplow happens or the piquing Artocarpus happens or both.; int1 & sent16 -> int2: the earful does not occur.; int2 & sent5 -> int3: this is contradiction.; [assump1] & int3 -> int4: the piquing Artocarpus does not occur.; int4 & sent22 -> int5: the federalization and the coolness happens.; int5 -> int6: the federalization occurs.; int6 & sent21 -> hypothesis; __PROVED__