the fact that the congee does not unloose Elysium and does not unloose tick does not hold.
sent1: the overhang is a kind of a smokestack if the thimerosal is Turkish and it is a smokestack. sent2: the parturiency does invest thimerosal. sent3: if something is not a psychosurgery then the thimerosal is a kind of a Turkish and is not a smokestack. sent4: if something does not invest Cariamidae and does invest thimerosal it is not a kind of a bombproof. sent5: if the thimerosal is Turkish and is not a smokestack then the overhang is a smokestack. sent6: if there exists something such that that it is equitable and it is not translunar does not hold then the overhang invests Cariamidae. sent7: there exists something such that it does unloose Elysium. sent8: The thimerosal does invest parturiency. sent9: if something is a smokestack then that it is a valise is not false. sent10: if there is something such that it does not invest thimerosal the parturiency is equitable. sent11: the railroad does not unloose tick if the overhang does invest Cariamidae and is a valise. sent12: there is something such that it is not a psychosurgery. sent13: the congee does not unloose Elysium and it does not unloose tick if the railroad does not unloose tick. sent14: that the parturiency is a kind of equitable thing that is not translunar is wrong if it does invest thimerosal.
sent14 & sent2 -> int1: that the parturiency is equitable but it is not translunar does not hold.; int1 -> int2: there is something such that the fact that it is equitable and is not translunar is incorrect.; int2 & sent6 -> int3: the overhang invests Cariamidae.; sent9 -> int4: if the overhang is a kind of a smokestack then it is a kind of a valise.; sent12 & sent3 -> int5: the thimerosal is Turkish but it is not a smokestack.; sent5 & int5 -> int6: the fact that the overhang is a smokestack hold.; int4 & int6 -> int7: the fact that the overhang is a valise is correct.; int3 & int7 -> int8: the overhang does invest Cariamidae and is a valise.; int8 & sent11 -> int9: the railroad does not unloose tick.; int9 & sent13 -> hypothesis;
there is something such that it is not a bombproof.
sent4 -> int10: if the parturiency does not invest Cariamidae but it invests thimerosal then it does not bombproof.;
$hypothesis$ = the fact that the congee does not unloose Elysium and does not unloose tick does not hold. ; $context$ = sent1: the overhang is a kind of a smokestack if the thimerosal is Turkish and it is a smokestack. sent2: the parturiency does invest thimerosal. sent3: if something is not a psychosurgery then the thimerosal is a kind of a Turkish and is not a smokestack. sent4: if something does not invest Cariamidae and does invest thimerosal it is not a kind of a bombproof. sent5: if the thimerosal is Turkish and is not a smokestack then the overhang is a smokestack. sent6: if there exists something such that that it is equitable and it is not translunar does not hold then the overhang invests Cariamidae. sent7: there exists something such that it does unloose Elysium. sent8: The thimerosal does invest parturiency. sent9: if something is a smokestack then that it is a valise is not false. sent10: if there is something such that it does not invest thimerosal the parturiency is equitable. sent11: the railroad does not unloose tick if the overhang does invest Cariamidae and is a valise. sent12: there is something such that it is not a psychosurgery. sent13: the congee does not unloose Elysium and it does not unloose tick if the railroad does not unloose tick. sent14: that the parturiency is a kind of equitable thing that is not translunar is wrong if it does invest thimerosal. ; $proof$ = 
sent14 & sent2 -> int1: that the parturiency is equitable but it is not translunar does not hold.; int1 -> int2: there is something such that the fact that it is equitable and is not translunar is incorrect.; int2 & sent6 -> int3: the overhang invests Cariamidae.; sent9 -> int4: if the overhang is a kind of a smokestack then it is a kind of a valise.; sent12 & sent3 -> int5: the thimerosal is Turkish but it is not a smokestack.; sent5 & int5 -> int6: the fact that the overhang is a smokestack hold.; int4 & int6 -> int7: the fact that the overhang is a valise is correct.; int3 & int7 -> int8: the overhang does invest Cariamidae and is a valise.; int8 & sent11 -> int9: the railroad does not unloose tick.; int9 & sent13 -> hypothesis; __DISPROVED__