the fact that the basset does not occur hold.
sent1: the fact that the exculpatoriness and the frittering Durio occurs is wrong. sent2: the fact that the polychromaticness happens and the calyptrateness occurs does not hold. sent3: the cycling occurs and the restoring flagpole happens. sent4: the basseting does not occur if the e-mail does not occur and the dissimilating Rasmussen happens. sent5: if the basset does not occur then the fact that both the polychromaticness and the non-calyptrateness occurs is wrong. sent6: the e-mail does not occur if the calyptrateness occurs. sent7: the frittering Durio does not occur if the fact that both the exculpatoriness and the frittering Durio happens is wrong. sent8: the hedging Ohio happens. sent9: if not the frittering Durio but the cycling happens then the fact that the dissimilating Rasmussen happens is correct. sent10: if the fact that the polychromaticness and the non-calyptrateness occurs is not correct then the e-mailing does not occur. sent11: the percussion and the tearlessness occurs. sent12: that the dissimilating Rasmussen does not occur is caused by that the e-mailing does not occur.
void -> assump1: Let's assume that the basseting does not occur.; sent5 & assump1 -> int1: that the polychromaticness and the non-calyptrateness happens does not hold.; int1 & sent10 -> int2: the e-mailing does not occur.; int2 & sent12 -> int3: the dissimilating Rasmussen does not occur.; sent7 & sent1 -> int4: the frittering Durio does not occur.; sent3 -> int5: the fact that the cycling occurs is not wrong.; int4 & int5 -> int6: not the frittering Durio but the cycle happens.; sent9 & int6 -> int7: the dissimilating Rasmussen happens.; int3 & int7 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis;
the basseting does not occur.
$hypothesis$ = the fact that the basset does not occur hold. ; $context$ = sent1: the fact that the exculpatoriness and the frittering Durio occurs is wrong. sent2: the fact that the polychromaticness happens and the calyptrateness occurs does not hold. sent3: the cycling occurs and the restoring flagpole happens. sent4: the basseting does not occur if the e-mail does not occur and the dissimilating Rasmussen happens. sent5: if the basset does not occur then the fact that both the polychromaticness and the non-calyptrateness occurs is wrong. sent6: the e-mail does not occur if the calyptrateness occurs. sent7: the frittering Durio does not occur if the fact that both the exculpatoriness and the frittering Durio happens is wrong. sent8: the hedging Ohio happens. sent9: if not the frittering Durio but the cycling happens then the fact that the dissimilating Rasmussen happens is correct. sent10: if the fact that the polychromaticness and the non-calyptrateness occurs is not correct then the e-mailing does not occur. sent11: the percussion and the tearlessness occurs. sent12: that the dissimilating Rasmussen does not occur is caused by that the e-mailing does not occur. ; $proof$ = 
void -> assump1: Let's assume that the basseting does not occur.; sent5 & assump1 -> int1: that the polychromaticness and the non-calyptrateness happens does not hold.; int1 & sent10 -> int2: the e-mailing does not occur.; int2 & sent12 -> int3: the dissimilating Rasmussen does not occur.; sent7 & sent1 -> int4: the frittering Durio does not occur.; sent3 -> int5: the fact that the cycling occurs is not wrong.; int4 & int5 -> int6: not the frittering Durio but the cycle happens.; sent9 & int6 -> int7: the dissimilating Rasmussen happens.; int3 & int7 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis; __DISPROVED__