the sickening satinleaf does not occur if the caravan does not occur.
sent1: the mutation does not occur if that the mutation but not the divisionalness occurs is false. sent2: if the Mills does not occur then not the suborning onomancer but the scab happens. sent3: that both the phagocyticness and the soothing occurs is caused by the non-irregularness. sent4: the sickening satinleaf occurs or the caravanning occurs or both if that the catalyticness does not occur is not incorrect. sent5: if the unexportableness does not occur then the rolling happens and the insectivorousness happens. sent6: if the rolling occurs then the fact that the mutation occurs but the divisionalness does not occur is not true. sent7: the fact that the caravan happens is not wrong if the fact that the sickening satinleaf occurs is right. sent8: if the caravanning happens then that the sickening satinleaf does not occur hold. sent9: if the caravanning does not occur then the sickening satinleaf happens. sent10: the Mills does not occur and the Moldovanness does not occur if the mutation does not occur. sent11: if the fact that the suborning lysosome does not occur is not wrong that the waxing occurs and the gathering gopher does not occur is not right. sent12: if the fact that the waxing happens and the gathering gopher does not occur is wrong then the fact that the catalyticness does not occur is not wrong. sent13: if that the soothing occurs hold then the unexportableness does not occur and the briefing does not occur. sent14: if not the suborning onomancer but the scab occurs then the suborning lysosome does not occur.
void -> assump1: Let's assume that the sickening satinleaf occurs.; sent7 & assump1 -> int1: the caravanning happens.; void -> assump2: Let's assume that the caravan does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the sickening satinleaf does not occur.; [assump2] & int3 -> hypothesis;
the suborning misalliance happens.
$hypothesis$ = the sickening satinleaf does not occur if the caravan does not occur. ; $context$ = sent1: the mutation does not occur if that the mutation but not the divisionalness occurs is false. sent2: if the Mills does not occur then not the suborning onomancer but the scab happens. sent3: that both the phagocyticness and the soothing occurs is caused by the non-irregularness. sent4: the sickening satinleaf occurs or the caravanning occurs or both if that the catalyticness does not occur is not incorrect. sent5: if the unexportableness does not occur then the rolling happens and the insectivorousness happens. sent6: if the rolling occurs then the fact that the mutation occurs but the divisionalness does not occur is not true. sent7: the fact that the caravan happens is not wrong if the fact that the sickening satinleaf occurs is right. sent8: if the caravanning happens then that the sickening satinleaf does not occur hold. sent9: if the caravanning does not occur then the sickening satinleaf happens. sent10: the Mills does not occur and the Moldovanness does not occur if the mutation does not occur. sent11: if the fact that the suborning lysosome does not occur is not wrong that the waxing occurs and the gathering gopher does not occur is not right. sent12: if the fact that the waxing happens and the gathering gopher does not occur is wrong then the fact that the catalyticness does not occur is not wrong. sent13: if that the soothing occurs hold then the unexportableness does not occur and the briefing does not occur. sent14: if not the suborning onomancer but the scab occurs then the suborning lysosome does not occur. ; $proof$ = 
void -> assump1: Let's assume that the sickening satinleaf occurs.; sent7 & assump1 -> int1: the caravanning happens.; void -> assump2: Let's assume that the caravan does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the sickening satinleaf does not occur.; [assump2] & int3 -> hypothesis; __PROVED__