the aquatics and the non-corporatistness occurs.
sent1: if the fact that the ghost and the misremembering portiere occurs is not right then the ghost does not occur. sent2: the non-carinalness is caused by the non-geocentricness. sent3: the misremembering antiphonary does not occur if the snipping does not occur. sent4: if that the about-face does not occur and the rosaceousness happens is false the allogamousness does not occur. sent5: the geocentricness does not occur. sent6: if the multiformness occurs then the fact that the about-facing does not occur and the rosaceousness happens does not hold. sent7: if the allogamousness does not occur the aquaticsness but not the corporatist occurs. sent8: if the misremembering antiphonary does not occur that both the fitting and the obtrusiveness happens is not correct. sent9: the multiformness happens if not the fitting but the misremembering portiere happens. sent10: that the carinalness does not occur and the untuning screwup does not occur is caused by that the geocentricness does not occur. sent11: the fact that the carinalness does not occur and the untuning screwup does not occur is not true if the misremembering portiere does not occur. sent12: that not the trading but the snips happens is not true. sent13: that the resecting clabber and the rushing happens does not hold. sent14: if that the trading does not occur and the snips happens is not right the misremembering antiphonary does not occur. sent15: the non-aquaticsness yields that the allogamousness does not occur and the about-face does not occur. sent16: if the about-face does not occur that both the ghost and the misremembering portiere occurs is incorrect.
void -> assump1: Let's assume that the misremembering portiere does not occur.; sent11 & assump1 -> int1: that the carinalness does not occur and the untuning screwup does not occur does not hold.; sent10 & sent5 -> int2: the carinalness does not occur and the untuning screwup does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the misremembering portiere occurs.; sent14 & sent12 -> int5: the misremembering antiphonary does not occur.; sent8 & int5 -> int6: that both the fitting and the obtrusiveness occurs is not correct.;
the fact that the aquatics but not the corporatist occurs is wrong.
 -> hypothesis;
$hypothesis$ = the aquatics and the non-corporatistness occurs. ; $context$ = sent1: if the fact that the ghost and the misremembering portiere occurs is not right then the ghost does not occur. sent2: the non-carinalness is caused by the non-geocentricness. sent3: the misremembering antiphonary does not occur if the snipping does not occur. sent4: if that the about-face does not occur and the rosaceousness happens is false the allogamousness does not occur. sent5: the geocentricness does not occur. sent6: if the multiformness occurs then the fact that the about-facing does not occur and the rosaceousness happens does not hold. sent7: if the allogamousness does not occur the aquaticsness but not the corporatist occurs. sent8: if the misremembering antiphonary does not occur that both the fitting and the obtrusiveness happens is not correct. sent9: the multiformness happens if not the fitting but the misremembering portiere happens. sent10: that the carinalness does not occur and the untuning screwup does not occur is caused by that the geocentricness does not occur. sent11: the fact that the carinalness does not occur and the untuning screwup does not occur is not true if the misremembering portiere does not occur. sent12: that not the trading but the snips happens is not true. sent13: that the resecting clabber and the rushing happens does not hold. sent14: if that the trading does not occur and the snips happens is not right the misremembering antiphonary does not occur. sent15: the non-aquaticsness yields that the allogamousness does not occur and the about-face does not occur. sent16: if the about-face does not occur that both the ghost and the misremembering portiere occurs is incorrect. ; $proof$ = 
void -> assump1: Let's assume that the misremembering portiere does not occur.; sent11 & assump1 -> int1: that the carinalness does not occur and the untuning screwup does not occur does not hold.; sent10 & sent5 -> int2: the carinalness does not occur and the untuning screwup does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the misremembering portiere occurs.; sent14 & sent12 -> int5: the misremembering antiphonary does not occur.; sent8 & int5 -> int6: that both the fitting and the obtrusiveness occurs is not correct.; __UNKNOWN__