that that the prelapsarianness and the non-pro-choiceness occurs is caused by the hemisphericness is wrong.
sent1: if that the prelapsarianness happens and the pro-choiceness does not occur is not right then the hemisphericness does not occur. sent2: the fact that the preparation does not occur and the hemisphericness happens does not hold if the environmentalness occurs. sent3: if the subrogation occurs the unsealing B-horizon happens. sent4: if the fact that the preparation does not occur and the hemisphericness occurs is not right the rollover does not occur. sent5: the postalness occurs but the recompense does not occur. sent6: the hemisphericness does not occur if the pro-choiceness happens. sent7: the pro-choiceness does not occur. sent8: that the pro-choiceness occurs is prevented by that the hemisphericness happens. sent9: that the productiveness does not occur yields that the environmentalness and the heraldicness happens. sent10: that both the prelapsarianness and the pro-choiceness occurs does not hold. sent11: if both the prelapsarianness and the non-pro-choiceness occurs the hemisphericness does not occur. sent12: that the productiveness does not occur is not wrong if the fact that the productiveness but not the stunting Lagidium occurs is false. sent13: if the kissing occurs then the postglacialness but not the stickling happens. sent14: if the postalness happens then the subrogation occurs. sent15: if that the prelapsarianness but not the pro-choiceness occurs is not right the hemisphericness happens. sent16: that the meditating but not the redundancy happens is not true.
void -> assump1: Let's assume that the fact that that the prelapsarianness and the non-pro-choiceness occurs is false hold.; sent1 & assump1 -> int1: the hemisphericness does not occur.; void -> assump2: Let's assume that the hemisphericness occurs.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: both the prelapsarianness and the non-pro-choiceness occurs.; [assump2] & int3 -> hypothesis;
the unsealing B-horizon occurs and the rollover does not occur.
sent5 -> int4: the postalness happens.; sent14 & int4 -> int5: the subrogation happens.; sent3 & int5 -> int6: the unsealing B-horizon occurs.;
$hypothesis$ = that that the prelapsarianness and the non-pro-choiceness occurs is caused by the hemisphericness is wrong. ; $context$ = sent1: if that the prelapsarianness happens and the pro-choiceness does not occur is not right then the hemisphericness does not occur. sent2: the fact that the preparation does not occur and the hemisphericness happens does not hold if the environmentalness occurs. sent3: if the subrogation occurs the unsealing B-horizon happens. sent4: if the fact that the preparation does not occur and the hemisphericness occurs is not right the rollover does not occur. sent5: the postalness occurs but the recompense does not occur. sent6: the hemisphericness does not occur if the pro-choiceness happens. sent7: the pro-choiceness does not occur. sent8: that the pro-choiceness occurs is prevented by that the hemisphericness happens. sent9: that the productiveness does not occur yields that the environmentalness and the heraldicness happens. sent10: that both the prelapsarianness and the pro-choiceness occurs does not hold. sent11: if both the prelapsarianness and the non-pro-choiceness occurs the hemisphericness does not occur. sent12: that the productiveness does not occur is not wrong if the fact that the productiveness but not the stunting Lagidium occurs is false. sent13: if the kissing occurs then the postglacialness but not the stickling happens. sent14: if the postalness happens then the subrogation occurs. sent15: if that the prelapsarianness but not the pro-choiceness occurs is not right the hemisphericness happens. sent16: that the meditating but not the redundancy happens is not true. ; $proof$ = 
void -> assump1: Let's assume that the fact that that the prelapsarianness and the non-pro-choiceness occurs is false hold.; sent1 & assump1 -> int1: the hemisphericness does not occur.; void -> assump2: Let's assume that the hemisphericness occurs.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: both the prelapsarianness and the non-pro-choiceness occurs.; [assump2] & int3 -> hypothesis; __DISPROVED__