the annalist is not a scopolamine.
sent1: if the annalist is not a kind of a Ogcocephalidae but it is a corrosion the Bolivian is a kind of a scopolamine. sent2: if the annalist is not a Ogcocephalidae then it is not a scopolamine. sent3: if the Bolivian is not a kind of a corrosion it does not serenade baldachin and it is a Ogcocephalidae. sent4: if the Bolivian serenades baldachin and is a Ogcocephalidae then the annalist is a kind of a scopolamine. sent5: the annalist is not a corrosion but it is a Ogcocephalidae if it is not a scopolamine. sent6: the Bolivian does not serenade baldachin. sent7: if the annalist is not a kind of a corrosion but it serenades baldachin the Bolivian is a kind of a scopolamine. sent8: the Bolivian does serenade baldachin if the annalist is not a scopolamine but it is a corrosion. sent9: the annalist is not due but a Bengali. sent10: the Bolivian is a scopolamine. sent11: if something that is a corrosion is Donnean it is not a kind of a scopolamine. sent12: if the Bolivian is not a scopolamine it is not a kind of a Ogcocephalidae and it is a kind of a corrosion. sent13: the fact that the Bolivian is not a kind of a corrosion is not wrong. sent14: the pentathlete does not serenade baldachin. sent15: if the Bolivian is not a soloist then it is not a corrosion. sent16: the annalist is a scopolamine if the Bolivian does not serenade baldachin and is a kind of a Ogcocephalidae. sent17: if the annalist is not a corrosion it is not a scopolamine and it is a Ogcocephalidae. sent18: the Bolivian is not a corrosion but it is a kind of a Ogcocephalidae if it is not a scopolamine.
sent3 & sent13 -> int1: the Bolivian does not serenade baldachin but it is a Ogcocephalidae.; sent16 & int1 -> hypothesis;
the annalist is not a scopolamine.
sent11 -> int2: if the annalist is a corrosion and it is Donnean it is not a scopolamine.;
$hypothesis$ = the annalist is not a scopolamine. ; $context$ = sent1: if the annalist is not a kind of a Ogcocephalidae but it is a corrosion the Bolivian is a kind of a scopolamine. sent2: if the annalist is not a Ogcocephalidae then it is not a scopolamine. sent3: if the Bolivian is not a kind of a corrosion it does not serenade baldachin and it is a Ogcocephalidae. sent4: if the Bolivian serenades baldachin and is a Ogcocephalidae then the annalist is a kind of a scopolamine. sent5: the annalist is not a corrosion but it is a Ogcocephalidae if it is not a scopolamine. sent6: the Bolivian does not serenade baldachin. sent7: if the annalist is not a kind of a corrosion but it serenades baldachin the Bolivian is a kind of a scopolamine. sent8: the Bolivian does serenade baldachin if the annalist is not a scopolamine but it is a corrosion. sent9: the annalist is not due but a Bengali. sent10: the Bolivian is a scopolamine. sent11: if something that is a corrosion is Donnean it is not a kind of a scopolamine. sent12: if the Bolivian is not a scopolamine it is not a kind of a Ogcocephalidae and it is a kind of a corrosion. sent13: the fact that the Bolivian is not a kind of a corrosion is not wrong. sent14: the pentathlete does not serenade baldachin. sent15: if the Bolivian is not a soloist then it is not a corrosion. sent16: the annalist is a scopolamine if the Bolivian does not serenade baldachin and is a kind of a Ogcocephalidae. sent17: if the annalist is not a corrosion it is not a scopolamine and it is a Ogcocephalidae. sent18: the Bolivian is not a corrosion but it is a kind of a Ogcocephalidae if it is not a scopolamine. ; $proof$ = 
sent3 & sent13 -> int1: the Bolivian does not serenade baldachin but it is a Ogcocephalidae.; sent16 & int1 -> hypothesis; __DISPROVED__