that if the sternutatoriness happens and the Audenesqueness happens the chancroidalness does not occur is not true.
sent1: if the sternutatoriness occurs and the Audenesqueness happens then the chancroidalness occurs. sent2: if the Audenesqueness does not occur the sternutatoriness happens and the diffidentness happens. sent3: the bladderiness is prevented by that the variolarness happens. sent4: the holdout happens. sent5: the firing and the Audenesqueness happens. sent6: the unsociableness occurs. sent7: the chancroidalness does not occur if both the sternutatoriness and the malarialness happens. sent8: that the detailing does not occur is prevented by that the zoonoticness occurs and the aggro happens. sent9: if the cerebrospinalness does not occur the chancroidalness happens and the catholicizing occurs. sent10: that the zoonoticness does not occur is brought about by that both the disabusing obeah and the autosomalness occurs. sent11: the malarialness happens. sent12: if the nitrifying happens then the non-presocraticness and/or the non-phyllodialness occurs. sent13: that the presocraticness does not occur and/or the non-phyllodialness leads to the non-cerebrospinalness. sent14: the non-bladderyness causes that the nitrifying and the disabusing enclave occurs. sent15: the jibing occurs.
void -> assump1: Let's assume that both the sternutatoriness and the Audenesqueness occurs.; assump1 -> int1: the sternutatoriness occurs.; int1 & sent11 -> int2: the sternutatoriness occurs and the malarialness occurs.; sent7 & int2 -> int3: the chancroidalness does not occur.; [assump1] & int3 -> hypothesis;
the diffidentness happens.
$hypothesis$ = that if the sternutatoriness happens and the Audenesqueness happens the chancroidalness does not occur is not true. ; $context$ = sent1: if the sternutatoriness occurs and the Audenesqueness happens then the chancroidalness occurs. sent2: if the Audenesqueness does not occur the sternutatoriness happens and the diffidentness happens. sent3: the bladderiness is prevented by that the variolarness happens. sent4: the holdout happens. sent5: the firing and the Audenesqueness happens. sent6: the unsociableness occurs. sent7: the chancroidalness does not occur if both the sternutatoriness and the malarialness happens. sent8: that the detailing does not occur is prevented by that the zoonoticness occurs and the aggro happens. sent9: if the cerebrospinalness does not occur the chancroidalness happens and the catholicizing occurs. sent10: that the zoonoticness does not occur is brought about by that both the disabusing obeah and the autosomalness occurs. sent11: the malarialness happens. sent12: if the nitrifying happens then the non-presocraticness and/or the non-phyllodialness occurs. sent13: that the presocraticness does not occur and/or the non-phyllodialness leads to the non-cerebrospinalness. sent14: the non-bladderyness causes that the nitrifying and the disabusing enclave occurs. sent15: the jibing occurs. ; $proof$ = 
void -> assump1: Let's assume that both the sternutatoriness and the Audenesqueness occurs.; assump1 -> int1: the sternutatoriness occurs.; int1 & sent11 -> int2: the sternutatoriness occurs and the malarialness occurs.; sent7 & int2 -> int3: the chancroidalness does not occur.; [assump1] & int3 -> hypothesis; __DISPROVED__