the chop is a mace.
sent1: the guardsman is both not a mace and maxillomandibular. sent2: if that the guardsman is a subjunctive but it is not a kind of a mace is false then the chop is not a mace. sent3: the fact that the chop is a batfish is true. sent4: the chop does not edge immunosuppressant if it is sulphuric and/or is salamandriform. sent5: the chop is not a snit. sent6: the fact that the guardsman is both not an alligator and rounding does not hold if the chop is not sulphuric. sent7: if the fact that the guardsman is not a kind of an alligator but it is a kind of a rounding is wrong then it is not subjunctive. sent8: if the chop is not sulphuric but it is a batfish it is a kind of a subjunctive. sent9: the chop does not blackmail cluck if that it does not edge immunosuppressant hold. sent10: if the guardsman is not a subjunctive it is not a mace. sent11: the chop is a mace if it does not blackmail cluck and it is a batfish. sent12: the H is a kind of a mace.
void -> assump1: Let's assume that the chop is not sulphuric.; sent6 & assump1 -> int1: that the guardsman is not an alligator but it does round is not true.; int1 & sent7 -> int2: the fact that the guardsman is not a subjunctive is not incorrect.;
the chop is not a mace.
$hypothesis$ = the chop is a mace. ; $context$ = sent1: the guardsman is both not a mace and maxillomandibular. sent2: if that the guardsman is a subjunctive but it is not a kind of a mace is false then the chop is not a mace. sent3: the fact that the chop is a batfish is true. sent4: the chop does not edge immunosuppressant if it is sulphuric and/or is salamandriform. sent5: the chop is not a snit. sent6: the fact that the guardsman is both not an alligator and rounding does not hold if the chop is not sulphuric. sent7: if the fact that the guardsman is not a kind of an alligator but it is a kind of a rounding is wrong then it is not subjunctive. sent8: if the chop is not sulphuric but it is a batfish it is a kind of a subjunctive. sent9: the chop does not blackmail cluck if that it does not edge immunosuppressant hold. sent10: if the guardsman is not a subjunctive it is not a mace. sent11: the chop is a mace if it does not blackmail cluck and it is a batfish. sent12: the H is a kind of a mace. ; $proof$ = 
void -> assump1: Let's assume that the chop is not sulphuric.; sent6 & assump1 -> int1: that the guardsman is not an alligator but it does round is not true.; int1 & sent7 -> int2: the fact that the guardsman is not a subjunctive is not incorrect.; __UNKNOWN__