that the pleochroicness happens is prevented by that the jacketing sash occurs.
sent1: the nepotism happens if the fact that the collecting happens is correct. sent2: the formalization occurs if that the non-superhumanness and the non-Macedonianness occurs does not hold. sent3: if the fact that the lug does not occur and the avuncularness does not occur does not hold the deflowering spiderwort occurs. sent4: if both the intermediateness and the cholinergicness occurs the mooring occurs. sent5: the Zephyr happens. sent6: if the deflowering Yosemite happens both the jacketing sash and the non-pleochroicness happens. sent7: the lighting occurs. sent8: that both the palatalizing legalese and the jacketing sash occurs brings about that the pleochroicness does not occur. sent9: that the attrition happens is correct. sent10: the palatalizing legalese does not occur if both the jacketing sash and the non-pleochroicness happens. sent11: the overcharge occurs. sent12: if that the ignoring kwanza happens hold then the jacketing banquette occurs. sent13: that the jacketing Heisenberg does not occur and the light does not occur is wrong. sent14: the necrosing does not occur. sent15: if the alternating occurs the palatalizing legalese occurs. sent16: the fact that the inevitableness does not occur is right. sent17: the palatalizing legalese occurs if the fact that the non-alternateness and the non-avionicness happens is wrong. sent18: that the flatsness does not occur and the backpacking does not occur is false if that the alternateness occurs hold. sent19: the palatalizing narrowing occurs. sent20: the avionicness happens.
void -> assump1: Let's assume that the alternating does not occur and the avionicness does not occur.; assump1 -> int1: the avionicness does not occur.; sent20 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: that both the non-alternateness and the non-avionicness happens does not hold.; sent17 & int3 -> int4: the fact that the palatalizing legalese occurs is not wrong.; void -> assump2: Let's assume that the jacketing sash happens.; int4 & assump2 -> int5: the palatalizing legalese happens and the jacketing sash occurs.; sent8 & int5 -> int6: the pleochroicness does not occur.; [assump2] & int6 -> hypothesis;
that the flatsness does not occur and the backpacking does not occur is incorrect.
$hypothesis$ = that the pleochroicness happens is prevented by that the jacketing sash occurs. ; $context$ = sent1: the nepotism happens if the fact that the collecting happens is correct. sent2: the formalization occurs if that the non-superhumanness and the non-Macedonianness occurs does not hold. sent3: if the fact that the lug does not occur and the avuncularness does not occur does not hold the deflowering spiderwort occurs. sent4: if both the intermediateness and the cholinergicness occurs the mooring occurs. sent5: the Zephyr happens. sent6: if the deflowering Yosemite happens both the jacketing sash and the non-pleochroicness happens. sent7: the lighting occurs. sent8: that both the palatalizing legalese and the jacketing sash occurs brings about that the pleochroicness does not occur. sent9: that the attrition happens is correct. sent10: the palatalizing legalese does not occur if both the jacketing sash and the non-pleochroicness happens. sent11: the overcharge occurs. sent12: if that the ignoring kwanza happens hold then the jacketing banquette occurs. sent13: that the jacketing Heisenberg does not occur and the light does not occur is wrong. sent14: the necrosing does not occur. sent15: if the alternating occurs the palatalizing legalese occurs. sent16: the fact that the inevitableness does not occur is right. sent17: the palatalizing legalese occurs if the fact that the non-alternateness and the non-avionicness happens is wrong. sent18: that the flatsness does not occur and the backpacking does not occur is false if that the alternateness occurs hold. sent19: the palatalizing narrowing occurs. sent20: the avionicness happens. ; $proof$ = 
void -> assump1: Let's assume that the alternating does not occur and the avionicness does not occur.; assump1 -> int1: the avionicness does not occur.; sent20 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: that both the non-alternateness and the non-avionicness happens does not hold.; sent17 & int3 -> int4: the fact that the palatalizing legalese occurs is not wrong.; void -> assump2: Let's assume that the jacketing sash happens.; int4 & assump2 -> int5: the palatalizing legalese happens and the jacketing sash occurs.; sent8 & int5 -> int6: the pleochroicness does not occur.; [assump2] & int6 -> hypothesis; __PROVED__