if the corpus is not a union then the opal is actinomorphic.
sent1: the fact that the corpus does circle pedantry hold if it is neotenic. sent2: if the fact that the paloverde factorizes decile hold then the opal is actinomorphic. sent3: either the paloverde is a kind of a sodomite or it does factorize decile or both if the corpus is not neotenic. sent4: if the corpus circles pedantry then it is a union.
void -> assump1: Let's assume that the corpus is neotenic.; sent1 & assump1 -> int1: that the corpus does circle pedantry is right.; int1 & sent4 -> int2: the corpus is a union.; void -> assump2: Let's assume that the corpus is not a kind of a union.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the corpus is not neotenic.; int4 & sent3 -> int5: the paloverde is a sodomite and/or it factorizes decile.;
$hypothesis$ = if the corpus is not a union then the opal is actinomorphic. ; $context$ = sent1: the fact that the corpus does circle pedantry hold if it is neotenic. sent2: if the fact that the paloverde factorizes decile hold then the opal is actinomorphic. sent3: either the paloverde is a kind of a sodomite or it does factorize decile or both if the corpus is not neotenic. sent4: if the corpus circles pedantry then it is a union. ; $proof$ = 
void -> assump1: Let's assume that the corpus is neotenic.; sent1 & assump1 -> int1: that the corpus does circle pedantry is right.; int1 & sent4 -> int2: the corpus is a union.; void -> assump2: Let's assume that the corpus is not a kind of a union.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the corpus is not neotenic.; int4 & sent3 -> int5: the paloverde is a sodomite and/or it factorizes decile.; __UNKNOWN__