that not the contemplating pretermission but the initiation happens is not right if the contemplating turnverein occurs.
sent1: if the variety does not occur then that both the contemplating pretermission and the initiation happens is not correct. sent2: that not the contemplating pretermission but the initiation happens is triggered by that the contemplating turnverein occurs. sent3: the fact that the contemplating pretermission and the initiation happens is not true. sent4: that both the avuncularness and the non-psychiatricness happens is triggered by that the apogeanness occurs. sent5: the Malthusianness does not occur if that both the contemplating turnverein and the Malthusianness occurs is false. sent6: if the variety does not occur then the fact that not the contemplating pretermission but the initiation occurs is false. sent7: that the contemplating turnverein happens and the Malthusian happens is not true if the predominating does not occur. sent8: the predominating happens. sent9: the electoralness does not occur if the psychiatricness does not occur. sent10: that either the predominating or the contemplating turnverein or both happens results in that the variety does not occur. sent11: the fact that the contemplating pretermission occurs and the initiation occurs is not true if the contemplating turnverein happens. sent12: if the electoralness does not occur then the initiation but not the contemplating pretermission occurs.
void -> assump1: Let's assume that the contemplating turnverein happens.; assump1 -> int1: either the predominating or the contemplating turnverein or both occurs.; sent10 & int1 -> int2: the variety does not occur.; sent6 & int2 -> int3: that the contemplating pretermission does not occur and the initiation occurs is not correct.; [assump1] & int3 -> hypothesis;
the Malthusian does not occur.
$hypothesis$ = that not the contemplating pretermission but the initiation happens is not right if the contemplating turnverein occurs. ; $context$ = sent1: if the variety does not occur then that both the contemplating pretermission and the initiation happens is not correct. sent2: that not the contemplating pretermission but the initiation happens is triggered by that the contemplating turnverein occurs. sent3: the fact that the contemplating pretermission and the initiation happens is not true. sent4: that both the avuncularness and the non-psychiatricness happens is triggered by that the apogeanness occurs. sent5: the Malthusianness does not occur if that both the contemplating turnverein and the Malthusianness occurs is false. sent6: if the variety does not occur then the fact that not the contemplating pretermission but the initiation occurs is false. sent7: that the contemplating turnverein happens and the Malthusian happens is not true if the predominating does not occur. sent8: the predominating happens. sent9: the electoralness does not occur if the psychiatricness does not occur. sent10: that either the predominating or the contemplating turnverein or both happens results in that the variety does not occur. sent11: the fact that the contemplating pretermission occurs and the initiation occurs is not true if the contemplating turnverein happens. sent12: if the electoralness does not occur then the initiation but not the contemplating pretermission occurs. ; $proof$ = 
void -> assump1: Let's assume that the contemplating turnverein happens.; assump1 -> int1: either the predominating or the contemplating turnverein or both occurs.; sent10 & int1 -> int2: the variety does not occur.; sent6 & int2 -> int3: that the contemplating pretermission does not occur and the initiation occurs is not correct.; [assump1] & int3 -> hypothesis; __PROVED__