that the maltster is not calculous if the musnud is dormant does not hold.
sent1: the musnud does reform. sent2: something is not a reform if it is not dormant. sent3: the defoliant is not a prodrome and/or it is not a kind of a reform. sent4: if the leverage is not a kind of a mat the maltster is not a mat and/or it is not a Styron. sent5: that the leverage is a mat is false if the musnud is both dormant and a reform. sent6: something that either is not a kind of a mat or is not a Styron or both is not calculous.
void -> assump1: Let's assume that the musnud is dormant.; assump1 & sent1 -> int1: the musnud is dormant and it is a reform.; int1 & sent5 -> int2: the leverage is not a mat.; int2 & sent4 -> int3: the fact that the maltster is not a mat or is not a kind of a Styron or both is not incorrect.; sent6 -> int4: if the maltster is not a kind of a mat and/or it is not a kind of a Styron it is not calculous.; int3 & int4 -> int5: the maltster is not calculous.; [assump1] & int5 -> hypothesis;
$hypothesis$ = that the maltster is not calculous if the musnud is dormant does not hold. ; $context$ = sent1: the musnud does reform. sent2: something is not a reform if it is not dormant. sent3: the defoliant is not a prodrome and/or it is not a kind of a reform. sent4: if the leverage is not a kind of a mat the maltster is not a mat and/or it is not a Styron. sent5: that the leverage is a mat is false if the musnud is both dormant and a reform. sent6: something that either is not a kind of a mat or is not a Styron or both is not calculous. ; $proof$ = 
void -> assump1: Let's assume that the musnud is dormant.; assump1 & sent1 -> int1: the musnud is dormant and it is a reform.; int1 & sent5 -> int2: the leverage is not a mat.; int2 & sent4 -> int3: the fact that the maltster is not a mat or is not a kind of a Styron or both is not incorrect.; sent6 -> int4: if the maltster is not a kind of a mat and/or it is not a kind of a Styron it is not calculous.; int3 & int4 -> int5: the maltster is not calculous.; [assump1] & int5 -> hypothesis; __DISPROVED__