if the bacillarness occurs then not the nosocomialness but the belaboring prince's-plume occurs.
sent1: the belaboring prince's-plume occurs if the intercourse but not the socializing happens. sent2: if the fact that the belaboring prince's-plume but not the socializing happens does not hold then the belaboring prince's-plume does not occur. sent3: if both the non-bacillarness and the nosocomialness happens then the tunelessness occurs. sent4: the fact that the chelicerousness occurs and the presuming does not occur does not hold. sent5: if the tunelessness occurs then the supposing occurs. sent6: that both the tunelessness and the bacillarness happens is not right. sent7: the nosocomialness does not occur if that the tunelessness happens but the bacillarness does not occur is not true.
void -> assump2: Let's assume that the tunelessness and the non-bacillarness occurs.; assump2 -> int1: the bacillarness does not occur.; void -> assump1: Let's assume that the bacillarness happens.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the tunelessness but not the bacillarness happens is not right.; int3 & sent7 -> int4: the nosocomialness does not occur.;
the supposing happens.
$hypothesis$ = if the bacillarness occurs then not the nosocomialness but the belaboring prince's-plume occurs. ; $context$ = sent1: the belaboring prince's-plume occurs if the intercourse but not the socializing happens. sent2: if the fact that the belaboring prince's-plume but not the socializing happens does not hold then the belaboring prince's-plume does not occur. sent3: if both the non-bacillarness and the nosocomialness happens then the tunelessness occurs. sent4: the fact that the chelicerousness occurs and the presuming does not occur does not hold. sent5: if the tunelessness occurs then the supposing occurs. sent6: that both the tunelessness and the bacillarness happens is not right. sent7: the nosocomialness does not occur if that the tunelessness happens but the bacillarness does not occur is not true. ; $proof$ = 
void -> assump2: Let's assume that the tunelessness and the non-bacillarness occurs.; assump2 -> int1: the bacillarness does not occur.; void -> assump1: Let's assume that the bacillarness happens.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the tunelessness but not the bacillarness happens is not right.; int3 & sent7 -> int4: the nosocomialness does not occur.; __UNKNOWN__