the thyroprotein is not a impreciseness.
sent1: the barrier is apoplectiform. sent2: there is something such that it is not a Halictidae and is not a kind of a impreciseness. sent3: the barrier is a witting. sent4: the thyroprotein is a singular if there exists something such that it does not company Sisyridae and it does not company lyricist. sent5: the thyroprotein is apoplectiform. sent6: the barrier is a kind of a impreciseness. sent7: something is both not apoplectiform and not a witting. sent8: if the barrier is not a kind of a impreciseness and it is not a Halictidae then the thyroprotein is not a impreciseness. sent9: the devourer is a impreciseness. sent10: something is a impreciseness but not a Halictidae. sent11: if the barrier is a Halictidae the thyroprotein is a kind of a impreciseness. sent12: the thyroprotein is a kind of a Halictidae. sent13: there exists something such that that it is not a witting is right. sent14: the equatorial is a scheme if something is not resolute and does not stage sympathy. sent15: there exists something such that that it is not apoplectiform and it is a witting hold. sent16: the thyroprotein is a kind of a spring if there is something such that it is not a Halictidae and it does not company barrier. sent17: if something is not apoplectiform and it is not a witting then the barrier is a kind of a Halictidae.
sent7 & sent17 -> int1: the barrier is a Halictidae.; sent11 & int1 -> hypothesis;
the thyroprotein is not a impreciseness.
$hypothesis$ = the thyroprotein is not a impreciseness. ; $context$ = sent1: the barrier is apoplectiform. sent2: there is something such that it is not a Halictidae and is not a kind of a impreciseness. sent3: the barrier is a witting. sent4: the thyroprotein is a singular if there exists something such that it does not company Sisyridae and it does not company lyricist. sent5: the thyroprotein is apoplectiform. sent6: the barrier is a kind of a impreciseness. sent7: something is both not apoplectiform and not a witting. sent8: if the barrier is not a kind of a impreciseness and it is not a Halictidae then the thyroprotein is not a impreciseness. sent9: the devourer is a impreciseness. sent10: something is a impreciseness but not a Halictidae. sent11: if the barrier is a Halictidae the thyroprotein is a kind of a impreciseness. sent12: the thyroprotein is a kind of a Halictidae. sent13: there exists something such that that it is not a witting is right. sent14: the equatorial is a scheme if something is not resolute and does not stage sympathy. sent15: there exists something such that that it is not apoplectiform and it is a witting hold. sent16: the thyroprotein is a kind of a spring if there is something such that it is not a Halictidae and it does not company barrier. sent17: if something is not apoplectiform and it is not a witting then the barrier is a kind of a Halictidae. ; $proof$ = 
sent7 & sent17 -> int1: the barrier is a Halictidae.; sent11 & int1 -> hypothesis; __DISPROVED__