that there exists something such that if that it does bedew evacuee and it does encrust hummus is not true then it is not a kind of a CD8 is false.
sent1: there is something such that if the fact that it bedews evacuee and does encrust hummus is wrong then it is a CD8. sent2: the corespondent is not a kind of a CD8 if it does not bedew evacuee. sent3: there exists something such that if it does not bedew evacuee it is not a CD8. sent4: if that the corespondent is a kind of a curfew and it does encrust alembic is not correct it is not a CD8. sent5: there exists something such that if the fact that it is both epizoan and present is not right then it is not anguine. sent6: there is something such that if it does bedew evacuee and encrusts hummus then it is not a CD8. sent7: there exists something such that if that it is arundinaceous and centering does not hold then it is not a kind of an exabyte. sent8: the hummus is not a motorization if the fact that it is a kind of a eclair that is a kind of a CD8 is wrong. sent9: that something is not a Houyhnhnms hold if the fact that it is a kind of uniform a chink is false. sent10: there is something such that if the fact that it harries ogee and encrusts Trafalgar is not true it does not encrust Bethe. sent11: if that the corespondent bedews evacuee and encrusts hummus is not correct then it is a CD8. sent12: if the corespondent bedews evacuee and it encrusts hummus it is not a CD8. sent13: there exists something such that if it does not encrust hummus it is not a kind of a CD8. sent14: the bluebottle is incoherent if the fact that it does expostulate and it qualifies does not hold. sent15: the corespondent is not a CD8 if the fact that it does bedew evacuee and does encrust hummus is incorrect. sent16: if that that the corespondent is obstetrics and it harries Permian is incorrect hold it is not a kind of a familiar. sent17: if that the corespondent does encrust Adapa and it is a gradual is not right then it is not a CD8.
sent15 -> hypothesis;
that there is something such that if that it is a uniform and it is a chink is not right then it is not a Houyhnhnms is not incorrect.
sent9 -> int1: that if the fact that the ogee is a kind of a uniform and it is the chink is not right then the ogee is not a Houyhnhnms is not incorrect.; int1 -> hypothesis;
$hypothesis$ = that there exists something such that if that it does bedew evacuee and it does encrust hummus is not true then it is not a kind of a CD8 is false. ; $context$ = sent1: there is something such that if the fact that it bedews evacuee and does encrust hummus is wrong then it is a CD8. sent2: the corespondent is not a kind of a CD8 if it does not bedew evacuee. sent3: there exists something such that if it does not bedew evacuee it is not a CD8. sent4: if that the corespondent is a kind of a curfew and it does encrust alembic is not correct it is not a CD8. sent5: there exists something such that if the fact that it is both epizoan and present is not right then it is not anguine. sent6: there is something such that if it does bedew evacuee and encrusts hummus then it is not a CD8. sent7: there exists something such that if that it is arundinaceous and centering does not hold then it is not a kind of an exabyte. sent8: the hummus is not a motorization if the fact that it is a kind of a eclair that is a kind of a CD8 is wrong. sent9: that something is not a Houyhnhnms hold if the fact that it is a kind of uniform a chink is false. sent10: there is something such that if the fact that it harries ogee and encrusts Trafalgar is not true it does not encrust Bethe. sent11: if that the corespondent bedews evacuee and encrusts hummus is not correct then it is a CD8. sent12: if the corespondent bedews evacuee and it encrusts hummus it is not a CD8. sent13: there exists something such that if it does not encrust hummus it is not a kind of a CD8. sent14: the bluebottle is incoherent if the fact that it does expostulate and it qualifies does not hold. sent15: the corespondent is not a CD8 if the fact that it does bedew evacuee and does encrust hummus is incorrect. sent16: if that that the corespondent is obstetrics and it harries Permian is incorrect hold it is not a kind of a familiar. sent17: if that the corespondent does encrust Adapa and it is a gradual is not right then it is not a CD8. ; $proof$ = 
sent15 -> hypothesis; __DISPROVED__