the P.A. is not a submediant.
sent1: something is not diaphoretic and is not a Monopoly if it does not murmur pointillist. sent2: the P.A. is a kind of a submediant if that the hellbender is a submediant or is not circulative or both is false. sent3: the fact that something is a submediant or it is not circulative or both is false if it does not create. sent4: if the pointillist is not non-diaphoretic then that the burg does create and/or is not a kind of a Monopoly is incorrect. sent5: there is something such that the fact that it is a poisonberry and it murmurs Pyralis does not hold. sent6: if the fact that the burg creates and/or it is not a Monopoly does not hold the mix does not creates. sent7: if the mix does not create but it is circulative the burg is not a kind of a diaphoretic. sent8: the fact that the transactinide does murmur pointillist but it is not Napoleonic is not correct if it is not a letterer. sent9: the mix does not create and is not non-circulative if the hellbender is non-circulative. sent10: the mix is circulative if the hellbender is circulative. sent11: if something that is not a diaphoretic is not a Monopoly then it does not create. sent12: something is not a Monopoly if it is not diaphoretic. sent13: the hellbender does not create if the mix does not create. sent14: if that something murmurs pointillist but it is not a Monopoly is incorrect then that it is a kind of a Monopoly is right. sent15: the burg is not a submediant. sent16: that the burg does murmur pointillist and is not a kind of a Monopoly is not correct.
void -> assump1: Let's assume that the P.A. is a submediant.; sent12 -> int1: if the burg is not a diaphoretic then it is not a Monopoly.; sent14 -> int2: the burg is a Monopoly if the fact that it does murmur pointillist and it is not a Monopoly does not hold.; int2 & sent16 -> int3: the burg is a Monopoly.;
the P.A. is a submediant.
sent3 -> int4: that the hellbender is a kind of a submediant and/or it is not circulative does not hold if it does not create.;
$hypothesis$ = the P.A. is not a submediant. ; $context$ = sent1: something is not diaphoretic and is not a Monopoly if it does not murmur pointillist. sent2: the P.A. is a kind of a submediant if that the hellbender is a submediant or is not circulative or both is false. sent3: the fact that something is a submediant or it is not circulative or both is false if it does not create. sent4: if the pointillist is not non-diaphoretic then that the burg does create and/or is not a kind of a Monopoly is incorrect. sent5: there is something such that the fact that it is a poisonberry and it murmurs Pyralis does not hold. sent6: if the fact that the burg creates and/or it is not a Monopoly does not hold the mix does not creates. sent7: if the mix does not create but it is circulative the burg is not a kind of a diaphoretic. sent8: the fact that the transactinide does murmur pointillist but it is not Napoleonic is not correct if it is not a letterer. sent9: the mix does not create and is not non-circulative if the hellbender is non-circulative. sent10: the mix is circulative if the hellbender is circulative. sent11: if something that is not a diaphoretic is not a Monopoly then it does not create. sent12: something is not a Monopoly if it is not diaphoretic. sent13: the hellbender does not create if the mix does not create. sent14: if that something murmurs pointillist but it is not a Monopoly is incorrect then that it is a kind of a Monopoly is right. sent15: the burg is not a submediant. sent16: that the burg does murmur pointillist and is not a kind of a Monopoly is not correct. ; $proof$ = 
void -> assump1: Let's assume that the P.A. is a submediant.; sent12 -> int1: if the burg is not a diaphoretic then it is not a Monopoly.; sent14 -> int2: the burg is a Monopoly if the fact that it does murmur pointillist and it is not a Monopoly does not hold.; int2 & sent16 -> int3: the burg is a Monopoly.; __UNKNOWN__