the mortgagor is a broad.
sent1: if the articulator is not archdiocesan and/or it is fictile the globe is a broad. sent2: something is not a kind of a broad and does sensualize Volvox if it is archdiocesan. sent3: the articulator does sensualize Orlon. sent4: the articulator does not steepen asceticism. sent5: the globe is not fictile if there is something such that the fact that it does not sensualize Witherspoon and is not acetylenic does not hold. sent6: the mortgagor is humic. sent7: the mortgagor is archdiocesan if the articulator is not non-fictile. sent8: if the fact that the globe is not a broad is not incorrect then that the articulator is humic and it is fictile does not hold. sent9: the globe does not sensualize Witherspoon and is not broad if the fact that the mortgagor is acetylenic is correct. sent10: if the articulator is archdiocesan then that the globe is fictile hold. sent11: if something does not graze then it sensualizes Witherspoon and is acetylenic. sent12: if either the articulator is not broad or it is humic or both then the mortgagor is archdiocesan. sent13: if the globe is not humic or archdiocesan or both then the articulator is fictile. sent14: if the articulator does not sensualize Volvox or is humic or both then the mortgagor is a kind of a broad. sent15: something is humic if the fact that it sensualizes Witherspoon is not false. sent16: that the Orangeman is not a hobbit but it is a borage is not right. sent17: if the articulator does sensualize Volvox it is archdiocesan. sent18: there exists something such that that it does not sensualize Witherspoon and it is not acetylenic is wrong.
void -> assump1: Let's assume that the articulator sensualizes Volvox.; sent17 & assump1 -> int1: that the articulator is archdiocesan is not wrong.; int1 & sent10 -> int2: the fact that the globe is not non-fictile is correct.; sent18 & sent5 -> int3: the globe is not fictile.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the articulator does not sensualize Volvox.; int5 -> int6: the articulator does not sensualize Volvox and/or it is humic.; int6 & sent14 -> hypothesis;
the windfall is archdiocesan.
$hypothesis$ = the mortgagor is a broad. ; $context$ = sent1: if the articulator is not archdiocesan and/or it is fictile the globe is a broad. sent2: something is not a kind of a broad and does sensualize Volvox if it is archdiocesan. sent3: the articulator does sensualize Orlon. sent4: the articulator does not steepen asceticism. sent5: the globe is not fictile if there is something such that the fact that it does not sensualize Witherspoon and is not acetylenic does not hold. sent6: the mortgagor is humic. sent7: the mortgagor is archdiocesan if the articulator is not non-fictile. sent8: if the fact that the globe is not a broad is not incorrect then that the articulator is humic and it is fictile does not hold. sent9: the globe does not sensualize Witherspoon and is not broad if the fact that the mortgagor is acetylenic is correct. sent10: if the articulator is archdiocesan then that the globe is fictile hold. sent11: if something does not graze then it sensualizes Witherspoon and is acetylenic. sent12: if either the articulator is not broad or it is humic or both then the mortgagor is archdiocesan. sent13: if the globe is not humic or archdiocesan or both then the articulator is fictile. sent14: if the articulator does not sensualize Volvox or is humic or both then the mortgagor is a kind of a broad. sent15: something is humic if the fact that it sensualizes Witherspoon is not false. sent16: that the Orangeman is not a hobbit but it is a borage is not right. sent17: if the articulator does sensualize Volvox it is archdiocesan. sent18: there exists something such that that it does not sensualize Witherspoon and it is not acetylenic is wrong. ; $proof$ = 
void -> assump1: Let's assume that the articulator sensualizes Volvox.; sent17 & assump1 -> int1: that the articulator is archdiocesan is not wrong.; int1 & sent10 -> int2: the fact that the globe is not non-fictile is correct.; sent18 & sent5 -> int3: the globe is not fictile.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the articulator does not sensualize Volvox.; int5 -> int6: the articulator does not sensualize Volvox and/or it is humic.; int6 & sent14 -> hypothesis; __PROVED__