the occupation does not occur.
sent1: the Chinaman happens if the fact that the queen does not occur and the grouping does not occur is not true. sent2: that the contracture does not occur hold if the AC and the squeegeeing minivan happens. sent3: if the contracture does not occur then the powwowing immunocompetence does not occur and the hypotonicness does not occur. sent4: the grouping does not occur if that the queen does not occur and the Chinaman happens is wrong. sent5: the powwowing immunocompetence happens if the fact that the seductiveness does not occur hold. sent6: the AC happens if that the condensing occurs is not incorrect. sent7: that that both the non-microelectronicness and the powwowing Emydidae happens is not correct hold. sent8: the squeegeeing minivan occurs. sent9: the condensing and/or the raftering canvasback occurs. sent10: if the seductiveness happens then the underwriting occurs. sent11: if the contracture occurs not the powwowing bulk but the hypotonicness happens. sent12: the contracture and the squeegeeing minivan occurs. sent13: if the powwowing immunocompetence occurs the occupation occurs. sent14: the fact that the sphericalness does not occur is not wrong. sent15: the picturing does not occur. sent16: that the hypotonicness does not occur is prevented by that the contracture happens. sent17: if the underwriting occurs then that the queen does not occur and the grouping does not occur does not hold. sent18: the fact that not the queen but the Chinaman happens does not hold if the powwowing bulk happens. sent19: if the Chinaman happens that the Mycenaeanness occurs and the powwowing bulk does not occur does not hold. sent20: if the underwriting happens the fact that not the queen but the grouping occurs is not true. sent21: the Mycenaeanness occurs.
void -> assump1: Let's assume that the fact that the seductiveness happens hold.; sent10 & assump1 -> int1: the underwriting happens.; int1 & sent17 -> int2: that the queen does not occur and the grouping does not occur is incorrect.; int2 & sent1 -> int3: the Chinaman happens.; int3 & sent19 -> int4: the fact that the Mycenaeanness but not the powwowing bulk happens is not right.; sent12 -> int5: the contracture happens.; sent11 & int5 -> int6: the powwowing bulk does not occur and the hypotonicness occurs.; int6 -> int7: the powwowing bulk does not occur.; sent21 & int7 -> int8: the Mycenaeanness but not the powwowing bulk happens.; int4 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: the fact that the seductiveness does not occur is not false.; int10 & sent5 -> int11: the powwowing immunocompetence happens.; int11 & sent13 -> hypothesis;
the occupation does not occur.
$hypothesis$ = the occupation does not occur. ; $context$ = sent1: the Chinaman happens if the fact that the queen does not occur and the grouping does not occur is not true. sent2: that the contracture does not occur hold if the AC and the squeegeeing minivan happens. sent3: if the contracture does not occur then the powwowing immunocompetence does not occur and the hypotonicness does not occur. sent4: the grouping does not occur if that the queen does not occur and the Chinaman happens is wrong. sent5: the powwowing immunocompetence happens if the fact that the seductiveness does not occur hold. sent6: the AC happens if that the condensing occurs is not incorrect. sent7: that that both the non-microelectronicness and the powwowing Emydidae happens is not correct hold. sent8: the squeegeeing minivan occurs. sent9: the condensing and/or the raftering canvasback occurs. sent10: if the seductiveness happens then the underwriting occurs. sent11: if the contracture occurs not the powwowing bulk but the hypotonicness happens. sent12: the contracture and the squeegeeing minivan occurs. sent13: if the powwowing immunocompetence occurs the occupation occurs. sent14: the fact that the sphericalness does not occur is not wrong. sent15: the picturing does not occur. sent16: that the hypotonicness does not occur is prevented by that the contracture happens. sent17: if the underwriting occurs then that the queen does not occur and the grouping does not occur does not hold. sent18: the fact that not the queen but the Chinaman happens does not hold if the powwowing bulk happens. sent19: if the Chinaman happens that the Mycenaeanness occurs and the powwowing bulk does not occur does not hold. sent20: if the underwriting happens the fact that not the queen but the grouping occurs is not true. sent21: the Mycenaeanness occurs. ; $proof$ = 
void -> assump1: Let's assume that the fact that the seductiveness happens hold.; sent10 & assump1 -> int1: the underwriting happens.; int1 & sent17 -> int2: that the queen does not occur and the grouping does not occur is incorrect.; int2 & sent1 -> int3: the Chinaman happens.; int3 & sent19 -> int4: the fact that the Mycenaeanness but not the powwowing bulk happens is not right.; sent12 -> int5: the contracture happens.; sent11 & int5 -> int6: the powwowing bulk does not occur and the hypotonicness occurs.; int6 -> int7: the powwowing bulk does not occur.; sent21 & int7 -> int8: the Mycenaeanness but not the powwowing bulk happens.; int4 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: the fact that the seductiveness does not occur is not false.; int10 & sent5 -> int11: the powwowing immunocompetence happens.; int11 & sent13 -> hypothesis; __DISPROVED__