the Laos does not occur.
sent1: the captaining happens if that not the captaining but the Laosness occurs does not hold. sent2: the outgrowing Requiem occurs if the lenience happens. sent3: the fact that the habitation occurs and the tossing diopter happens does not hold if the bankruptcy does not occur. sent4: that the graft happens hold if the heterodyneness occurs. sent5: the habitation is caused by that the outgrowing Requiem occurs. sent6: the outgrowing Gemini occurs if that the outgrowing Gemini does not occur and the delivery does not occur does not hold. sent7: if the eventuality occurs the tragedy occurs. sent8: the spray happens. sent9: if the outgrowing hedonism and/or the non-unpunctualness occurs the sulcateness does not occur. sent10: the grafting does not occur if the tossing diopter occurs or the bankruptcy does not occur or both. sent11: the lenience occurs if the Laos happens. sent12: if the fact that the lenience does not occur is not wrong then the fact that not the captain but the Laos happens is not true. sent13: that the tossing Leporidae does not occur and the seclusion does not occur prevents that the hyperextension does not occur. sent14: if that the heterodyning does not occur and the ridicule does not occur does not hold then the heterodyning occurs. sent15: that the seclusion does not occur is true. sent16: the tossing diopter occurs if the habitation happens. sent17: the tossing Leporidae does not occur. sent18: if the hyperextension happens that the fact that the heterodyning does not occur and the ridiculing does not occur is false hold. sent19: that the reform happens is not incorrect.
void -> assump1: Let's assume that the Laos occurs.; sent11 & assump1 -> int1: the lenience occurs.; int1 & sent2 -> int2: the outgrowing Requiem occurs.; int2 & sent5 -> int3: the habitation occurs.; int3 & sent16 -> int4: the tossing diopter happens.; int4 -> int5: the tossing diopter occurs and/or the bankruptcy does not occur.; int5 & sent10 -> int6: the graft does not occur.; sent17 & sent15 -> int7: the tossing Leporidae does not occur and the seclusion does not occur.; sent13 & int7 -> int8: the hyperextension happens.; sent18 & int8 -> int9: the fact that the fact that the heterodyneness does not occur and the ridicule does not occur hold is not true.; sent14 & int9 -> int10: the heterodyning happens.; sent4 & int10 -> int11: the graft happens.; int6 & int11 -> int12: this is contradiction.; [assump1] & int12 -> hypothesis;
the fact that the captaining occurs is not false.
$hypothesis$ = the Laos does not occur. ; $context$ = sent1: the captaining happens if that not the captaining but the Laosness occurs does not hold. sent2: the outgrowing Requiem occurs if the lenience happens. sent3: the fact that the habitation occurs and the tossing diopter happens does not hold if the bankruptcy does not occur. sent4: that the graft happens hold if the heterodyneness occurs. sent5: the habitation is caused by that the outgrowing Requiem occurs. sent6: the outgrowing Gemini occurs if that the outgrowing Gemini does not occur and the delivery does not occur does not hold. sent7: if the eventuality occurs the tragedy occurs. sent8: the spray happens. sent9: if the outgrowing hedonism and/or the non-unpunctualness occurs the sulcateness does not occur. sent10: the grafting does not occur if the tossing diopter occurs or the bankruptcy does not occur or both. sent11: the lenience occurs if the Laos happens. sent12: if the fact that the lenience does not occur is not wrong then the fact that not the captain but the Laos happens is not true. sent13: that the tossing Leporidae does not occur and the seclusion does not occur prevents that the hyperextension does not occur. sent14: if that the heterodyning does not occur and the ridicule does not occur does not hold then the heterodyning occurs. sent15: that the seclusion does not occur is true. sent16: the tossing diopter occurs if the habitation happens. sent17: the tossing Leporidae does not occur. sent18: if the hyperextension happens that the fact that the heterodyning does not occur and the ridiculing does not occur is false hold. sent19: that the reform happens is not incorrect. ; $proof$ = 
void -> assump1: Let's assume that the Laos occurs.; sent11 & assump1 -> int1: the lenience occurs.; int1 & sent2 -> int2: the outgrowing Requiem occurs.; int2 & sent5 -> int3: the habitation occurs.; int3 & sent16 -> int4: the tossing diopter happens.; int4 -> int5: the tossing diopter occurs and/or the bankruptcy does not occur.; int5 & sent10 -> int6: the graft does not occur.; sent17 & sent15 -> int7: the tossing Leporidae does not occur and the seclusion does not occur.; sent13 & int7 -> int8: the hyperextension happens.; sent18 & int8 -> int9: the fact that the fact that the heterodyneness does not occur and the ridicule does not occur hold is not true.; sent14 & int9 -> int10: the heterodyning happens.; sent4 & int10 -> int11: the graft happens.; int6 & int11 -> int12: this is contradiction.; [assump1] & int12 -> hypothesis; __PROVED__