the bap is a Anisotremus if the honkytonk is a Irrawaddy.
sent1: a Fry is unsworn. sent2: there is something such that it does refer Herod and is a Fry. sent3: the bap is not a Irrawaddy if there is something such that the fact that it is a kind of a Fry that is a Anisotremus is not correct. sent4: the honkytonk does transfer mopper. sent5: there is something such that it is possessive. sent6: if there is something such that that it is not non-extralinguistic and it transfers mopper does not hold then the nystatin is not a Fry. sent7: the honkytonk is extralinguistic thing that refers amphigory. sent8: the honkytonk does refer Herod and is a Fry if the nystatin is not a kind of a Fry. sent9: the honkytonk refers Herod. sent10: the bap is a kind of a Fry and it is a romantic. sent11: the honkytonk is a Anisotremus if the fact that something is a Irrawaddy and it is a Fry is not incorrect. sent12: the nystatin does not refer Herod. sent13: something is a Irrawaddy. sent14: there are recessional things. sent15: if the nystatin does refer Herod then the honkytonk is a kind of a Fry. sent16: the nystatin does transfer throb. sent17: there is something such that the fact that it is both a Fry and a Anisotremus does not hold. sent18: the brassiere refers trailhead if there exists something such that that it is not a kind of a Anisotremus or it is a Irrawaddy or both is not right. sent19: there exists something such that that it is a kind of extralinguistic thing that transfers mopper is wrong.
sent19 & sent6 -> int1: the nystatin is not a kind of a Fry.; sent8 & int1 -> int2: the honkytonk refers Herod and is a Fry.; int2 -> int3: the honkytonk is a Fry.; void -> assump1: Let's assume that the honkytonk is a Irrawaddy.; int3 & assump1 -> int4: the honkytonk is a kind of a Fry and it is a kind of a Irrawaddy.; int4 -> int5: there is something such that the fact that it is a Fry and is a Irrawaddy is true.;
the brassiere refers trailhead and is unsworn.
sent1 -> int6: if the brassiere is a kind of a Fry then it is unsworn.;
$hypothesis$ = the bap is a Anisotremus if the honkytonk is a Irrawaddy. ; $context$ = sent1: a Fry is unsworn. sent2: there is something such that it does refer Herod and is a Fry. sent3: the bap is not a Irrawaddy if there is something such that the fact that it is a kind of a Fry that is a Anisotremus is not correct. sent4: the honkytonk does transfer mopper. sent5: there is something such that it is possessive. sent6: if there is something such that that it is not non-extralinguistic and it transfers mopper does not hold then the nystatin is not a Fry. sent7: the honkytonk is extralinguistic thing that refers amphigory. sent8: the honkytonk does refer Herod and is a Fry if the nystatin is not a kind of a Fry. sent9: the honkytonk refers Herod. sent10: the bap is a kind of a Fry and it is a romantic. sent11: the honkytonk is a Anisotremus if the fact that something is a Irrawaddy and it is a Fry is not incorrect. sent12: the nystatin does not refer Herod. sent13: something is a Irrawaddy. sent14: there are recessional things. sent15: if the nystatin does refer Herod then the honkytonk is a kind of a Fry. sent16: the nystatin does transfer throb. sent17: there is something such that the fact that it is both a Fry and a Anisotremus does not hold. sent18: the brassiere refers trailhead if there exists something such that that it is not a kind of a Anisotremus or it is a Irrawaddy or both is not right. sent19: there exists something such that that it is a kind of extralinguistic thing that transfers mopper is wrong. ; $proof$ = 
sent19 & sent6 -> int1: the nystatin is not a kind of a Fry.; sent8 & int1 -> int2: the honkytonk refers Herod and is a Fry.; int2 -> int3: the honkytonk is a Fry.; void -> assump1: Let's assume that the honkytonk is a Irrawaddy.; int3 & assump1 -> int4: the honkytonk is a kind of a Fry and it is a kind of a Irrawaddy.; int4 -> int5: there is something such that the fact that it is a Fry and is a Irrawaddy is true.; __UNKNOWN__