either the dithyrambicness or that the consuetude does not occur or both is brought about by that the dried happens.
sent1: the subdividing Penn and/or the subdividing skill occurs if the pyrrhicness happens. sent2: if the drying occurs then the depreciation occurs. sent3: the Renaissance causes that the subdividing charm happens and/or the racing does not occur. sent4: if the depreciation happens then either the dithyrambicness occurs or the consuetude occurs or both.
void -> assump1: Let's assume that the dried happens.; sent2 & assump1 -> int1: the depreciation happens.;
$hypothesis$ = either the dithyrambicness or that the consuetude does not occur or both is brought about by that the dried happens. ; $context$ = sent1: the subdividing Penn and/or the subdividing skill occurs if the pyrrhicness happens. sent2: if the drying occurs then the depreciation occurs. sent3: the Renaissance causes that the subdividing charm happens and/or the racing does not occur. sent4: if the depreciation happens then either the dithyrambicness occurs or the consuetude occurs or both. ; $proof$ = 
void -> assump1: Let's assume that the dried happens.; sent2 & assump1 -> int1: the depreciation happens.; __UNKNOWN__