the synthesizing smallpox does not occur.
sent1: if the unsociableness happens then the fact that the ether does not occur but the synthesizing stammerer happens is wrong. sent2: that if the fossiliferousness occurs that the supply does not occur and the indiscernibleness happens is false is not incorrect. sent3: that the screech does not occur is caused by that the glottalness and the anterogradeness occurs. sent4: if the mellowing axle does not occur then the mellowing bob does not occur. sent5: the synthesizing backdoor does not occur if the mellowing bob does not occur. sent6: if that the mellowing axle occurs and the stewardship happens is incorrect then the mellowing bob does not occur. sent7: that both the mellowing axle and the stewardship happens is wrong if the uncomfortableness does not occur. sent8: the sharing happens. sent9: the screech occurs if the fact that not the ether but the synthesizing stammerer occurs is wrong. sent10: the fact that the screech does not occur and the glottalness occurs is not true if the anterogradeness does not occur. sent11: if that the afloatness and/or the synthesizing backdoor happens is wrong then the synthesizing smallpox does not occur. sent12: if the mellowing axle does not occur then the stewardship does not occur and the anterogradeness does not occur. sent13: the glottalness happens if the uncomfortableness happens. sent14: if the sharing happens the anterogradeness occurs. sent15: the fact that that the afloatness happens or the synthesizing backdoor occurs or both is incorrect is true if the mellowing bob does not occur. sent16: the screech happens if the synthesizing stammerer does not occur.
void -> assump1: Let's assume that the uncomfortableness occurs.; sent13 & assump1 -> int1: the glottalness happens.; sent14 & sent8 -> int2: the anterogradeness occurs.; int1 & int2 -> int3: the glottalness and the anterogradeness occurs.; int3 & sent3 -> int4: the screech does not occur.;
the synthesizing smallpox occurs.
$hypothesis$ = the synthesizing smallpox does not occur. ; $context$ = sent1: if the unsociableness happens then the fact that the ether does not occur but the synthesizing stammerer happens is wrong. sent2: that if the fossiliferousness occurs that the supply does not occur and the indiscernibleness happens is false is not incorrect. sent3: that the screech does not occur is caused by that the glottalness and the anterogradeness occurs. sent4: if the mellowing axle does not occur then the mellowing bob does not occur. sent5: the synthesizing backdoor does not occur if the mellowing bob does not occur. sent6: if that the mellowing axle occurs and the stewardship happens is incorrect then the mellowing bob does not occur. sent7: that both the mellowing axle and the stewardship happens is wrong if the uncomfortableness does not occur. sent8: the sharing happens. sent9: the screech occurs if the fact that not the ether but the synthesizing stammerer occurs is wrong. sent10: the fact that the screech does not occur and the glottalness occurs is not true if the anterogradeness does not occur. sent11: if that the afloatness and/or the synthesizing backdoor happens is wrong then the synthesizing smallpox does not occur. sent12: if the mellowing axle does not occur then the stewardship does not occur and the anterogradeness does not occur. sent13: the glottalness happens if the uncomfortableness happens. sent14: if the sharing happens the anterogradeness occurs. sent15: the fact that that the afloatness happens or the synthesizing backdoor occurs or both is incorrect is true if the mellowing bob does not occur. sent16: the screech happens if the synthesizing stammerer does not occur. ; $proof$ = 
void -> assump1: Let's assume that the uncomfortableness occurs.; sent13 & assump1 -> int1: the glottalness happens.; sent14 & sent8 -> int2: the anterogradeness occurs.; int1 & int2 -> int3: the glottalness and the anterogradeness occurs.; int3 & sent3 -> int4: the screech does not occur.; __UNKNOWN__