the fact that the harridan is not Mishnaic hold.
sent1: if the tomtit abates the Berlin is a Joel. sent2: the diocesan is iliac. sent3: if something is not non-iliac but it does not abate it is Jamesian. sent4: the inmate is Jamesian. sent5: the harridan is a kind of a Joel. sent6: the tomtit does not exceed xylophonist. sent7: the diocesan is not Jamesian. sent8: if the tomtit does abate then the fact that the Berlin abate and is not a Joel is not correct. sent9: the fact that the Western does not abate and is not iliac is false if the Berlin abate. sent10: if the fact that the harridan does abate is not incorrect the Berlin is Mishnaic. sent11: the harridan is Mishnaic if the fact that the Western does not abate and it is not iliac is not true. sent12: the Berlin does abate if that the tomtit does exceed xylophonist or it is not a kind of a Joel or both does not hold. sent13: the fact that the harridan is Jamesian but it is not Mishnaic is not correct. sent14: that the Berlin is a Joel and/or it is not iliac does not hold if the tomtit does not abate. sent15: that the Western is Jamesian but it does not abate does not hold. sent16: the Western exceeds xylophonist if the fact that the tomtit does abate or it is Mishnaic or both does not hold. sent17: the tomtit is Mishnaic if the harridan exceeds xylophonist. sent18: if the fact that the diocesan is not Jamesian is right then that that either the tomtit does exceed xylophonist or it is not a Joel or both is not right is correct.
sent18 & sent7 -> int1: the fact that that the tomtit either exceeds xylophonist or is not a kind of a Joel or both is not false is wrong.; sent12 & int1 -> int2: the Berlin abates.; sent9 & int2 -> int3: the fact that the Western does not abate and it is not iliac is incorrect.; sent11 & int3 -> hypothesis;
the harridan is not Mishnaic.
sent3 -> int4: if the diocesan is iliac but it does not abate then it is Jamesian.;
$hypothesis$ = the fact that the harridan is not Mishnaic hold. ; $context$ = sent1: if the tomtit abates the Berlin is a Joel. sent2: the diocesan is iliac. sent3: if something is not non-iliac but it does not abate it is Jamesian. sent4: the inmate is Jamesian. sent5: the harridan is a kind of a Joel. sent6: the tomtit does not exceed xylophonist. sent7: the diocesan is not Jamesian. sent8: if the tomtit does abate then the fact that the Berlin abate and is not a Joel is not correct. sent9: the fact that the Western does not abate and is not iliac is false if the Berlin abate. sent10: if the fact that the harridan does abate is not incorrect the Berlin is Mishnaic. sent11: the harridan is Mishnaic if the fact that the Western does not abate and it is not iliac is not true. sent12: the Berlin does abate if that the tomtit does exceed xylophonist or it is not a kind of a Joel or both does not hold. sent13: the fact that the harridan is Jamesian but it is not Mishnaic is not correct. sent14: that the Berlin is a Joel and/or it is not iliac does not hold if the tomtit does not abate. sent15: that the Western is Jamesian but it does not abate does not hold. sent16: the Western exceeds xylophonist if the fact that the tomtit does abate or it is Mishnaic or both does not hold. sent17: the tomtit is Mishnaic if the harridan exceeds xylophonist. sent18: if the fact that the diocesan is not Jamesian is right then that that either the tomtit does exceed xylophonist or it is not a Joel or both is not right is correct. ; $proof$ = 
sent18 & sent7 -> int1: the fact that that the tomtit either exceeds xylophonist or is not a kind of a Joel or both is not false is wrong.; sent12 & int1 -> int2: the Berlin abates.; sent9 & int2 -> int3: the fact that the Western does not abate and it is not iliac is incorrect.; sent11 & int3 -> hypothesis; __DISPROVED__