if the fact that the sari diverges hold the Areopagite is arbitrary.
sent1: the Areopagite is not a kind of a pork if the fact that the sari diverges and is a kind of a snarer is correct. sent2: if something is not a pork the fact that it does not abuse dryness and is not a kind of a spatter does not hold. sent3: something is arbitrary if that it does not abuse dryness and is not a spatter is not right. sent4: the sari is a kind of a snarer.
void -> assump1: Let's assume that the sari does diverge.; assump1 & sent4 -> int1: the sari diverges and is a snarer.; int1 & sent1 -> int2: the Areopagite is not a kind of a pork.; sent2 -> int3: the fact that the Areopagite does not abuse dryness and is not a spatter is not right if it is not a pork.; int2 & int3 -> int4: the fact that the Areopagite does not abuse dryness and is not a kind of a spatter does not hold.; sent3 -> int5: the Areopagite is not nonarbitrary if that it does not abuse dryness and is not a spatter is wrong.; int4 & int5 -> int6: the Areopagite is arbitrary.; [assump1] & int6 -> hypothesis;
$hypothesis$ = if the fact that the sari diverges hold the Areopagite is arbitrary. ; $context$ = sent1: the Areopagite is not a kind of a pork if the fact that the sari diverges and is a kind of a snarer is correct. sent2: if something is not a pork the fact that it does not abuse dryness and is not a kind of a spatter does not hold. sent3: something is arbitrary if that it does not abuse dryness and is not a spatter is not right. sent4: the sari is a kind of a snarer. ; $proof$ = 
void -> assump1: Let's assume that the sari does diverge.; assump1 & sent4 -> int1: the sari diverges and is a snarer.; int1 & sent1 -> int2: the Areopagite is not a kind of a pork.; sent2 -> int3: the fact that the Areopagite does not abuse dryness and is not a spatter is not right if it is not a pork.; int2 & int3 -> int4: the fact that the Areopagite does not abuse dryness and is not a kind of a spatter does not hold.; sent3 -> int5: the Areopagite is not nonarbitrary if that it does not abuse dryness and is not a spatter is wrong.; int4 & int5 -> int6: the Areopagite is arbitrary.; [assump1] & int6 -> hypothesis; __PROVED__