the maintaining originator occurs and the maintaining schlockmeister does not occur if the nightlife occurs.
sent1: the lacteal happens and the Texan does not occur if the narcotraffic does not occur. sent2: the flexure happens. sent3: if both the tightening unfairness and the mocking happens the sacramentalness occurs. sent4: the maintaining schlockmeister does not occur. sent5: the maintaining taxer occurs. sent6: that the rolling happens and the maintaining katamorphism happens results in the non-authorialness. sent7: if the nightlife happens then the maintaining schlockmeister does not occur. sent8: if the disagreeing and the flexure occurs then the nightlife happens. sent9: if the disagreeing does not occur then the maintaining schlockmeister does not occur. sent10: that the nightlife does not occur is caused by that the disagreeing occurs and the flexure happens. sent11: if the disagreeing does not occur then the maintaining originator occurs but the maintaining schlockmeister does not occur.
void -> assump2: Let's assume that the disagreeing happens.; assump2 & sent2 -> int1: both the disagreeing and the flexure happens.; int1 & sent10 -> int2: the nightlife does not occur.; void -> assump1: Let's assume that that the nightlife happens hold.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the disagreeing does not occur.; int4 & sent11 -> int5: the maintaining originator happens and the maintaining schlockmeister does not occur.; [assump1] & int5 -> hypothesis;
$hypothesis$ = the maintaining originator occurs and the maintaining schlockmeister does not occur if the nightlife occurs. ; $context$ = sent1: the lacteal happens and the Texan does not occur if the narcotraffic does not occur. sent2: the flexure happens. sent3: if both the tightening unfairness and the mocking happens the sacramentalness occurs. sent4: the maintaining schlockmeister does not occur. sent5: the maintaining taxer occurs. sent6: that the rolling happens and the maintaining katamorphism happens results in the non-authorialness. sent7: if the nightlife happens then the maintaining schlockmeister does not occur. sent8: if the disagreeing and the flexure occurs then the nightlife happens. sent9: if the disagreeing does not occur then the maintaining schlockmeister does not occur. sent10: that the nightlife does not occur is caused by that the disagreeing occurs and the flexure happens. sent11: if the disagreeing does not occur then the maintaining originator occurs but the maintaining schlockmeister does not occur. ; $proof$ = 
void -> assump2: Let's assume that the disagreeing happens.; assump2 & sent2 -> int1: both the disagreeing and the flexure happens.; int1 & sent10 -> int2: the nightlife does not occur.; void -> assump1: Let's assume that that the nightlife happens hold.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the disagreeing does not occur.; int4 & sent11 -> int5: the maintaining originator happens and the maintaining schlockmeister does not occur.; [assump1] & int5 -> hypothesis; __PROVED__