the countershot happens if the fact that the acculturation occurs is not wrong.
sent1: the leg-pull occurs if that the untwisting occurs and the leg-pull does not occur is wrong. sent2: either the resulting ovulation does not occur or the Danteanness occurs or both. sent3: if that the lenience occurs and the resale does not occur does not hold the resale happens. sent4: the dehiscentness does not occur or the FM does not occur or both. sent5: the fact that the profanation but not the Lithuanian happens is not right. sent6: the waking capulin occurs. sent7: the countershot occurs if that either the resulting ovulation does not occur or the Danteanness does not occur or both is not wrong. sent8: that that the lenience occurs but the resale does not occur hold does not hold. sent9: the irreverence happens. sent10: the drizzling Diocletian occurs. sent11: the necrosing happens. sent12: that the resulting ovulation happens and the acculturation happens brings about that the resale does not occur. sent13: if that the acculturation does not occur is not wrong the ambassadorship and the resulting ovulation occurs. sent14: the resulting ovulation and/or the non-Danteanness occurs. sent15: that both the lenience and the resale occurs is wrong.
void -> assump1: Let's assume that the resulting ovulation occurs.; void -> assump2: Let's assume that the acculturation occurs.; assump1 & assump2 -> int1: the fact that the resulting ovulation and the acculturation happens is not false.; int1 & sent12 -> int2: the resale does not occur.; sent3 & sent8 -> int3: the resale occurs.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the resulting ovulation does not occur.; int5 -> int6: the resulting ovulation does not occur and/or the Danteanness does not occur.; int6 & sent7 -> int7: the countershot happens.; [assump2] & int7 -> hypothesis;
the ambassadorship occurs.
$hypothesis$ = the countershot happens if the fact that the acculturation occurs is not wrong. ; $context$ = sent1: the leg-pull occurs if that the untwisting occurs and the leg-pull does not occur is wrong. sent2: either the resulting ovulation does not occur or the Danteanness occurs or both. sent3: if that the lenience occurs and the resale does not occur does not hold the resale happens. sent4: the dehiscentness does not occur or the FM does not occur or both. sent5: the fact that the profanation but not the Lithuanian happens is not right. sent6: the waking capulin occurs. sent7: the countershot occurs if that either the resulting ovulation does not occur or the Danteanness does not occur or both is not wrong. sent8: that that the lenience occurs but the resale does not occur hold does not hold. sent9: the irreverence happens. sent10: the drizzling Diocletian occurs. sent11: the necrosing happens. sent12: that the resulting ovulation happens and the acculturation happens brings about that the resale does not occur. sent13: if that the acculturation does not occur is not wrong the ambassadorship and the resulting ovulation occurs. sent14: the resulting ovulation and/or the non-Danteanness occurs. sent15: that both the lenience and the resale occurs is wrong. ; $proof$ = 
void -> assump1: Let's assume that the resulting ovulation occurs.; void -> assump2: Let's assume that the acculturation occurs.; assump1 & assump2 -> int1: the fact that the resulting ovulation and the acculturation happens is not false.; int1 & sent12 -> int2: the resale does not occur.; sent3 & sent8 -> int3: the resale occurs.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the resulting ovulation does not occur.; int5 -> int6: the resulting ovulation does not occur and/or the Danteanness does not occur.; int6 & sent7 -> int7: the countershot happens.; [assump2] & int7 -> hypothesis; __PROVED__