the diclinousness happens.
sent1: the fact that both the burial and the non-astrologicalness occurs does not hold. sent2: the smoke occurs. sent3: the particularisticness does not occur. sent4: the prostate happens. sent5: the chancing millionaire does not occur and the fabricating fuller does not occur. sent6: the ahistoricalness happens. sent7: the fabricating tamer brings about that the chancing Lee does not occur. sent8: the fact that the chancing sphygmomanometer happens hold. sent9: if the fact that the fact that the transmigration does not occur and the preferment does not occur is not false does not hold then the sharing does not occur. sent10: the diclinousness occurs if the hesitation happens. sent11: the splenicness occurs. sent12: the exasperation happens if the interviewing happens. sent13: the fact that the sharing does not occur if the transmigration happens is right. sent14: if the fact that the Californianness does not occur and the chancing brim does not occur is incorrect then the stratification does not occur. sent15: the proposition does not occur if the fact that the strapping dimmer does not occur and the splenicness does not occur is wrong. sent16: the demineralizing pigskin does not occur if that the participation does not occur and the endodonticness does not occur does not hold. sent17: that the fueling occurs and the fabricating fuller does not occur is false. sent18: if the chancing prophetess happens then the redaction does not occur. sent19: the preferment occurs.
void -> assump1: Let's assume that the transmigration does not occur and the preferment does not occur.; assump1 -> int1: the preferment does not occur.; sent19 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the transmigration does not occur and the preferment does not occur is incorrect.; sent9 & int3 -> int4: the share does not occur.;
$hypothesis$ = the diclinousness happens. ; $context$ = sent1: the fact that both the burial and the non-astrologicalness occurs does not hold. sent2: the smoke occurs. sent3: the particularisticness does not occur. sent4: the prostate happens. sent5: the chancing millionaire does not occur and the fabricating fuller does not occur. sent6: the ahistoricalness happens. sent7: the fabricating tamer brings about that the chancing Lee does not occur. sent8: the fact that the chancing sphygmomanometer happens hold. sent9: if the fact that the fact that the transmigration does not occur and the preferment does not occur is not false does not hold then the sharing does not occur. sent10: the diclinousness occurs if the hesitation happens. sent11: the splenicness occurs. sent12: the exasperation happens if the interviewing happens. sent13: the fact that the sharing does not occur if the transmigration happens is right. sent14: if the fact that the Californianness does not occur and the chancing brim does not occur is incorrect then the stratification does not occur. sent15: the proposition does not occur if the fact that the strapping dimmer does not occur and the splenicness does not occur is wrong. sent16: the demineralizing pigskin does not occur if that the participation does not occur and the endodonticness does not occur does not hold. sent17: that the fueling occurs and the fabricating fuller does not occur is false. sent18: if the chancing prophetess happens then the redaction does not occur. sent19: the preferment occurs. ; $proof$ = 
void -> assump1: Let's assume that the transmigration does not occur and the preferment does not occur.; assump1 -> int1: the preferment does not occur.; sent19 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the transmigration does not occur and the preferment does not occur is incorrect.; sent9 & int3 -> int4: the share does not occur.; __UNKNOWN__