there exists something such that it is a kind of unpronounceable thing that does disunify Novial.
sent1: if the winepress does not disunify Littorinidae it is wiry. sent2: there is something such that it is unpronounceable. sent3: if the fact that something is a kind of non-cannibalistic thing that is not wiry is incorrect then it is non-cannibalistic. sent4: the spironolactone does disunify Novial. sent5: something does disunify Novial if it is wiry. sent6: the blinker is a kind of a intuitionism and it disunifies Novial. sent7: the winepress does not disunify Littorinidae. sent8: there exists nothing that does disunify altar and is intramolecular. sent9: there is nothing that is both a pack and a lysin. sent10: the winepress is unpronounceable if there exists something such that that it does disunify altar and is intramolecular does not hold. sent11: if there is something such that it does not disunify altar the winepress is unpronounceable. sent12: the blacking is unadaptable and disunifies altar. sent13: the constructivist is not unpronounceable. sent14: there is something such that it does disunify Novial. sent15: The Littorinidae does not disunify winepress. sent16: if either the cross-link is not temperate or it does not disunify Littorinidae or both then the experimenter disunify Littorinidae. sent17: that the winepress is not cannibalistic and it is not wiry does not hold if there exists something such that it is not unpronounceable. sent18: the blacking is a reenactment if it is not unpronounceable. sent19: if the winepress does not disunify Novial it is intramolecular. sent20: if the experimenter disunifies Littorinidae then that that it does not disunify Novial and is not a flower is not wrong is not true.
sent8 -> int1: the fact that the blacking disunifies altar and is intramolecular is incorrect.; int1 -> int2: there exists something such that the fact that it disunifies altar and it is intramolecular is wrong.; int2 & sent10 -> int3: the winepress is unpronounceable.; sent5 -> int4: if the winepress is wiry then it disunifies Novial.; sent1 & sent7 -> int5: the winepress is wiry.; int4 & int5 -> int6: the winepress disunifies Novial.; int3 & int6 -> int7: the winepress is unpronounceable thing that does disunify Novial.; int7 -> hypothesis;
there is something such that it is cannibalistic and a flower.
sent3 -> int8: the winepress is cannibalistic if that it is cannibalistic and it is not wiry is not true.; sent13 -> int9: something is not unpronounceable.; int9 & sent17 -> int10: that the winepress is not cannibalistic and it is not wiry is false.; int8 & int10 -> int11: the winepress is cannibalistic.;
$hypothesis$ = there exists something such that it is a kind of unpronounceable thing that does disunify Novial. ; $context$ = sent1: if the winepress does not disunify Littorinidae it is wiry. sent2: there is something such that it is unpronounceable. sent3: if the fact that something is a kind of non-cannibalistic thing that is not wiry is incorrect then it is non-cannibalistic. sent4: the spironolactone does disunify Novial. sent5: something does disunify Novial if it is wiry. sent6: the blinker is a kind of a intuitionism and it disunifies Novial. sent7: the winepress does not disunify Littorinidae. sent8: there exists nothing that does disunify altar and is intramolecular. sent9: there is nothing that is both a pack and a lysin. sent10: the winepress is unpronounceable if there exists something such that that it does disunify altar and is intramolecular does not hold. sent11: if there is something such that it does not disunify altar the winepress is unpronounceable. sent12: the blacking is unadaptable and disunifies altar. sent13: the constructivist is not unpronounceable. sent14: there is something such that it does disunify Novial. sent15: The Littorinidae does not disunify winepress. sent16: if either the cross-link is not temperate or it does not disunify Littorinidae or both then the experimenter disunify Littorinidae. sent17: that the winepress is not cannibalistic and it is not wiry does not hold if there exists something such that it is not unpronounceable. sent18: the blacking is a reenactment if it is not unpronounceable. sent19: if the winepress does not disunify Novial it is intramolecular. sent20: if the experimenter disunifies Littorinidae then that that it does not disunify Novial and is not a flower is not wrong is not true. ; $proof$ = 
sent8 -> int1: the fact that the blacking disunifies altar and is intramolecular is incorrect.; int1 -> int2: there exists something such that the fact that it disunifies altar and it is intramolecular is wrong.; int2 & sent10 -> int3: the winepress is unpronounceable.; sent5 -> int4: if the winepress is wiry then it disunifies Novial.; sent1 & sent7 -> int5: the winepress is wiry.; int4 & int5 -> int6: the winepress disunifies Novial.; int3 & int6 -> int7: the winepress is unpronounceable thing that does disunify Novial.; int7 -> hypothesis; __PROVED__