the hydrologist is not nonspherical.
sent1: if there is something such that the fact that it is not worldly but forgetful is wrong the vanilla is forgetful. sent2: something is a subornation. sent3: the duckboard does not accredit polytheist if the sloe is not axile and it does not accredit polytheist. sent4: the fact that the duckboard is retractile and it is a Phalangiidae is false if it does not accredit polytheist. sent5: if something that proposes cementum is a kind of a Postimpressionist the knobkerrie is not a kind of a Heinlein. sent6: something is not a subornation. sent7: the cementum is not a Postimpressionist. sent8: the hydrologist is a twill if the knobkerrie is not a kind of a Heinlein. sent9: if the knobkerrie is not a small the cementum twills and it is a Heinlein. sent10: the knobkerrie is not a Heinlein if something that does propose cementum is not a Postimpressionist. sent11: if the vanilla is not forgetful the sloe is not axile. sent12: there exists something such that that it is a kind of non-worldly thing that is forgetful is not true. sent13: the hydrologist is nonspherical if the cementum does not propose cementum and/or it is not a subornation. sent14: that the usufructuary is a kind of a small hold. sent15: the sloe does not accredit polytheist but it is a uncreativeness. sent16: if the hydrologist is a twill and nonspherical then the usufructuary is not a kind of a small. sent17: if there is something such that the fact that it is retractile and is a Phalangiidae is incorrect the usufructuary is not retractile. sent18: that the cementum does propose cementum but it is not a kind of a Postimpressionist if there exists something such that it is not a kind of a subornation hold. sent19: the hydrologist is not a kind of a small. sent20: if that something is a Heinlein is not wrong then it is a Postimpressionist. sent21: something does not propose cementum or it is not a subornation or both if it is a Postimpressionist. sent22: if the fact that something is not a rerun and/or is pious does not hold then it is not small.
sent6 & sent18 -> int1: the cementum proposes cementum and is not a Postimpressionist.; int1 -> int2: something does propose cementum but it is not a Postimpressionist.; int2 & sent10 -> int3: the knobkerrie is not a kind of a Heinlein.; int3 & sent8 -> int4: the hydrologist is a kind of a twill.; void -> assump1: Let's assume that the hydrologist is nonspherical.; int4 & assump1 -> int5: the hydrologist is a twill and nonspherical.; int5 & sent16 -> int6: the usufructuary is not a kind of a small.; int6 & sent14 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis;
the hydrologist is nonspherical.
sent21 -> int8: either the cementum does not propose cementum or it is not a subornation or both if it is a Postimpressionist.; sent20 -> int9: if the cementum is a Heinlein then it is a kind of a Postimpressionist.; sent22 -> int10: the fact that if the fact that the knobkerrie does not rerun and/or it is pious does not hold then the knobkerrie is not a small is not wrong.; sent12 & sent1 -> int11: the vanilla is not forgetful.; sent11 & int11 -> int12: the sloe is not axile.; sent15 -> int13: the sloe does not accredit polytheist.; int12 & int13 -> int14: the sloe is a kind of non-axile thing that does not accredit polytheist.; sent3 & int14 -> int15: the duckboard does not accredit polytheist.; sent4 & int15 -> int16: the fact that the duckboard is both retractile and a Phalangiidae is not correct.; int16 -> int17: there exists something such that the fact that it is not nonretractile and it is a Phalangiidae does not hold.; int17 & sent17 -> int18: the usufructuary is not retractile.; int18 -> int19: that there is something such that it is not retractile is not false.;
$hypothesis$ = the hydrologist is not nonspherical. ; $context$ = sent1: if there is something such that the fact that it is not worldly but forgetful is wrong the vanilla is forgetful. sent2: something is a subornation. sent3: the duckboard does not accredit polytheist if the sloe is not axile and it does not accredit polytheist. sent4: the fact that the duckboard is retractile and it is a Phalangiidae is false if it does not accredit polytheist. sent5: if something that proposes cementum is a kind of a Postimpressionist the knobkerrie is not a kind of a Heinlein. sent6: something is not a subornation. sent7: the cementum is not a Postimpressionist. sent8: the hydrologist is a twill if the knobkerrie is not a kind of a Heinlein. sent9: if the knobkerrie is not a small the cementum twills and it is a Heinlein. sent10: the knobkerrie is not a Heinlein if something that does propose cementum is not a Postimpressionist. sent11: if the vanilla is not forgetful the sloe is not axile. sent12: there exists something such that that it is a kind of non-worldly thing that is forgetful is not true. sent13: the hydrologist is nonspherical if the cementum does not propose cementum and/or it is not a subornation. sent14: that the usufructuary is a kind of a small hold. sent15: the sloe does not accredit polytheist but it is a uncreativeness. sent16: if the hydrologist is a twill and nonspherical then the usufructuary is not a kind of a small. sent17: if there is something such that the fact that it is retractile and is a Phalangiidae is incorrect the usufructuary is not retractile. sent18: that the cementum does propose cementum but it is not a kind of a Postimpressionist if there exists something such that it is not a kind of a subornation hold. sent19: the hydrologist is not a kind of a small. sent20: if that something is a Heinlein is not wrong then it is a Postimpressionist. sent21: something does not propose cementum or it is not a subornation or both if it is a Postimpressionist. sent22: if the fact that something is not a rerun and/or is pious does not hold then it is not small. ; $proof$ = 
sent6 & sent18 -> int1: the cementum proposes cementum and is not a Postimpressionist.; int1 -> int2: something does propose cementum but it is not a Postimpressionist.; int2 & sent10 -> int3: the knobkerrie is not a kind of a Heinlein.; int3 & sent8 -> int4: the hydrologist is a kind of a twill.; void -> assump1: Let's assume that the hydrologist is nonspherical.; int4 & assump1 -> int5: the hydrologist is a twill and nonspherical.; int5 & sent16 -> int6: the usufructuary is not a kind of a small.; int6 & sent14 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis; __PROVED__