the tie is not a kind of a bay.
sent1: the tessella does report Kashag and is not a promiscuity if the hacker is not a grubby. sent2: the epinephrine is a Fenrir if the masquerader is a Fenrir. sent3: if something does not report Kashag then the fact that it does not negotiate Trichophaga and it is a aphakic is not true. sent4: the epinephrine does not negotiate ctene and is not quincentennial if the masquerader does not negotiate ctene. sent5: if the tessella reports Kashag but it is not a promiscuity the sauerkraut does not reports Kashag. sent6: the masquerader is a modern if there is something such that the fact that it does report Fuego and it does not negotiate daiquiri is wrong. sent7: the ctene is a kind of a reductio that reports ivied. sent8: if the ctene is a reductio and does report ivied the hacker is not a grubby. sent9: there exists something such that that it reports Fuego and it does not negotiate daiquiri is not correct. sent10: that the cheapjack is not a aphakic is not false if there is something such that the fact that it does not negotiate Trichophaga and it is aphakic is incorrect. sent11: if the fact that the masquerader bays but it does not behold bastardization hold the tie bays. sent12: there is something such that that it does report Fuego and it does negotiate daiquiri is not true. sent13: the masquerader does behold bastardization and is a Fenrir. sent14: if the fact that something beholds bastardization and is not a modern does not hold then it is a Fenrir. sent15: if the fact that the mattress is a Fenrir is not wrong then the epinephrine is a kind of a quincentennial. sent16: the tie is not a bay if something that does not negotiate ctene is not quincentennial. sent17: if something that is a modern beholds bastardization it does not negotiate ctene. sent18: there is something such that that it is a modern and is not a Fenrir is not right. sent19: the masquerader negotiates ctene but it is nonmodern if the epinephrine is quincentennial.
sent9 & sent6 -> int1: the masquerader is a modern.; sent13 -> int2: the fact that the masquerader beholds bastardization hold.; int1 & int2 -> int3: the masquerader is a kind of a modern and it does behold bastardization.; sent17 -> int4: if the masquerader is not nonmodern and it does behold bastardization then it does not negotiate ctene.; int3 & int4 -> int5: the masquerader does not negotiate ctene.; int5 & sent4 -> int6: the epinephrine does not negotiate ctene and is non-quincentennial.; int6 -> int7: something does not negotiate ctene and is not a quincentennial.; int7 & sent16 -> hypothesis;
the tie is a kind of a bay.
sent3 -> int8: if that the sauerkraut does not report Kashag is right that it does not negotiate Trichophaga and is a aphakic does not hold.; sent8 & sent7 -> int9: the hacker is not a kind of a grubby.; sent1 & int9 -> int10: the tessella does report Kashag and is not a promiscuity.; sent5 & int10 -> int11: that the sauerkraut does not report Kashag is not incorrect.; int8 & int11 -> int12: that the sauerkraut does not negotiate Trichophaga and is a kind of a aphakic is not correct.; int12 -> int13: there exists something such that that it does not negotiate Trichophaga and it is a aphakic is not correct.; int13 & sent10 -> int14: the cheapjack is not a kind of a aphakic.; int14 -> int15: there are non-aphakic things.;
$hypothesis$ = the tie is not a kind of a bay. ; $context$ = sent1: the tessella does report Kashag and is not a promiscuity if the hacker is not a grubby. sent2: the epinephrine is a Fenrir if the masquerader is a Fenrir. sent3: if something does not report Kashag then the fact that it does not negotiate Trichophaga and it is a aphakic is not true. sent4: the epinephrine does not negotiate ctene and is not quincentennial if the masquerader does not negotiate ctene. sent5: if the tessella reports Kashag but it is not a promiscuity the sauerkraut does not reports Kashag. sent6: the masquerader is a modern if there is something such that the fact that it does report Fuego and it does not negotiate daiquiri is wrong. sent7: the ctene is a kind of a reductio that reports ivied. sent8: if the ctene is a reductio and does report ivied the hacker is not a grubby. sent9: there exists something such that that it reports Fuego and it does not negotiate daiquiri is not correct. sent10: that the cheapjack is not a aphakic is not false if there is something such that the fact that it does not negotiate Trichophaga and it is aphakic is incorrect. sent11: if the fact that the masquerader bays but it does not behold bastardization hold the tie bays. sent12: there is something such that that it does report Fuego and it does negotiate daiquiri is not true. sent13: the masquerader does behold bastardization and is a Fenrir. sent14: if the fact that something beholds bastardization and is not a modern does not hold then it is a Fenrir. sent15: if the fact that the mattress is a Fenrir is not wrong then the epinephrine is a kind of a quincentennial. sent16: the tie is not a bay if something that does not negotiate ctene is not quincentennial. sent17: if something that is a modern beholds bastardization it does not negotiate ctene. sent18: there is something such that that it is a modern and is not a Fenrir is not right. sent19: the masquerader negotiates ctene but it is nonmodern if the epinephrine is quincentennial. ; $proof$ = 
sent9 & sent6 -> int1: the masquerader is a modern.; sent13 -> int2: the fact that the masquerader beholds bastardization hold.; int1 & int2 -> int3: the masquerader is a kind of a modern and it does behold bastardization.; sent17 -> int4: if the masquerader is not nonmodern and it does behold bastardization then it does not negotiate ctene.; int3 & int4 -> int5: the masquerader does not negotiate ctene.; int5 & sent4 -> int6: the epinephrine does not negotiate ctene and is non-quincentennial.; int6 -> int7: something does not negotiate ctene and is not a quincentennial.; int7 & sent16 -> hypothesis; __PROVED__