the fact that if the discovering happens then the backstopping redshift does not occur does not hold.
sent1: the uptick does not occur. sent2: that the masterstroke does not occur leads to that both the backstopping redshift and the electromotiveness happens. sent3: if the cambialness does not occur the masterstroke does not occur but the aphaereticness occurs. sent4: the backstopping redshift occurs if the uptick does not occur and the discovering occurs. sent5: the palatalizing variable happens and the playback occurs. sent6: that the palatalizing washboard does not occur and the uptick does not occur is caused by that the discovering does not occur. sent7: if the peripteralness occurs then the nonpoliticalness does not occur. sent8: that the backstopping redshift occurs is not false. sent9: the backstopping redshift is caused by the discovering. sent10: if not the uptick but the discovering happens then the backstopping redshift does not occur. sent11: the apocryphalness does not occur. sent12: that the playback happens causes that the cosmicness and the non-cambialness occurs.
void -> assump1: Let's assume that the discovering happens.; sent1 & assump1 -> int1: not the uptick but the discovering occurs.; sent10 & int1 -> int2: the backstopping redshift does not occur.; [assump1] & int2 -> hypothesis;
the palatalizing washboard does not occur.
sent5 -> int3: the playback happens.; sent12 & int3 -> int4: the cosmicness but not the cambialness happens.; int4 -> int5: the cambialness does not occur.; sent3 & int5 -> int6: not the masterstroke but the aphaereticness happens.; int6 -> int7: the fact that the masterstroke does not occur is not false.; sent2 & int7 -> int8: the fact that both the backstopping redshift and the electromotiveness occurs is true.; int8 -> int9: the backstopping redshift happens.;
$hypothesis$ = the fact that if the discovering happens then the backstopping redshift does not occur does not hold. ; $context$ = sent1: the uptick does not occur. sent2: that the masterstroke does not occur leads to that both the backstopping redshift and the electromotiveness happens. sent3: if the cambialness does not occur the masterstroke does not occur but the aphaereticness occurs. sent4: the backstopping redshift occurs if the uptick does not occur and the discovering occurs. sent5: the palatalizing variable happens and the playback occurs. sent6: that the palatalizing washboard does not occur and the uptick does not occur is caused by that the discovering does not occur. sent7: if the peripteralness occurs then the nonpoliticalness does not occur. sent8: that the backstopping redshift occurs is not false. sent9: the backstopping redshift is caused by the discovering. sent10: if not the uptick but the discovering happens then the backstopping redshift does not occur. sent11: the apocryphalness does not occur. sent12: that the playback happens causes that the cosmicness and the non-cambialness occurs. ; $proof$ = 
void -> assump1: Let's assume that the discovering happens.; sent1 & assump1 -> int1: not the uptick but the discovering occurs.; sent10 & int1 -> int2: the backstopping redshift does not occur.; [assump1] & int2 -> hypothesis; __DISPROVED__