the evacuation does not occur.
sent1: the choleraicness does not occur and the individuating unkindness does not occur if that the jostling oolong occurs is true. sent2: if the jostling oolong does not occur then the individuating unkindness does not occur. sent3: the evacuation causes that the calisthenicness occurs. sent4: the jostling oolong does not occur. sent5: the individuating unkindness does not occur. sent6: the invocation does not occur and the choleraicness does not occur. sent7: the choleraicness does not occur. sent8: the kidnapping demurrage occurs if the calisthenicness occurs. sent9: that the kidnapping demurrage but not the invocation occurs prevents the gastromy.
void -> assump1: Let's assume that the evacuation happens.; sent3 & assump1 -> int1: that the calisthenicness occurs hold.; int1 & sent8 -> int2: the kidnapping demurrage occurs.; sent6 -> int3: the invocation does not occur.; int2 & int3 -> int4: the kidnapping demurrage happens but the invocation does not occur.; int4 & sent9 -> int5: that the gastromy does not occur is not false.;
the evacuation happens.
$hypothesis$ = the evacuation does not occur. ; $context$ = sent1: the choleraicness does not occur and the individuating unkindness does not occur if that the jostling oolong occurs is true. sent2: if the jostling oolong does not occur then the individuating unkindness does not occur. sent3: the evacuation causes that the calisthenicness occurs. sent4: the jostling oolong does not occur. sent5: the individuating unkindness does not occur. sent6: the invocation does not occur and the choleraicness does not occur. sent7: the choleraicness does not occur. sent8: the kidnapping demurrage occurs if the calisthenicness occurs. sent9: that the kidnapping demurrage but not the invocation occurs prevents the gastromy. ; $proof$ = 
void -> assump1: Let's assume that the evacuation happens.; sent3 & assump1 -> int1: that the calisthenicness occurs hold.; int1 & sent8 -> int2: the kidnapping demurrage occurs.; sent6 -> int3: the invocation does not occur.; int2 & int3 -> int4: the kidnapping demurrage happens but the invocation does not occur.; int4 & sent9 -> int5: that the gastromy does not occur is not false.; __UNKNOWN__