the saltpeter impedes Ibsen.
sent1: something is Mancunian thing that is blastospheric if it is not a Dirac. sent2: the infusion is a pavlova and/or does costume if the beekeeper is not a kind of a squirearchy. sent3: if that the homophobe is a Dirac is not incorrect then the timberline is blastospheric. sent4: if the infusion is a kind of a pavlova and it does costume it is not a squirearchy. sent5: that the beekeeper is a Dirac and is a descent is wrong. sent6: something that is not a descent refines vibraphone and is a kind of a Mancunian. sent7: the beekeeper is not a kind of a Dirac if the fact that it is a Dirac and it is a descent is not right. sent8: there is something such that that it is not a kind of a cardinalfish and it is not piratical does not hold. sent9: the row does not refine nitrobenzene if there is something such that that it is not a capybara and it does refine nitrobenzene is not true. sent10: if something does not refine vibraphone and does impede Ibsen it is not a kind of a squirearchy. sent11: if the beekeeper refines vibraphone the saltpeter does impede Ibsen. sent12: the homophobe is both pronounceable and a Dirac if the fact that the row does not refine nitrobenzene hold. sent13: if the boll is a kind of a snowfield that it is not a capybara and refines nitrobenzene is not right. sent14: if the infusion budgets depilation the beekeeper does refine vibraphone. sent15: that if something that is blastospheric refines vibraphone the beekeeper does budget depilation is not incorrect. sent16: the saltpeter does not impede Ibsen if the infusion does not impede Ibsen and it is not a pavlova. sent17: if the beekeeper is a squirearchy then that the infusion is both not a pavlova and not a costumed is not true. sent18: the infusion is a costumed. sent19: if there is something such that that it is Cretaceous and sides uniformed is not correct the boll is a kind of a snowfield. sent20: that the beekeeper does impede Ibsen is right. sent21: if the infusion is not a squirearchy it budgets depilation. sent22: if there is something such that that it is not a cardinalfish and is not piratical is not right the timberline is not a descent. sent23: the infusion is a pavlova. sent24: there exists something such that the fact that it is a Cretaceous and it does side uniformed does not hold. sent25: the infusion does refine vibraphone if that the beekeeper is a pavlova is not incorrect. sent26: something refines vibraphone.
sent23 & sent18 -> int1: the infusion is a pavlova and it costumes.; int1 & sent4 -> int2: the infusion is not a kind of a squirearchy.; int2 & sent21 -> int3: the infusion does budget depilation.; int3 & sent14 -> int4: the beekeeper does refine vibraphone.; int4 & sent11 -> hypothesis;
the saltpeter does not impede Ibsen.
sent24 & sent19 -> int5: the boll is a kind of a snowfield.; sent13 & int5 -> int6: that the boll is not a capybara and refines nitrobenzene is false.; int6 -> int7: there exists something such that the fact that that it is not a capybara and does refine nitrobenzene is true is incorrect.; int7 & sent9 -> int8: the row does not refine nitrobenzene.; sent12 & int8 -> int9: the homophobe is a kind of pronounceable thing that is a kind of a Dirac.; int9 -> int10: the homophobe is a Dirac.; sent3 & int10 -> int11: the timberline is blastospheric.; sent6 -> int12: the timberline does refine vibraphone and is a Mancunian if that it is not a descent hold.; sent8 & sent22 -> int13: the timberline is not a descent.; int12 & int13 -> int14: the timberline does refine vibraphone and it is not non-Mancunian.; int14 -> int15: the timberline does refine vibraphone.; int11 & int15 -> int16: the timberline is blastospheric and it refines vibraphone.; int16 -> int17: there exists something such that it is blastospheric and it refines vibraphone.; int17 & sent15 -> int18: the beekeeper does budget depilation.;
$hypothesis$ = the saltpeter impedes Ibsen. ; $context$ = sent1: something is Mancunian thing that is blastospheric if it is not a Dirac. sent2: the infusion is a pavlova and/or does costume if the beekeeper is not a kind of a squirearchy. sent3: if that the homophobe is a Dirac is not incorrect then the timberline is blastospheric. sent4: if the infusion is a kind of a pavlova and it does costume it is not a squirearchy. sent5: that the beekeeper is a Dirac and is a descent is wrong. sent6: something that is not a descent refines vibraphone and is a kind of a Mancunian. sent7: the beekeeper is not a kind of a Dirac if the fact that it is a Dirac and it is a descent is not right. sent8: there is something such that that it is not a kind of a cardinalfish and it is not piratical does not hold. sent9: the row does not refine nitrobenzene if there is something such that that it is not a capybara and it does refine nitrobenzene is not true. sent10: if something does not refine vibraphone and does impede Ibsen it is not a kind of a squirearchy. sent11: if the beekeeper refines vibraphone the saltpeter does impede Ibsen. sent12: the homophobe is both pronounceable and a Dirac if the fact that the row does not refine nitrobenzene hold. sent13: if the boll is a kind of a snowfield that it is not a capybara and refines nitrobenzene is not right. sent14: if the infusion budgets depilation the beekeeper does refine vibraphone. sent15: that if something that is blastospheric refines vibraphone the beekeeper does budget depilation is not incorrect. sent16: the saltpeter does not impede Ibsen if the infusion does not impede Ibsen and it is not a pavlova. sent17: if the beekeeper is a squirearchy then that the infusion is both not a pavlova and not a costumed is not true. sent18: the infusion is a costumed. sent19: if there is something such that that it is Cretaceous and sides uniformed is not correct the boll is a kind of a snowfield. sent20: that the beekeeper does impede Ibsen is right. sent21: if the infusion is not a squirearchy it budgets depilation. sent22: if there is something such that that it is not a cardinalfish and is not piratical is not right the timberline is not a descent. sent23: the infusion is a pavlova. sent24: there exists something such that the fact that it is a Cretaceous and it does side uniformed does not hold. sent25: the infusion does refine vibraphone if that the beekeeper is a pavlova is not incorrect. sent26: something refines vibraphone. ; $proof$ = 
sent23 & sent18 -> int1: the infusion is a pavlova and it costumes.; int1 & sent4 -> int2: the infusion is not a kind of a squirearchy.; int2 & sent21 -> int3: the infusion does budget depilation.; int3 & sent14 -> int4: the beekeeper does refine vibraphone.; int4 & sent11 -> hypothesis; __PROVED__