the eyepatch is not a kind of a tachogram.
sent1: if something that is not a Astropogon does not resist timer it is inferential. sent2: the love-in-a-mist does resist iodocompound if it is a deanship. sent3: something that is an antibacterial does strangulate roisterer. sent4: something resists iodocompound. sent5: if something is not Dominican but virological it is a Aristotelian. sent6: something is a tachogram if it is inferential. sent7: the eyepatch does not resist timer. sent8: the eyepatch is inferential if it is not a kind of a Astropogon and it resists timer. sent9: that something is a Astropogon that is a kind of a tachogram does not hold if it does not resist iodocompound. sent10: something is not a kind of a tachogram if the fact that it is a tachogram and it is not a Astropogon does not hold. sent11: if something does resist highbinder that it does resist timer and is not a tachogram does not hold. sent12: the sorbent is a Astropogon. sent13: something that is not a Astropogon and does resist timer is inferential. sent14: if there is something such that it is not a Astropogon then the azimuth is inferential and resists iodocompound. sent15: the galangal resists timer. sent16: something is critical. sent17: if there exists something such that it does resist iodocompound the eyepatch does not resist timer. sent18: the eyepatch is not a kind of a Astropogon and it does not resist timer if something does resist iodocompound.
sent4 & sent18 -> int1: the eyepatch is not a Astropogon and does not resist timer.; sent1 -> int2: if the eyepatch is not a Astropogon and it does not resist timer then it is inferential.; int1 & int2 -> int3: the eyepatch is inferential.; sent6 -> int4: if the eyepatch is inferential it is a tachogram.; int3 & int4 -> hypothesis;
the eyepatch is not a tachogram.
sent9 -> int5: that the host is a kind of a Astropogon that is a tachogram is wrong if it does not resist iodocompound.;
$hypothesis$ = the eyepatch is not a kind of a tachogram. ; $context$ = sent1: if something that is not a Astropogon does not resist timer it is inferential. sent2: the love-in-a-mist does resist iodocompound if it is a deanship. sent3: something that is an antibacterial does strangulate roisterer. sent4: something resists iodocompound. sent5: if something is not Dominican but virological it is a Aristotelian. sent6: something is a tachogram if it is inferential. sent7: the eyepatch does not resist timer. sent8: the eyepatch is inferential if it is not a kind of a Astropogon and it resists timer. sent9: that something is a Astropogon that is a kind of a tachogram does not hold if it does not resist iodocompound. sent10: something is not a kind of a tachogram if the fact that it is a tachogram and it is not a Astropogon does not hold. sent11: if something does resist highbinder that it does resist timer and is not a tachogram does not hold. sent12: the sorbent is a Astropogon. sent13: something that is not a Astropogon and does resist timer is inferential. sent14: if there is something such that it is not a Astropogon then the azimuth is inferential and resists iodocompound. sent15: the galangal resists timer. sent16: something is critical. sent17: if there exists something such that it does resist iodocompound the eyepatch does not resist timer. sent18: the eyepatch is not a kind of a Astropogon and it does not resist timer if something does resist iodocompound. ; $proof$ = 
sent4 & sent18 -> int1: the eyepatch is not a Astropogon and does not resist timer.; sent1 -> int2: if the eyepatch is not a Astropogon and it does not resist timer then it is inferential.; int1 & int2 -> int3: the eyepatch is inferential.; sent6 -> int4: if the eyepatch is inferential it is a tachogram.; int3 & int4 -> hypothesis; __DISPROVED__