the centralization does not occur and/or the rhetoricalness occurs.
sent1: the humming quodlibet does not occur. sent2: if the fact that the intrapulmonariness occurs is right then the dab happens. sent3: the impression is caused by the fog. sent4: that the fog happens is true. sent5: that the piscatorialness happens is not wrong if the dab happens. sent6: the keratinizing D.C. brings about that the intrapulmonariness occurs. sent7: if the humming quodlibet occurs then the imitativeness does not occur. sent8: either the centralization or the rhetoricalness or both is caused by that the imitativeness does not occur. sent9: if the piscatorialness does not occur or the impression happens or both then the piscatorialness does not occur. sent10: that the shushing swiz occurs is correct if the shushing Ancylostomatidae occurs. sent11: if the imitativeness does not occur the centralization does not occur and/or the rhetoricalness happens. sent12: that the smash does not occur causes either that the cycling does not occur or that the weightiness happens or both. sent13: if that not the humming quodlibet but the keratinizing D.C. happens is false the imitativeness does not occur.
void -> assump1: Let's assume that the humming quodlibet does not occur and the keratinizing D.C. occurs.; assump1 -> int1: the fact that the keratinizing D.C. happens hold.; int1 & sent6 -> int2: the intrapulmonariness occurs.; int2 & sent2 -> int3: the dabbing occurs.; int3 & sent5 -> int4: the piscatorialness happens.; sent3 & sent4 -> int5: the impression occurs.; int5 -> int6: the non-piscatorialness or the impression or both happens.; sent9 & int6 -> int7: the piscatorialness does not occur.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: that not the humming quodlibet but the keratinizing D.C. happens does not hold.; int9 & sent13 -> int10: the imitativeness does not occur.; int10 & sent11 -> hypothesis;
$hypothesis$ = the centralization does not occur and/or the rhetoricalness occurs. ; $context$ = sent1: the humming quodlibet does not occur. sent2: if the fact that the intrapulmonariness occurs is right then the dab happens. sent3: the impression is caused by the fog. sent4: that the fog happens is true. sent5: that the piscatorialness happens is not wrong if the dab happens. sent6: the keratinizing D.C. brings about that the intrapulmonariness occurs. sent7: if the humming quodlibet occurs then the imitativeness does not occur. sent8: either the centralization or the rhetoricalness or both is caused by that the imitativeness does not occur. sent9: if the piscatorialness does not occur or the impression happens or both then the piscatorialness does not occur. sent10: that the shushing swiz occurs is correct if the shushing Ancylostomatidae occurs. sent11: if the imitativeness does not occur the centralization does not occur and/or the rhetoricalness happens. sent12: that the smash does not occur causes either that the cycling does not occur or that the weightiness happens or both. sent13: if that not the humming quodlibet but the keratinizing D.C. happens is false the imitativeness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the humming quodlibet does not occur and the keratinizing D.C. occurs.; assump1 -> int1: the fact that the keratinizing D.C. happens hold.; int1 & sent6 -> int2: the intrapulmonariness occurs.; int2 & sent2 -> int3: the dabbing occurs.; int3 & sent5 -> int4: the piscatorialness happens.; sent3 & sent4 -> int5: the impression occurs.; int5 -> int6: the non-piscatorialness or the impression or both happens.; sent9 & int6 -> int7: the piscatorialness does not occur.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: that not the humming quodlibet but the keratinizing D.C. happens does not hold.; int9 & sent13 -> int10: the imitativeness does not occur.; int10 & sent11 -> hypothesis; __PROVED__