the moderating happens.
sent1: if the prevailing does not occur the storage occurs and the freight happens. sent2: the translationalness does not occur if the salting steerageway and the discountenancing Brinton happens. sent3: if the mud-brickness does not occur the salting steerageway occurs. sent4: that the salting steerageway happens hold if the translationalness does not occur. sent5: if the smooching occurs that the moderateness occurs is not wrong. sent6: if that the non-mud-brickness and/or the non-translationalness occurs is not right then the discountenancing Brinton occurs. sent7: that the discountenancing broadsword occurs and the mud-brickness occurs is caused by the nontranslationalness. sent8: if the storage occurs that the sizzling and the non-inscriptiveness occurs does not hold. sent9: the leadership and the amnioticness occurs if the compartmentalizing wallboard does not occur. sent10: the aerosol does not occur. sent11: if the leadership occurs then that the fact that not the compartmentalizing sling but the moderating happens is false is not wrong. sent12: the smooching happens if the discountenancing Brinton happens. sent13: if that the fact that the fact that the sizzle but not the inscriptiveness happens is correct is incorrect is true then the compartmentalizing wallboard does not occur.
void -> assump1: Let's assume that the mud-brickness does not occur and/or the translationalness does not occur.; assump1 & sent3 & sent4 -> int1: the salting steerageway occurs.;
the discountenancing broadsword occurs.
$hypothesis$ = the moderating happens. ; $context$ = sent1: if the prevailing does not occur the storage occurs and the freight happens. sent2: the translationalness does not occur if the salting steerageway and the discountenancing Brinton happens. sent3: if the mud-brickness does not occur the salting steerageway occurs. sent4: that the salting steerageway happens hold if the translationalness does not occur. sent5: if the smooching occurs that the moderateness occurs is not wrong. sent6: if that the non-mud-brickness and/or the non-translationalness occurs is not right then the discountenancing Brinton occurs. sent7: that the discountenancing broadsword occurs and the mud-brickness occurs is caused by the nontranslationalness. sent8: if the storage occurs that the sizzling and the non-inscriptiveness occurs does not hold. sent9: the leadership and the amnioticness occurs if the compartmentalizing wallboard does not occur. sent10: the aerosol does not occur. sent11: if the leadership occurs then that the fact that not the compartmentalizing sling but the moderating happens is false is not wrong. sent12: the smooching happens if the discountenancing Brinton happens. sent13: if that the fact that the fact that the sizzle but not the inscriptiveness happens is correct is incorrect is true then the compartmentalizing wallboard does not occur. ; $proof$ = 
void -> assump1: Let's assume that the mud-brickness does not occur and/or the translationalness does not occur.; assump1 & sent3 & sent4 -> int1: the salting steerageway occurs.; __UNKNOWN__