the fact that the macebearer is not pyrogenic and it is direct is right.
sent1: if the fact that the accretion is pyrogenic hold the fact that the macebearer is a kind of pyrogenic thing that is an inverse is false. sent2: if the accretion is pyrogenic then the fact that the macebearer is pyrogenic but it is not an inverse is incorrect. sent3: that that the macebearer is not pyrogenic and it is not a kind of an inverse is not false is incorrect if the accretion is pyrogenic. sent4: the macebearer quarantines Mormon if the accretion quarantines Mormon. sent5: the fact that the macebearer is not pyrogenic but it is an inverse does not hold. sent6: that the accretion is not a Myrmeleontidae and is a coachman is wrong. sent7: the fact that the macebearer is pyrogenic and direct does not hold. sent8: the macebearer is Stravinskyan. sent9: if that the accretion is both not a Myrmeleontidae and a coachman is not right it is nonrepresentative. sent10: something is nonrepresentative if the fact that it quarantines Mormon is not wrong. sent11: the pan is a Myrmeleontidae. sent12: that the march is both not a mark and not harsh is not right. sent13: something is pyrogenic if it is nonrepresentative. sent14: if the accretion is not a coachman then it is nonrepresentative. sent15: if something is a kind of a Myrmeleontidae it is a kind of a coachman.
sent9 & sent6 -> int1: the accretion is nonrepresentative.; sent13 -> int2: the fact that the accretion is pyrogenic is correct if it is nonrepresentative.; int1 & int2 -> int3: the fact that the accretion is pyrogenic is true.; int3 & sent3 -> hypothesis;
the macebearer is not pyrogenic and is not inverse.
sent10 -> int4: that the macebearer is nonrepresentative if the macebearer does quarantine Mormon is not incorrect.;
$hypothesis$ = the fact that the macebearer is not pyrogenic and it is direct is right. ; $context$ = sent1: if the fact that the accretion is pyrogenic hold the fact that the macebearer is a kind of pyrogenic thing that is an inverse is false. sent2: if the accretion is pyrogenic then the fact that the macebearer is pyrogenic but it is not an inverse is incorrect. sent3: that that the macebearer is not pyrogenic and it is not a kind of an inverse is not false is incorrect if the accretion is pyrogenic. sent4: the macebearer quarantines Mormon if the accretion quarantines Mormon. sent5: the fact that the macebearer is not pyrogenic but it is an inverse does not hold. sent6: that the accretion is not a Myrmeleontidae and is a coachman is wrong. sent7: the fact that the macebearer is pyrogenic and direct does not hold. sent8: the macebearer is Stravinskyan. sent9: if that the accretion is both not a Myrmeleontidae and a coachman is not right it is nonrepresentative. sent10: something is nonrepresentative if the fact that it quarantines Mormon is not wrong. sent11: the pan is a Myrmeleontidae. sent12: that the march is both not a mark and not harsh is not right. sent13: something is pyrogenic if it is nonrepresentative. sent14: if the accretion is not a coachman then it is nonrepresentative. sent15: if something is a kind of a Myrmeleontidae it is a kind of a coachman. ; $proof$ = 
sent9 & sent6 -> int1: the accretion is nonrepresentative.; sent13 -> int2: the fact that the accretion is pyrogenic is correct if it is nonrepresentative.; int1 & int2 -> int3: the fact that the accretion is pyrogenic is true.; int3 & sent3 -> hypothesis; __DISPROVED__