the fact that the cornsmut does not conscript oddness and is a Solenostemon does not hold if that the Stoic does not transship gun is not false.
sent1: if something is a kind of a Solenostemon then it does transship gun. sent2: if the astrogator is not a Solenostemon the cornsmut does not conscript oddness but it is a Solenostemon. sent3: the fact that the cornsmut does not conscript oddness and is a kind of a Solenostemon is not true if the Stoic does transship gun. sent4: that the gun is not a kind of a circularity and is a Canadian is not correct if the fact that the Stoic transships gun is not wrong. sent5: that the Stoic does transship gun and it is a Solenostemon is not true. sent6: the astrogator is not a Solenostemon if the Stoic does not transship gun.
void -> assump1: Let's assume that the Stoic does not transship gun.; sent6 & assump1 -> int1: that the astrogator is not a Solenostemon is not false.;
the fact that the gun is not a circularity but a Canadian is incorrect.
sent1 -> int2: the Stoic does transship gun if it is a kind of a Solenostemon.;
$hypothesis$ = the fact that the cornsmut does not conscript oddness and is a Solenostemon does not hold if that the Stoic does not transship gun is not false. ; $context$ = sent1: if something is a kind of a Solenostemon then it does transship gun. sent2: if the astrogator is not a Solenostemon the cornsmut does not conscript oddness but it is a Solenostemon. sent3: the fact that the cornsmut does not conscript oddness and is a kind of a Solenostemon is not true if the Stoic does transship gun. sent4: that the gun is not a kind of a circularity and is a Canadian is not correct if the fact that the Stoic transships gun is not wrong. sent5: that the Stoic does transship gun and it is a Solenostemon is not true. sent6: the astrogator is not a Solenostemon if the Stoic does not transship gun. ; $proof$ = 
void -> assump1: Let's assume that the Stoic does not transship gun.; sent6 & assump1 -> int1: that the astrogator is not a Solenostemon is not false.; __UNKNOWN__