if the mazer is theosophical then the procaine does not gladden dynast.
sent1: the fact that something that is not non-destructive and/or is not a morphology does not gladden dynast hold. sent2: if the procaine is a kind of a poor or it is not a morphology or both then it does not collogue. sent3: the procaine is not destructive. sent4: if something is destructive and/or is not a morphology then it does gladden dynast. sent5: the fact that the mazer either is a kind of a buskin or is not offensive or both is not true. sent6: if something is destructive then it does not gladden dynast. sent7: the procaine is not a morphology if the mazer gladdens dynast. sent8: if the procaine is destructive and/or it is not a kind of a morphology it gladdens dynast. sent9: the procaine gladdens dynast. sent10: if the mazer is theosophical then the procaine does gladden dynast. sent11: if something either is not non-destructive or is not a morphology or both then that it is not theosophical is not false. sent12: the procaine does not gladden dynast if it is destructive.
void -> assump2: Let's assume that that either the procaine is not non-destructive or it is not a morphology or both is not correct.; void -> assump1: Let's assume that the mazer is not non-theosophical.; sent1 -> int1: the procaine does not gladden dynast if it either is destructive or is not a morphology or both.;
$hypothesis$ = if the mazer is theosophical then the procaine does not gladden dynast. ; $context$ = sent1: the fact that something that is not non-destructive and/or is not a morphology does not gladden dynast hold. sent2: if the procaine is a kind of a poor or it is not a morphology or both then it does not collogue. sent3: the procaine is not destructive. sent4: if something is destructive and/or is not a morphology then it does gladden dynast. sent5: the fact that the mazer either is a kind of a buskin or is not offensive or both is not true. sent6: if something is destructive then it does not gladden dynast. sent7: the procaine is not a morphology if the mazer gladdens dynast. sent8: if the procaine is destructive and/or it is not a kind of a morphology it gladdens dynast. sent9: the procaine gladdens dynast. sent10: if the mazer is theosophical then the procaine does gladden dynast. sent11: if something either is not non-destructive or is not a morphology or both then that it is not theosophical is not false. sent12: the procaine does not gladden dynast if it is destructive. ; $proof$ = 
void -> assump2: Let's assume that that either the procaine is not non-destructive or it is not a morphology or both is not correct.; void -> assump1: Let's assume that the mazer is not non-theosophical.; sent1 -> int1: the procaine does not gladden dynast if it either is destructive or is not a morphology or both.; __UNKNOWN__