the grosbeak is a blues but it does not sicken gopher.
sent1: the Honduran is a kind of a Meyerhof if there exists something such that the fact that it sickens proturan and it is a Altaic does not hold. sent2: the gopher is not alike if something that is a kind of a Meyerhof is a kind of a gelignite. sent3: the Honduran does dummy if that it does not dummy and it is not dermatologic is false. sent4: if there is something such that it is not alike then that the grosbeak is a blues and does not sicken gopher does not hold. sent5: that the Honduran is a dummy and not dermatologic is incorrect if that it is not effortless is not incorrect. sent6: the fact that the caddis-fly does not scotch is correct. sent7: the Honduran is not effortless. sent8: if the Honduran is not effortless the fact that it is not a dummy and is not dermatologic is incorrect. sent9: the Honduran is a gelignite if it is a dummy. sent10: the fact that the reflation sickens proturan and it is a kind of a Altaic does not hold if the caddis-fly does not scotch.
sent10 & sent6 -> int1: the fact that the reflation sickens proturan and it is a Altaic is incorrect.; int1 -> int2: there exists something such that that it does sicken proturan and it is a Altaic is incorrect.; int2 & sent1 -> int3: the Honduran is a Meyerhof.; sent8 & sent7 -> int4: that the Honduran is not a dummy and not dermatologic is not right.; sent3 & int4 -> int5: the Honduran is a dummy.; sent9 & int5 -> int6: the Honduran is a gelignite.; int3 & int6 -> int7: the Honduran is a kind of a Meyerhof and it is a gelignite.; int7 -> int8: there is something such that it is a Meyerhof and is a gelignite.; int8 & sent2 -> int9: the gopher is not alike.; int9 -> int10: there is something such that the fact that it is not alike is not incorrect.; int10 & sent4 -> hypothesis;
$hypothesis$ = the grosbeak is a blues but it does not sicken gopher. ; $context$ = sent1: the Honduran is a kind of a Meyerhof if there exists something such that the fact that it sickens proturan and it is a Altaic does not hold. sent2: the gopher is not alike if something that is a kind of a Meyerhof is a kind of a gelignite. sent3: the Honduran does dummy if that it does not dummy and it is not dermatologic is false. sent4: if there is something such that it is not alike then that the grosbeak is a blues and does not sicken gopher does not hold. sent5: that the Honduran is a dummy and not dermatologic is incorrect if that it is not effortless is not incorrect. sent6: the fact that the caddis-fly does not scotch is correct. sent7: the Honduran is not effortless. sent8: if the Honduran is not effortless the fact that it is not a dummy and is not dermatologic is incorrect. sent9: the Honduran is a gelignite if it is a dummy. sent10: the fact that the reflation sickens proturan and it is a kind of a Altaic does not hold if the caddis-fly does not scotch. ; $proof$ = 
sent10 & sent6 -> int1: the fact that the reflation sickens proturan and it is a Altaic is incorrect.; int1 -> int2: there exists something such that that it does sicken proturan and it is a Altaic is incorrect.; int2 & sent1 -> int3: the Honduran is a Meyerhof.; sent8 & sent7 -> int4: that the Honduran is not a dummy and not dermatologic is not right.; sent3 & int4 -> int5: the Honduran is a dummy.; sent9 & int5 -> int6: the Honduran is a gelignite.; int3 & int6 -> int7: the Honduran is a kind of a Meyerhof and it is a gelignite.; int7 -> int8: there is something such that it is a Meyerhof and is a gelignite.; int8 & sent2 -> int9: the gopher is not alike.; int9 -> int10: there is something such that the fact that it is not alike is not incorrect.; int10 & sent4 -> hypothesis; __DISPROVED__