if that the diving garrote occurs is not incorrect then the conk happens.
sent1: the chromosomalness happens. sent2: the spreading methane and/or the carrotiness occurs. sent3: that the siege occurs and/or the coarsening occurs prevents that the diving garrote happens. sent4: the spreading methane occurs. sent5: if the construction does not occur then that the spreading knickknack and the aniseikonicness happens is not correct. sent6: the spreading groan occurs. sent7: the boating happens and/or the mooing happens. sent8: the ionicness and/or the raising occurs. sent9: the private happens. sent10: the conking occurs if that the spreading knickknack occurs but the aniseikonicness does not occur is not true. sent11: the diving garrote is prevented by that the siege occurs. sent12: that both the moralization and the non-privateness happens does not hold. sent13: that the construction occurs is prevented by that not the coarsening but the spreading groan occurs.
void -> assump2: Let's assume that the coarsening occurs.; assump2 -> int1: either the siege occurs or the coarsening occurs or both.; int1 & sent3 -> int2: the diving garrote does not occur.; void -> assump1: Let's assume that the diving garrote occurs.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the coarsening does not occur.; int4 & sent6 -> int5: the coarsening does not occur but the spreading groan happens.; int5 & sent13 -> int6: the construction does not occur.;
$hypothesis$ = if that the diving garrote occurs is not incorrect then the conk happens. ; $context$ = sent1: the chromosomalness happens. sent2: the spreading methane and/or the carrotiness occurs. sent3: that the siege occurs and/or the coarsening occurs prevents that the diving garrote happens. sent4: the spreading methane occurs. sent5: if the construction does not occur then that the spreading knickknack and the aniseikonicness happens is not correct. sent6: the spreading groan occurs. sent7: the boating happens and/or the mooing happens. sent8: the ionicness and/or the raising occurs. sent9: the private happens. sent10: the conking occurs if that the spreading knickknack occurs but the aniseikonicness does not occur is not true. sent11: the diving garrote is prevented by that the siege occurs. sent12: that both the moralization and the non-privateness happens does not hold. sent13: that the construction occurs is prevented by that not the coarsening but the spreading groan occurs. ; $proof$ = 
void -> assump2: Let's assume that the coarsening occurs.; assump2 -> int1: either the siege occurs or the coarsening occurs or both.; int1 & sent3 -> int2: the diving garrote does not occur.; void -> assump1: Let's assume that the diving garrote occurs.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the coarsening does not occur.; int4 & sent6 -> int5: the coarsening does not occur but the spreading groan happens.; int5 & sent13 -> int6: the construction does not occur.; __UNKNOWN__