the stoicness does not occur.
sent1: the corrigibleness happens. sent2: that the contradistinguishing playhouse happens and/or that the spattering happens causes the non-stoicness. sent3: the demilitarizing Weld does not occur if the fact that the contradistinguishing Independence and the non-pentangularness happens does not hold. sent4: if the choreography occurs then the spatter does not occur and the contradistinguishing playhouse does not occur. sent5: the stoic does not occur if the contradistinguishing playhouse happens. sent6: if the demilitarizing Weld does not occur then not the choreography but the spread happens. sent7: the Modernness happens if the spread but not the contradistinguishing civilian occurs. sent8: if the fact that the nontraditionalness but not the paste occurs does not hold the badminton does not occur. sent9: if the pentangularness occurs the demilitarizing Weld does not occur. sent10: the nontraditionalness occurs. sent11: the fact that the contradistinguishing Independence occurs and the pentangularness occurs is not correct. sent12: the stoic happens if the contradistinguishing civilian happens. sent13: if the corrigibleness happens then the badminton occurs. sent14: that the fact that the contradistinguishing Independence and the non-pentangularness happens is not true is not incorrect. sent15: the choreography does not occur. sent16: if the ablution happens then the adscriptness occurs. sent17: the cooperation does not occur. sent18: the badminton does not occur if the nontraditionalness does not occur. sent19: that the contradistinguishing civilian does not occur is triggered by that the nontraditionalness happens but the paste does not occur. sent20: that the contradistinguishing civilian does not occur or that the badminton does not occur or both is brought about by that the spreading does not occur. sent21: if the fact that the demilitarizing Weld does not occur is correct then the choreography does not occur.
void -> assump1: Let's assume that that the nontraditionalness occurs but the paste does not occur is not true.; sent8 & assump1 -> int1: the badminton does not occur.; sent13 & sent1 -> int2: the badminton happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the nontraditionalness occurs but the pasting does not occur.; int4 & sent19 -> int5: the contradistinguishing civilian does not occur.; sent3 & sent14 -> int6: the demilitarizing Weld does not occur.; sent6 & int6 -> int7: not the choreography but the spread happens.; int7 -> int8: the spreading happens.; int5 & int8 -> int9: the spread happens but the contradistinguishing civilian does not occur.; int9 & sent7 -> int10: the Modernness happens.;
the dash does not occur.
$hypothesis$ = the stoicness does not occur. ; $context$ = sent1: the corrigibleness happens. sent2: that the contradistinguishing playhouse happens and/or that the spattering happens causes the non-stoicness. sent3: the demilitarizing Weld does not occur if the fact that the contradistinguishing Independence and the non-pentangularness happens does not hold. sent4: if the choreography occurs then the spatter does not occur and the contradistinguishing playhouse does not occur. sent5: the stoic does not occur if the contradistinguishing playhouse happens. sent6: if the demilitarizing Weld does not occur then not the choreography but the spread happens. sent7: the Modernness happens if the spread but not the contradistinguishing civilian occurs. sent8: if the fact that the nontraditionalness but not the paste occurs does not hold the badminton does not occur. sent9: if the pentangularness occurs the demilitarizing Weld does not occur. sent10: the nontraditionalness occurs. sent11: the fact that the contradistinguishing Independence occurs and the pentangularness occurs is not correct. sent12: the stoic happens if the contradistinguishing civilian happens. sent13: if the corrigibleness happens then the badminton occurs. sent14: that the fact that the contradistinguishing Independence and the non-pentangularness happens is not true is not incorrect. sent15: the choreography does not occur. sent16: if the ablution happens then the adscriptness occurs. sent17: the cooperation does not occur. sent18: the badminton does not occur if the nontraditionalness does not occur. sent19: that the contradistinguishing civilian does not occur is triggered by that the nontraditionalness happens but the paste does not occur. sent20: that the contradistinguishing civilian does not occur or that the badminton does not occur or both is brought about by that the spreading does not occur. sent21: if the fact that the demilitarizing Weld does not occur is correct then the choreography does not occur. ; $proof$ = 
void -> assump1: Let's assume that that the nontraditionalness occurs but the paste does not occur is not true.; sent8 & assump1 -> int1: the badminton does not occur.; sent13 & sent1 -> int2: the badminton happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the nontraditionalness occurs but the pasting does not occur.; int4 & sent19 -> int5: the contradistinguishing civilian does not occur.; sent3 & sent14 -> int6: the demilitarizing Weld does not occur.; sent6 & int6 -> int7: not the choreography but the spread happens.; int7 -> int8: the spreading happens.; int5 & int8 -> int9: the spread happens but the contradistinguishing civilian does not occur.; int9 & sent7 -> int10: the Modernness happens.; __UNKNOWN__