if the highboy is bedless then the loiterer scotches.
sent1: the fact that the loiterer is not bedless or it scotches or both does not hold. sent2: if there exists something such that the fact that it is stagflationary and/or not conscientious is not correct the fact that the angiotensin is a kind of a stake hold. sent3: if the roebuck does speak hindsight the loiterer does scotch. sent4: the dermatologist does trisect Abelard if the highboy is bedless. sent5: the dermatologist is stagflationary. sent6: the fact that the angiotensin is not fertile and/or it is stagflationary is not correct. sent7: if the angiotensin stakes then the roebuck does speak hindsight. sent8: the roebuck is bedless. sent9: that something is not stagflationary and/or is unconscientious does not hold if it trisects Abelard. sent10: there exists something such that it is not stagflationary or it is unconscientious or both. sent11: there are bedded things. sent12: the dermatologist is megalithic. sent13: the fact that the highboy is not bedless and/or it is stagflationary is not right if it scotches. sent14: the fact that the dermatologist is stagflationary is correct if the fact that it does trisect Abelard hold. sent15: the loiterer does scotch if there is something such that that it does not trisect Abelard and/or it does speak hindsight is not correct. sent16: something is fertile. sent17: the angiotensin is a stake if there is something such that that it is not stagflationary or it is unconscientious or both is not right.
void -> assump1: Let's assume that the highboy is bedless.; sent4 & assump1 -> int1: the dermatologist trisects Abelard.; sent9 -> int2: if the dermatologist trisects Abelard the fact that it is either not stagflationary or unconscientious or both is wrong.; int1 & int2 -> int3: that either the dermatologist is not stagflationary or it is unconscientious or both is not true.; int3 -> int4: there exists something such that the fact that it is not stagflationary and/or it is unconscientious is false.; int4 & sent17 -> int5: the angiotensin is a stake.; int5 & sent7 -> int6: the roebuck speaks hindsight.; int6 & sent3 -> int7: the loiterer does scotch.; [assump1] & int7 -> hypothesis;
$hypothesis$ = if the highboy is bedless then the loiterer scotches. ; $context$ = sent1: the fact that the loiterer is not bedless or it scotches or both does not hold. sent2: if there exists something such that the fact that it is stagflationary and/or not conscientious is not correct the fact that the angiotensin is a kind of a stake hold. sent3: if the roebuck does speak hindsight the loiterer does scotch. sent4: the dermatologist does trisect Abelard if the highboy is bedless. sent5: the dermatologist is stagflationary. sent6: the fact that the angiotensin is not fertile and/or it is stagflationary is not correct. sent7: if the angiotensin stakes then the roebuck does speak hindsight. sent8: the roebuck is bedless. sent9: that something is not stagflationary and/or is unconscientious does not hold if it trisects Abelard. sent10: there exists something such that it is not stagflationary or it is unconscientious or both. sent11: there are bedded things. sent12: the dermatologist is megalithic. sent13: the fact that the highboy is not bedless and/or it is stagflationary is not right if it scotches. sent14: the fact that the dermatologist is stagflationary is correct if the fact that it does trisect Abelard hold. sent15: the loiterer does scotch if there is something such that that it does not trisect Abelard and/or it does speak hindsight is not correct. sent16: something is fertile. sent17: the angiotensin is a stake if there is something such that that it is not stagflationary or it is unconscientious or both is not right. ; $proof$ = 
void -> assump1: Let's assume that the highboy is bedless.; sent4 & assump1 -> int1: the dermatologist trisects Abelard.; sent9 -> int2: if the dermatologist trisects Abelard the fact that it is either not stagflationary or unconscientious or both is wrong.; int1 & int2 -> int3: that either the dermatologist is not stagflationary or it is unconscientious or both is not true.; int3 -> int4: there exists something such that the fact that it is not stagflationary and/or it is unconscientious is false.; int4 & sent17 -> int5: the angiotensin is a stake.; int5 & sent7 -> int6: the roebuck speaks hindsight.; int6 & sent3 -> int7: the loiterer does scotch.; [assump1] & int7 -> hypothesis; __PROVED__