that the liveryman is a Myrmecobius and is a kind of a Sikkim does not hold.
sent1: something is not a kind of a Myrmecobius but it is a Sikkim if the fact that it untunes is correct. sent2: the frijole does not untune if the macebearer does not untune subscript but it clings DPH. sent3: if the benzylpenicillin is not a kind of a Sikkim then that the liveryman is a Myrmecobius and it is a Sikkim is not right. sent4: if the benzylpenicillin is macerative the praline does not untune subscript. sent5: that the macebearer does not cling DPH is not incorrect. sent6: the fact that the frijole untunes hold if the benzylpenicillin is a Sikkim. sent7: if something resects panel then the benzylpenicillin is macerative and does cling squinch. sent8: the macebearer does not untune subscript and it does not cling DPH. sent9: that the benzylpenicillin does not cling DPH is not false. sent10: something resects panel. sent11: the macebearer is not a Sikkim and it does not cling DPH. sent12: something is a Myrmecobius that does not cling DPH if it does not untune subscript.
void -> assump1: Let's assume that the fact that the benzylpenicillin is a Sikkim is not incorrect.; sent6 & assump1 -> int1: the frijole does untune.;
the liveryman is a Myrmecobius that is a Sikkim.
sent12 -> int2: the liveryman is a Myrmecobius and does not cling DPH if it does not untune subscript.;
$hypothesis$ = that the liveryman is a Myrmecobius and is a kind of a Sikkim does not hold. ; $context$ = sent1: something is not a kind of a Myrmecobius but it is a Sikkim if the fact that it untunes is correct. sent2: the frijole does not untune if the macebearer does not untune subscript but it clings DPH. sent3: if the benzylpenicillin is not a kind of a Sikkim then that the liveryman is a Myrmecobius and it is a Sikkim is not right. sent4: if the benzylpenicillin is macerative the praline does not untune subscript. sent5: that the macebearer does not cling DPH is not incorrect. sent6: the fact that the frijole untunes hold if the benzylpenicillin is a Sikkim. sent7: if something resects panel then the benzylpenicillin is macerative and does cling squinch. sent8: the macebearer does not untune subscript and it does not cling DPH. sent9: that the benzylpenicillin does not cling DPH is not false. sent10: something resects panel. sent11: the macebearer is not a Sikkim and it does not cling DPH. sent12: something is a Myrmecobius that does not cling DPH if it does not untune subscript. ; $proof$ = 
void -> assump1: Let's assume that the fact that the benzylpenicillin is a Sikkim is not incorrect.; sent6 & assump1 -> int1: the frijole does untune.; __UNKNOWN__