the ensign does sediment seaside.
sent1: if a non-montane thing is not diplomatic it does sediment seaside. sent2: the ensign does mound if there exists something such that it is a kind of a wee. sent3: the renin is androgynous. sent4: something that sediments seaside and is diplomatic is not montane. sent5: something is montane if it does mound. sent6: the ensign is montane if it is photoemissive. sent7: the herm does mound if the Scotch does rat. sent8: the ensign does sediment seaside if the herm sediment seaside. sent9: that the herm is non-montane thing that is not diplomatic is not false if the Scotch is not a mound. sent10: everything is a rat. sent11: the ensign is an easel if that it does sediment chalcidfly hold. sent12: the ensign is not a kind of a wee. sent13: that the renin does not sediment Nisan but it is a wee is false if the roadway rats. sent14: something is a wee. sent15: the ensign is diplomatic. sent16: something is a kind of a rat and/or does not sediment Nisan if it is not a matchbook. sent17: if the renin is androgynous it is not a matchbook or it is not Platonistic or both. sent18: if something is not a matchbook or it is not Platonistic or both the fact that the Scotch is not a matchbook is not incorrect. sent19: if something is not diplomatic it is a kind of montane thing that does sediment seaside. sent20: the Cooper is not diplomatic if that the ensign either is not a wee or is diplomatic or both is wrong. sent21: that if the razor is the Stenotomus then that the razor is a wee is right is true. sent22: the nadir is not diplomatic.
void -> assump1: Let's assume that that the ensign does not sediment seaside does not hold.; assump1 & sent15 -> int1: the ensign sediments seaside and it is diplomatic.; sent4 -> int2: the ensign is not montane if it does sediment seaside and is diplomatic.; int1 & int2 -> int3: the ensign is not montane.; sent5 -> int4: if the ensign is a mound then that it is montane is not incorrect.; sent14 & sent2 -> int5: the ensign mounds.; int4 & int5 -> int6: the ensign is montane.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis;
the ensign sediments seaside.
sent1 -> int8: if the fact that the herm is non-montane and is not diplomatic is right then it does sediment seaside.; sent10 -> int9: the fact that the roadway does rat hold.; sent13 & int9 -> int10: that the renin does not sediment Nisan but it is a wee is not correct.; int10 -> int11: there is something such that the fact that it does not sediment Nisan and it is a kind of a wee is not true.;
$hypothesis$ = the ensign does sediment seaside. ; $context$ = sent1: if a non-montane thing is not diplomatic it does sediment seaside. sent2: the ensign does mound if there exists something such that it is a kind of a wee. sent3: the renin is androgynous. sent4: something that sediments seaside and is diplomatic is not montane. sent5: something is montane if it does mound. sent6: the ensign is montane if it is photoemissive. sent7: the herm does mound if the Scotch does rat. sent8: the ensign does sediment seaside if the herm sediment seaside. sent9: that the herm is non-montane thing that is not diplomatic is not false if the Scotch is not a mound. sent10: everything is a rat. sent11: the ensign is an easel if that it does sediment chalcidfly hold. sent12: the ensign is not a kind of a wee. sent13: that the renin does not sediment Nisan but it is a wee is false if the roadway rats. sent14: something is a wee. sent15: the ensign is diplomatic. sent16: something is a kind of a rat and/or does not sediment Nisan if it is not a matchbook. sent17: if the renin is androgynous it is not a matchbook or it is not Platonistic or both. sent18: if something is not a matchbook or it is not Platonistic or both the fact that the Scotch is not a matchbook is not incorrect. sent19: if something is not diplomatic it is a kind of montane thing that does sediment seaside. sent20: the Cooper is not diplomatic if that the ensign either is not a wee or is diplomatic or both is wrong. sent21: that if the razor is the Stenotomus then that the razor is a wee is right is true. sent22: the nadir is not diplomatic. ; $proof$ = 
void -> assump1: Let's assume that that the ensign does not sediment seaside does not hold.; assump1 & sent15 -> int1: the ensign sediments seaside and it is diplomatic.; sent4 -> int2: the ensign is not montane if it does sediment seaside and is diplomatic.; int1 & int2 -> int3: the ensign is not montane.; sent5 -> int4: if the ensign is a mound then that it is montane is not incorrect.; sent14 & sent2 -> int5: the ensign mounds.; int4 & int5 -> int6: the ensign is montane.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis; __DISPROVED__