the no-goness does not occur.
sent1: the arousing Crete happens. sent2: if the barbing Tenthredinidae does not occur the emergence happens but the slavery does not occur. sent3: the Botswananness does not occur. sent4: if the barbing pectoral does not occur the no-goness occurs and the arousing medroxyprogesterone occurs. sent5: that the immolation does not occur leads to the non-no-goness. sent6: the barbing Tenthredinidae does not occur. sent7: that the emergence does not occur is caused by that both the arousing medroxyprogesterone and the barbing pectoral happens. sent8: that the overpowering jargoon does not occur causes that the emergence does not occur but the immolation occurs. sent9: the barbing pectoral occurs. sent10: the fact that the squint does not occur is not false if the gambling does not occur. sent11: the slavery does not occur.
void -> assump1: Let's assume that the arousing medroxyprogesterone happens.; assump1 & sent9 -> int1: the arousing medroxyprogesterone happens and the barbing pectoral happens.; int1 & sent7 -> int2: that the emergence does not occur is not false.; sent2 & sent6 -> int3: the emergence but not the slavery happens.; int3 -> int4: the emergence occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the arousing medroxyprogesterone does not occur.;
the no-goness occurs.
$hypothesis$ = the no-goness does not occur. ; $context$ = sent1: the arousing Crete happens. sent2: if the barbing Tenthredinidae does not occur the emergence happens but the slavery does not occur. sent3: the Botswananness does not occur. sent4: if the barbing pectoral does not occur the no-goness occurs and the arousing medroxyprogesterone occurs. sent5: that the immolation does not occur leads to the non-no-goness. sent6: the barbing Tenthredinidae does not occur. sent7: that the emergence does not occur is caused by that both the arousing medroxyprogesterone and the barbing pectoral happens. sent8: that the overpowering jargoon does not occur causes that the emergence does not occur but the immolation occurs. sent9: the barbing pectoral occurs. sent10: the fact that the squint does not occur is not false if the gambling does not occur. sent11: the slavery does not occur. ; $proof$ = 
void -> assump1: Let's assume that the arousing medroxyprogesterone happens.; assump1 & sent9 -> int1: the arousing medroxyprogesterone happens and the barbing pectoral happens.; int1 & sent7 -> int2: that the emergence does not occur is not false.; sent2 & sent6 -> int3: the emergence but not the slavery happens.; int3 -> int4: the emergence occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the arousing medroxyprogesterone does not occur.; __UNKNOWN__