if the covering occurs the diffusing but not the about-face happens.
sent1: the fact that the impingement happens and the diffusedness happens hold if the noisiness does not occur. sent2: that the covering does not occur is brought about by that the shove-halfpenny but not the bractealness occurs. sent3: the about-face brings about that the shove-halfpenny does not occur and the bractealness does not occur. sent4: the impingement happens if the noisiness does not occur. sent5: the childcare happens but the outshouting headful does not occur. sent6: that the shove-halfpenny does not occur and the bractealness does not occur prevents that the covering does not occur. sent7: the noisiness does not occur. sent8: the cornhusking but not the hydroplaning happens. sent9: that the subscribing does not occur and the outshouting racer does not occur prevents that the disfranchisement occurs. sent10: the impingement happens. sent11: if not the shove-halfpenny but the bractealness happens the covering does not occur.
void -> assump2: Let's assume that the about-face occurs.; sent3 & assump2 -> int1: the shove-halfpenny does not occur and the bractealness does not occur.; void -> assump1: Let's assume that the covering happens.; sent1 & sent7 -> int2: the impingement happens and the diffusing happens.; int2 -> int3: the fact that the diffusedness happens is correct.;
the childcare happens and the luging happens.
sent5 -> int4: the childcare happens.;
$hypothesis$ = if the covering occurs the diffusing but not the about-face happens. ; $context$ = sent1: the fact that the impingement happens and the diffusedness happens hold if the noisiness does not occur. sent2: that the covering does not occur is brought about by that the shove-halfpenny but not the bractealness occurs. sent3: the about-face brings about that the shove-halfpenny does not occur and the bractealness does not occur. sent4: the impingement happens if the noisiness does not occur. sent5: the childcare happens but the outshouting headful does not occur. sent6: that the shove-halfpenny does not occur and the bractealness does not occur prevents that the covering does not occur. sent7: the noisiness does not occur. sent8: the cornhusking but not the hydroplaning happens. sent9: that the subscribing does not occur and the outshouting racer does not occur prevents that the disfranchisement occurs. sent10: the impingement happens. sent11: if not the shove-halfpenny but the bractealness happens the covering does not occur. ; $proof$ = 
void -> assump2: Let's assume that the about-face occurs.; sent3 & assump2 -> int1: the shove-halfpenny does not occur and the bractealness does not occur.; void -> assump1: Let's assume that the covering happens.; sent1 & sent7 -> int2: the impingement happens and the diffusing happens.; int2 -> int3: the fact that the diffusedness happens is correct.; __UNKNOWN__