that the company is not bibliomaniacal is not incorrect.
sent1: the Tlingit is a kind of a platoon. sent2: a albuminuric thing is not myeloid or non-center or both. sent3: something is inefficient and it is albuminuric if it is not a rational. sent4: if the Tlingit is both a platoon and myeloid the lioness is not albuminuric. sent5: if the throatwort is not benignant or is a rational or both the company is not bibliomaniacal. sent6: the peacock-throne is a kind of a platoon or it is a kind of a rational or both. sent7: if the Tlingit is bibliomaniacal that the photon is bibliomaniacal is incorrect. sent8: the chewink is not inefficient. sent9: a platoon is not non-bibliomaniacal. sent10: the peacock-throne is not a kind of a rational if the chimaera does not center. sent11: something is bibliomaniacal and it is a platoon if it is not myeloid. sent12: a non-myeloid thing is a platoon. sent13: if the lioness is not albuminuric the chimaera is inefficient and it is albuminuric. sent14: if the Tlingit is not myeloid or it is not center or both the company is not myeloid. sent15: the Tlingit is myeloid. sent16: the chimaera is not myeloid. sent17: the throatwort is not benignant and/or it is a rational if the peacock-throne is not rational. sent18: if something is inefficient and it is albuminuric then it is not a center. sent19: if the Tlingit is not albuminuric that the lioness either is not a platoon or is albuminuric or both is not incorrect.
sent1 & sent15 -> int1: the Tlingit is a kind of a platoon and it is myeloid.; int1 & sent4 -> int2: the lioness is not albuminuric.; int2 & sent13 -> int3: the chimaera is not efficient and not non-albuminuric.; sent18 -> int4: if the chimaera is inefficient and it is albuminuric it is not a center.; int3 & int4 -> int5: the chimaera is not center.; int5 & sent10 -> int6: the peacock-throne is not a rational.; int6 & sent17 -> int7: the throatwort is not benignant or it is a rational or both.; int7 & sent5 -> hypothesis;
the company is bibliomaniacal.
sent9 -> int8: if the company is a platoon it is bibliomaniacal.; sent12 -> int9: if the company is not myeloid it is a platoon.; sent2 -> int10: the Tlingit is not myeloid and/or it is not a center if it is albuminuric.; sent3 -> int11: if the Tlingit is not rational it is inefficient and it is albuminuric.;
$hypothesis$ = that the company is not bibliomaniacal is not incorrect. ; $context$ = sent1: the Tlingit is a kind of a platoon. sent2: a albuminuric thing is not myeloid or non-center or both. sent3: something is inefficient and it is albuminuric if it is not a rational. sent4: if the Tlingit is both a platoon and myeloid the lioness is not albuminuric. sent5: if the throatwort is not benignant or is a rational or both the company is not bibliomaniacal. sent6: the peacock-throne is a kind of a platoon or it is a kind of a rational or both. sent7: if the Tlingit is bibliomaniacal that the photon is bibliomaniacal is incorrect. sent8: the chewink is not inefficient. sent9: a platoon is not non-bibliomaniacal. sent10: the peacock-throne is not a kind of a rational if the chimaera does not center. sent11: something is bibliomaniacal and it is a platoon if it is not myeloid. sent12: a non-myeloid thing is a platoon. sent13: if the lioness is not albuminuric the chimaera is inefficient and it is albuminuric. sent14: if the Tlingit is not myeloid or it is not center or both the company is not myeloid. sent15: the Tlingit is myeloid. sent16: the chimaera is not myeloid. sent17: the throatwort is not benignant and/or it is a rational if the peacock-throne is not rational. sent18: if something is inefficient and it is albuminuric then it is not a center. sent19: if the Tlingit is not albuminuric that the lioness either is not a platoon or is albuminuric or both is not incorrect. ; $proof$ = 
sent1 & sent15 -> int1: the Tlingit is a kind of a platoon and it is myeloid.; int1 & sent4 -> int2: the lioness is not albuminuric.; int2 & sent13 -> int3: the chimaera is not efficient and not non-albuminuric.; sent18 -> int4: if the chimaera is inefficient and it is albuminuric it is not a center.; int3 & int4 -> int5: the chimaera is not center.; int5 & sent10 -> int6: the peacock-throne is not a rational.; int6 & sent17 -> int7: the throatwort is not benignant or it is a rational or both.; int7 & sent5 -> hypothesis; __PROVED__