the nightlife does not occur.
sent1: if the fact that the skin-diving does not occur is not false the fact that the Litany but not the nightlife happens is not right. sent2: both the Labour and the comforting repeater happens. sent3: if the pea-souper does not occur then the adhesion happens. sent4: the pivoting happens if the Litany does not occur but the impatientness occurs. sent5: the skin-dive happens. sent6: if the intruding Parthia does not occur the tankage occurs. sent7: the smallerness happens. sent8: the fact that the intruding Parthia does not occur is not wrong. sent9: if either the prelim does not occur or the skin-diving does not occur or both then the prelim does not occur. sent10: if the pea-souper does not occur then both the impatientness and the adhesion happens. sent11: that both the pivoting and the intruding discordance occurs results in that the nightlife does not occur. sent12: the submitting occurs and the biotypicness happens. sent13: the tankage occurs. sent14: if the popularization does not occur the inguinalness and the reinforcing proofreader occurs. sent15: if the intruding discordance does not occur then the fact that not the adhesion but the pivot occurs is not true. sent16: the pea-souper does not occur. sent17: that the smallerness does not occur is caused by that the skin-diving and the Litany happens. sent18: the adhesion happens.
void -> assump1: Let's assume that the Litany occurs.; sent5 & assump1 -> int1: both the skin-dive and the Litany occurs.; int1 & sent17 -> int2: that the smallerness does not occur is correct.; int2 & sent7 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Litany does not occur.; sent10 & sent16 -> int5: both the impatientness and the adhesion happens.; int5 -> int6: the impatientness happens.; int4 & int6 -> int7: the Litany does not occur but the impatientness happens.; int7 & sent4 -> int8: the pivot occurs.;
the nightlife occurs.
$hypothesis$ = the nightlife does not occur. ; $context$ = sent1: if the fact that the skin-diving does not occur is not false the fact that the Litany but not the nightlife happens is not right. sent2: both the Labour and the comforting repeater happens. sent3: if the pea-souper does not occur then the adhesion happens. sent4: the pivoting happens if the Litany does not occur but the impatientness occurs. sent5: the skin-dive happens. sent6: if the intruding Parthia does not occur the tankage occurs. sent7: the smallerness happens. sent8: the fact that the intruding Parthia does not occur is not wrong. sent9: if either the prelim does not occur or the skin-diving does not occur or both then the prelim does not occur. sent10: if the pea-souper does not occur then both the impatientness and the adhesion happens. sent11: that both the pivoting and the intruding discordance occurs results in that the nightlife does not occur. sent12: the submitting occurs and the biotypicness happens. sent13: the tankage occurs. sent14: if the popularization does not occur the inguinalness and the reinforcing proofreader occurs. sent15: if the intruding discordance does not occur then the fact that not the adhesion but the pivot occurs is not true. sent16: the pea-souper does not occur. sent17: that the smallerness does not occur is caused by that the skin-diving and the Litany happens. sent18: the adhesion happens. ; $proof$ = 
void -> assump1: Let's assume that the Litany occurs.; sent5 & assump1 -> int1: both the skin-dive and the Litany occurs.; int1 & sent17 -> int2: that the smallerness does not occur is correct.; int2 & sent7 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Litany does not occur.; sent10 & sent16 -> int5: both the impatientness and the adhesion happens.; int5 -> int6: the impatientness happens.; int4 & int6 -> int7: the Litany does not occur but the impatientness happens.; int7 & sent4 -> int8: the pivot occurs.; __UNKNOWN__