the collarlessness does not occur if that the breakdown happens is true.
sent1: if the fact that the dormancy happens and the hymenealness does not occur is incorrect then the regard does not occur. sent2: if the regarding does not occur then both the non-collarlessness and the pawn occurs. sent3: the jamming capybara happens. sent4: that the breakdown does not occur is caused by that the non-collarlessness and the pawn happens. sent5: either the fragrantness happens or the autodidacticness happens or both. sent6: the promising corticosterone occurs. sent7: the atomicness does not occur if the deductible happens. sent8: the fact that the dormancy but not the hymeneal happens is not true if the rampaging does not occur. sent9: the consolidating happens and/or the jamming mohawk occurs. sent10: if the breakdown does not occur then the Panhellenicness occurs and the exponentialness does not occur. sent11: the blanketing mother-of-pearl occurs if the ictalness and/or the rumba happens. sent12: the Maltese does not occur. sent13: that the Panhellenicness occurs and/or the breakdown occurs results in the non-collarlessness. sent14: the blaspheming or the blanketing shed or both happens. sent15: that the Panhellenicness happens triggers the non-collarlessness.
void -> assump1: Let's assume that the breakdown occurs.; assump1 -> int1: the Panhellenicness occurs and/or the breakdown occurs.; int1 & sent13 -> int2: the collarlessness does not occur.; [assump1] & int2 -> hypothesis;
the exponential does not occur.
$hypothesis$ = the collarlessness does not occur if that the breakdown happens is true. ; $context$ = sent1: if the fact that the dormancy happens and the hymenealness does not occur is incorrect then the regard does not occur. sent2: if the regarding does not occur then both the non-collarlessness and the pawn occurs. sent3: the jamming capybara happens. sent4: that the breakdown does not occur is caused by that the non-collarlessness and the pawn happens. sent5: either the fragrantness happens or the autodidacticness happens or both. sent6: the promising corticosterone occurs. sent7: the atomicness does not occur if the deductible happens. sent8: the fact that the dormancy but not the hymeneal happens is not true if the rampaging does not occur. sent9: the consolidating happens and/or the jamming mohawk occurs. sent10: if the breakdown does not occur then the Panhellenicness occurs and the exponentialness does not occur. sent11: the blanketing mother-of-pearl occurs if the ictalness and/or the rumba happens. sent12: the Maltese does not occur. sent13: that the Panhellenicness occurs and/or the breakdown occurs results in the non-collarlessness. sent14: the blaspheming or the blanketing shed or both happens. sent15: that the Panhellenicness happens triggers the non-collarlessness. ; $proof$ = 
void -> assump1: Let's assume that the breakdown occurs.; assump1 -> int1: the Panhellenicness occurs and/or the breakdown occurs.; int1 & sent13 -> int2: the collarlessness does not occur.; [assump1] & int2 -> hypothesis; __PROVED__