the fact that there exists something such that that it is a disliked and is not tensed is not true is incorrect.
sent1: there is something such that it is myeloid. sent2: there is something such that it fishtails and it is myeloid. sent3: the harebell does lag Helenium. sent4: the fact that the harebell is a disliked that is a tensed does not hold. sent5: that the housemate tenses and is not a microfiche is incorrect. sent6: if the housemate tenses then that the harebell does lag Gerreidae and is a kind of a microfiche does not hold. sent7: the Choctaw is aromatic. sent8: there is something such that it does fishtail. sent9: there is something such that that it is not non-Hittite and not part-time is not right. sent10: the fact that the harebell does dislike and it does tense is not right if the housemate does lag Helenium. sent11: the housemate is a kind of a Menuhin. sent12: if something does lag Helenium and dislikes the harebell is not a microfiche. sent13: the housemate does not lag Gerreidae if something fishtails and is myeloid. sent14: if there exists something such that it lags Gerreidae and is a kind of a disliked then the harebell is not a kind of a microfiche. sent15: something is a goby if it is not Sadducean. sent16: that the housemate is multinucleate hold. sent17: if something is a microfiche then it lags Helenium. sent18: the fact that that the harebell is a kind of a disliked and is not a tensed is incorrect if the housemate does lag Helenium hold. sent19: if something does not lag Gerreidae it is a microfiche. sent20: something is a disliked but it is not a kind of a tensed. sent21: there exists something such that that it is a kind of a disliked and it is a kind of a tensed does not hold.
sent2 & sent13 -> int1: the housemate does not lag Gerreidae.; sent19 -> int2: if the housemate does not lag Gerreidae then it is a microfiche.; int1 & int2 -> int3: the housemate is a microfiche.; sent17 -> int4: if the housemate is a microfiche it lags Helenium.; int3 & int4 -> int5: the housemate does lag Helenium.; int5 & sent18 -> int6: that the harebell is a disliked but it is not tensed is wrong.; int6 -> hypothesis;
$hypothesis$ = the fact that there exists something such that that it is a disliked and is not tensed is not true is incorrect. ; $context$ = sent1: there is something such that it is myeloid. sent2: there is something such that it fishtails and it is myeloid. sent3: the harebell does lag Helenium. sent4: the fact that the harebell is a disliked that is a tensed does not hold. sent5: that the housemate tenses and is not a microfiche is incorrect. sent6: if the housemate tenses then that the harebell does lag Gerreidae and is a kind of a microfiche does not hold. sent7: the Choctaw is aromatic. sent8: there is something such that it does fishtail. sent9: there is something such that that it is not non-Hittite and not part-time is not right. sent10: the fact that the harebell does dislike and it does tense is not right if the housemate does lag Helenium. sent11: the housemate is a kind of a Menuhin. sent12: if something does lag Helenium and dislikes the harebell is not a microfiche. sent13: the housemate does not lag Gerreidae if something fishtails and is myeloid. sent14: if there exists something such that it lags Gerreidae and is a kind of a disliked then the harebell is not a kind of a microfiche. sent15: something is a goby if it is not Sadducean. sent16: that the housemate is multinucleate hold. sent17: if something is a microfiche then it lags Helenium. sent18: the fact that that the harebell is a kind of a disliked and is not a tensed is incorrect if the housemate does lag Helenium hold. sent19: if something does not lag Gerreidae it is a microfiche. sent20: something is a disliked but it is not a kind of a tensed. sent21: there exists something such that that it is a kind of a disliked and it is a kind of a tensed does not hold. ; $proof$ = 
sent2 & sent13 -> int1: the housemate does not lag Gerreidae.; sent19 -> int2: if the housemate does not lag Gerreidae then it is a microfiche.; int1 & int2 -> int3: the housemate is a microfiche.; sent17 -> int4: if the housemate is a microfiche it lags Helenium.; int3 & int4 -> int5: the housemate does lag Helenium.; int5 & sent18 -> int6: that the harebell is a disliked but it is not tensed is wrong.; int6 -> hypothesis; __DISPROVED__