the fact that the fact that the rifleman is not ductless is not incorrect is incorrect.
sent1: if the verger is not diazo and it is not monoclinic the Argive is not diazo. sent2: if that the epicardium is not a electrocutioner and is neurotoxic is not true the rifleman is ductless. sent3: the verger is non-diazo thing that is not monoclinic. sent4: if the anarchist is ductless that the mustard is not ductless is not false. sent5: the Argive is not diazo if the anarchist is a electrocutioner. sent6: the fact that the epicardium is not a electrocutioner but it is neurotoxic is not right if the anarchist is not a kind of a electrocutioner.
void -> assump1: Let's assume that the anarchist is a electrocutioner.; sent5 & assump1 -> int1: the Argive is not diazo.; sent1 & sent3 -> int2: the Argive is diazo.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the anarchist is not a kind of a electrocutioner.; int4 & sent6 -> int5: that the epicardium is not a electrocutioner but it is neurotoxic is not true.; int5 & sent2 -> hypothesis;
the mustard is ductless.
$hypothesis$ = the fact that the fact that the rifleman is not ductless is not incorrect is incorrect. ; $context$ = sent1: if the verger is not diazo and it is not monoclinic the Argive is not diazo. sent2: if that the epicardium is not a electrocutioner and is neurotoxic is not true the rifleman is ductless. sent3: the verger is non-diazo thing that is not monoclinic. sent4: if the anarchist is ductless that the mustard is not ductless is not false. sent5: the Argive is not diazo if the anarchist is a electrocutioner. sent6: the fact that the epicardium is not a electrocutioner but it is neurotoxic is not right if the anarchist is not a kind of a electrocutioner. ; $proof$ = 
void -> assump1: Let's assume that the anarchist is a electrocutioner.; sent5 & assump1 -> int1: the Argive is not diazo.; sent1 & sent3 -> int2: the Argive is diazo.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the anarchist is not a kind of a electrocutioner.; int4 & sent6 -> int5: that the epicardium is not a electrocutioner but it is neurotoxic is not true.; int5 & sent2 -> hypothesis; __PROVED__