that the exclaiming chlamydospore occurs brings about that the deep-seaness happens but the summation does not occur.
sent1: that the spasm happens is prevented by that either the non-diametricness or the runaway or both happens. sent2: if that the exclaiming cupflower does not occur hold then the codification happens. sent3: the fact that the assortment and the exclaiming sloppiness happens is not correct. sent4: that the exclaiming chlamydospore does not occur is caused by that the honoring does not occur. sent5: if the integration does not occur the fact that the exclaiming cupflower happens and the exclaiming pizzeria occurs is wrong. sent6: the fact that the stemmaticness does not occur is not false. sent7: both the pursuance and the non-valetudinarianness occurs. sent8: if that the exclaiming cupflower and the exclaiming pizzeria happens is not correct then the exclaiming cupflower does not occur. sent9: the displacement occurs. sent10: the exclaiming chlamydospore does not occur if the honoring does not occur or the Wordsworthianness occurs or both. sent11: the launching but not the Bayesianness happens if the recurrence happens. sent12: the integration does not occur. sent13: the dermatologicness and the Bayesianness occurs. sent14: the summation brings about that the honoring does not occur or the Wordsworthianness or both. sent15: the honoring happens and/or the Wordsworthianness happens if the summation occurs. sent16: the exclaiming chlamydospore happens if the honoring does not occur and/or the Wordsworthianness occurs. sent17: the codification occurs. sent18: both the pinning numismatist and the angiospermousness happens. sent19: the honoring and/or the Wordsworthianness happens. sent20: if the fact that the exclaiming cupflower does not occur is not incorrect the codification and the deep-sea happens.
void -> assump2: Let's assume that the summation occurs.; sent14 & assump2 -> int1: the honoring does not occur and/or the Wordsworthianness happens.; int1 & sent10 -> int2: the exclaiming chlamydospore does not occur.; void -> assump1: Let's assume that the exclaiming chlamydospore occurs.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the summation does not occur.; sent5 & sent12 -> int5: the fact that the exclaiming cupflower occurs and the exclaiming pizzeria occurs is false.; sent8 & int5 -> int6: the exclaiming cupflower does not occur.; sent20 & int6 -> int7: both the codification and the deep-sea happens.; int7 -> int8: the deep-seaness occurs.; int4 & int8 -> int9: the deep-seaness but not the summation occurs.; [assump1] & int9 -> hypothesis;
$hypothesis$ = that the exclaiming chlamydospore occurs brings about that the deep-seaness happens but the summation does not occur. ; $context$ = sent1: that the spasm happens is prevented by that either the non-diametricness or the runaway or both happens. sent2: if that the exclaiming cupflower does not occur hold then the codification happens. sent3: the fact that the assortment and the exclaiming sloppiness happens is not correct. sent4: that the exclaiming chlamydospore does not occur is caused by that the honoring does not occur. sent5: if the integration does not occur the fact that the exclaiming cupflower happens and the exclaiming pizzeria occurs is wrong. sent6: the fact that the stemmaticness does not occur is not false. sent7: both the pursuance and the non-valetudinarianness occurs. sent8: if that the exclaiming cupflower and the exclaiming pizzeria happens is not correct then the exclaiming cupflower does not occur. sent9: the displacement occurs. sent10: the exclaiming chlamydospore does not occur if the honoring does not occur or the Wordsworthianness occurs or both. sent11: the launching but not the Bayesianness happens if the recurrence happens. sent12: the integration does not occur. sent13: the dermatologicness and the Bayesianness occurs. sent14: the summation brings about that the honoring does not occur or the Wordsworthianness or both. sent15: the honoring happens and/or the Wordsworthianness happens if the summation occurs. sent16: the exclaiming chlamydospore happens if the honoring does not occur and/or the Wordsworthianness occurs. sent17: the codification occurs. sent18: both the pinning numismatist and the angiospermousness happens. sent19: the honoring and/or the Wordsworthianness happens. sent20: if the fact that the exclaiming cupflower does not occur is not incorrect the codification and the deep-sea happens. ; $proof$ = 
void -> assump2: Let's assume that the summation occurs.; sent14 & assump2 -> int1: the honoring does not occur and/or the Wordsworthianness happens.; int1 & sent10 -> int2: the exclaiming chlamydospore does not occur.; void -> assump1: Let's assume that the exclaiming chlamydospore occurs.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the summation does not occur.; sent5 & sent12 -> int5: the fact that the exclaiming cupflower occurs and the exclaiming pizzeria occurs is false.; sent8 & int5 -> int6: the exclaiming cupflower does not occur.; sent20 & int6 -> int7: both the codification and the deep-sea happens.; int7 -> int8: the deep-seaness occurs.; int4 & int8 -> int9: the deep-seaness but not the summation occurs.; [assump1] & int9 -> hypothesis; __PROVED__