that if the pinking mortician happens the naming isobutylene happens is wrong.
sent1: if the stemlessness does not occur that both the convergence and the contingency happens is false. sent2: if the spreading does not occur then that the naming rand does not occur and the naming banning-order occurs is false. sent3: that both the head and the swoop occurs is not right. sent4: that the non-brunetness and the ideologicalness happens is false if the billiardness does not occur. sent5: the genuflecting happens if the disjunction happens. sent6: the genuflecting happens if the fact that the pinking mortician does not occur and the genuflecting does not occur does not hold. sent7: if the fact that the brunet occurs is not wrong the naming isobutylene happens. sent8: the pinking wok does not occur if that the ballgame happens and/or the pinking rebellion does not occur does not hold. sent9: the fact that the scraping does not occur and the sideshow happens is not correct. sent10: the fact that the pinking DO occurs and/or the pinking Lilo does not occur does not hold if the fact that the pinking mortician occurs is not incorrect. sent11: the fact that the bayoneting Sfax does not occur does not hold. sent12: that the billiardness does not occur hold if the fact that the pinking DO occurs or the pinking Lilo does not occur or both does not hold. sent13: that not the purveyance but the perfumery occurs is not true. sent14: if that the non-brunetness and the ideologicalness happens does not hold then the naming isobutylene occurs. sent15: the pinking DO does not occur. sent16: that the aversiveness occurs and the monopolization happens is false. sent17: the stemlessness brings about that the cleaving occurs.
void -> assump1: Let's assume that the pinking mortician occurs.; sent10 & assump1 -> int1: that the pinking DO happens and/or the pinking Lilo does not occur does not hold.; sent12 & int1 -> int2: the billiardness does not occur.; sent4 & int2 -> int3: that that the brunet does not occur but the ideologicalness occurs is wrong is not incorrect.; sent14 & int3 -> int4: the naming isobutylene happens.; [assump1] & int4 -> hypothesis;
the fact that the genuflecting occurs is not false.
$hypothesis$ = that if the pinking mortician happens the naming isobutylene happens is wrong. ; $context$ = sent1: if the stemlessness does not occur that both the convergence and the contingency happens is false. sent2: if the spreading does not occur then that the naming rand does not occur and the naming banning-order occurs is false. sent3: that both the head and the swoop occurs is not right. sent4: that the non-brunetness and the ideologicalness happens is false if the billiardness does not occur. sent5: the genuflecting happens if the disjunction happens. sent6: the genuflecting happens if the fact that the pinking mortician does not occur and the genuflecting does not occur does not hold. sent7: if the fact that the brunet occurs is not wrong the naming isobutylene happens. sent8: the pinking wok does not occur if that the ballgame happens and/or the pinking rebellion does not occur does not hold. sent9: the fact that the scraping does not occur and the sideshow happens is not correct. sent10: the fact that the pinking DO occurs and/or the pinking Lilo does not occur does not hold if the fact that the pinking mortician occurs is not incorrect. sent11: the fact that the bayoneting Sfax does not occur does not hold. sent12: that the billiardness does not occur hold if the fact that the pinking DO occurs or the pinking Lilo does not occur or both does not hold. sent13: that not the purveyance but the perfumery occurs is not true. sent14: if that the non-brunetness and the ideologicalness happens does not hold then the naming isobutylene occurs. sent15: the pinking DO does not occur. sent16: that the aversiveness occurs and the monopolization happens is false. sent17: the stemlessness brings about that the cleaving occurs. ; $proof$ = 
void -> assump1: Let's assume that the pinking mortician occurs.; sent10 & assump1 -> int1: that the pinking DO happens and/or the pinking Lilo does not occur does not hold.; sent12 & int1 -> int2: the billiardness does not occur.; sent4 & int2 -> int3: that that the brunet does not occur but the ideologicalness occurs is wrong is not incorrect.; sent14 & int3 -> int4: the naming isobutylene happens.; [assump1] & int4 -> hypothesis; __DISPROVED__