the fact that if the welcoming does not occur then the bat does not occur and the perplexing paleface occurs is not wrong.
sent1: the excising gunnel occurs. sent2: that the welcomeness does not occur yields that the bat does not occur. sent3: if the welcome occurs but the unbosoming does not occur the biomedicalness does not occur. sent4: if the welcome happens then the batting does not occur but the perplexing paleface happens. sent5: the decimalization happens if the perpetration happens. sent6: the fact that the perplexing monsoon does not occur hold. sent7: the batting does not occur but the perplexing paleface happens if the unbosoming does not occur. sent8: the batting does not occur if the unbosoming does not occur. sent9: the batting does not occur.
void -> assump2: Let's assume that the unbosoming occurs.;
the biomedicalness does not occur.
$hypothesis$ = the fact that if the welcoming does not occur then the bat does not occur and the perplexing paleface occurs is not wrong. ; $context$ = sent1: the excising gunnel occurs. sent2: that the welcomeness does not occur yields that the bat does not occur. sent3: if the welcome occurs but the unbosoming does not occur the biomedicalness does not occur. sent4: if the welcome happens then the batting does not occur but the perplexing paleface happens. sent5: the decimalization happens if the perpetration happens. sent6: the fact that the perplexing monsoon does not occur hold. sent7: the batting does not occur but the perplexing paleface happens if the unbosoming does not occur. sent8: the batting does not occur if the unbosoming does not occur. sent9: the batting does not occur. ; $proof$ = 
void -> assump2: Let's assume that the unbosoming occurs.; __UNKNOWN__