that the pietisticness happens triggers that the recusancy does not occur.
sent1: the ignobleness happens. sent2: the elegiacness does not occur. sent3: the non-pietisticness is brought about by that the elegiacness does not occur and the jacketing anxiousness does not occur. sent4: the non-pietisticness is triggered by that the elegiacness but not the jacketing anxiousness happens. sent5: that the elegiacness does not occur is not incorrect if the recusancy happens. sent6: the moping occurs. sent7: that the haunting happens triggers that the pitying does not occur and the Sadduceanness does not occur. sent8: the arterioscleroticness does not occur. sent9: the bedrest does not occur and the roentgenography does not occur. sent10: the elegiacness does not occur and the jacketing anxiousness does not occur if the recusancy happens. sent11: if the elegiacness does not occur and the jacketing anxiousness does not occur then the pietisticness occurs.
void -> assump1: Let's assume that the pietisticness happens.; void -> assump2: Let's assume that the recusancy occurs.; sent10 & assump2 -> int1: the elegiacness does not occur and the jacketing anxiousness does not occur.; sent3 & int1 -> int2: the pietisticness does not occur.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the recusancy does not occur.; [assump1] & int4 -> hypothesis;
$hypothesis$ = that the pietisticness happens triggers that the recusancy does not occur. ; $context$ = sent1: the ignobleness happens. sent2: the elegiacness does not occur. sent3: the non-pietisticness is brought about by that the elegiacness does not occur and the jacketing anxiousness does not occur. sent4: the non-pietisticness is triggered by that the elegiacness but not the jacketing anxiousness happens. sent5: that the elegiacness does not occur is not incorrect if the recusancy happens. sent6: the moping occurs. sent7: that the haunting happens triggers that the pitying does not occur and the Sadduceanness does not occur. sent8: the arterioscleroticness does not occur. sent9: the bedrest does not occur and the roentgenography does not occur. sent10: the elegiacness does not occur and the jacketing anxiousness does not occur if the recusancy happens. sent11: if the elegiacness does not occur and the jacketing anxiousness does not occur then the pietisticness occurs. ; $proof$ = 
void -> assump1: Let's assume that the pietisticness happens.; void -> assump2: Let's assume that the recusancy occurs.; sent10 & assump2 -> int1: the elegiacness does not occur and the jacketing anxiousness does not occur.; sent3 & int1 -> int2: the pietisticness does not occur.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the recusancy does not occur.; [assump1] & int4 -> hypothesis; __PROVED__