if the conscripting bullethead does not occur the gobbling happens and the denationalizing teak happens.
sent1: if the conscripting bullethead does not occur then not the IW but the salutatory happens. sent2: if the conscripting Worcester does not occur the ctenoidness happens. sent3: the fact that the gobbling does not occur and the denationalizing teak does not occur is not right. sent4: the grinding fossa and the hackwork occurs. sent5: the IW does not occur if the conscripting bullethead does not occur. sent6: that the gobble happens is brought about by that the IW does not occur and the salutatory happens. sent7: the IW does not occur and the salutatory happens if the conscripting bullethead happens. sent8: if the fact that the gobbling does not occur and the denationalizing teak does not occur is incorrect then the emigration happens. sent9: the gobble occurs if the IW occurs and the salutatory happens. sent10: if the conscripting Worcester does not occur then that both the denationalizing teak and the ctenoidness occurs is not false.
void -> assump1: Let's assume that the conscripting bullethead does not occur.; sent1 & assump1 -> int1: the IW does not occur but the salutatory happens.; int1 & sent6 -> int2: the fact that the gobble happens is correct.;
the emigration and the obliterating happens.
sent8 & sent3 -> int3: the emigration occurs.;
$hypothesis$ = if the conscripting bullethead does not occur the gobbling happens and the denationalizing teak happens. ; $context$ = sent1: if the conscripting bullethead does not occur then not the IW but the salutatory happens. sent2: if the conscripting Worcester does not occur the ctenoidness happens. sent3: the fact that the gobbling does not occur and the denationalizing teak does not occur is not right. sent4: the grinding fossa and the hackwork occurs. sent5: the IW does not occur if the conscripting bullethead does not occur. sent6: that the gobble happens is brought about by that the IW does not occur and the salutatory happens. sent7: the IW does not occur and the salutatory happens if the conscripting bullethead happens. sent8: if the fact that the gobbling does not occur and the denationalizing teak does not occur is incorrect then the emigration happens. sent9: the gobble occurs if the IW occurs and the salutatory happens. sent10: if the conscripting Worcester does not occur then that both the denationalizing teak and the ctenoidness occurs is not false. ; $proof$ = 
void -> assump1: Let's assume that the conscripting bullethead does not occur.; sent1 & assump1 -> int1: the IW does not occur but the salutatory happens.; int1 & sent6 -> int2: the fact that the gobble happens is correct.; __UNKNOWN__