there is something such that if the fact that it is not a lampshade and not sensational does not hold it is not fore.
sent1: the Babylonian is fore if that it is not a lampshade and it is not sensational is not correct. sent2: there exists something such that if the fact that it is a kind of a lampshade and is not sensational does not hold it is not fore. sent3: if the Babylonian is sensational then it is not fore. sent4: there is something such that if it is both not a lampshade and not sensational it is not fore. sent5: there is something such that if that it is not a lampshade and is not sensational is false then it is fore. sent6: there exists something such that if it is sensational it is not fore. sent7: if the Babylonian is not a lampshade and is not sensational it is not fore. sent8: if that something is not a kind of an amble and it is not a Sardinian is wrong then it is not a climb. sent9: if something is not a lampshade and it is unsensational then it is not fore. sent10: if that that the Babylonian does not enfeoff emergence and it is not a lampshade hold does not hold it is not a kind of a meet. sent11: there is something such that if that it does not decrease Babylonian and it is not nonruminant does not hold it does not decrease sperm. sent12: if that something is not a kind of a lampshade and it is not sensational is not right then it is fore. sent13: if that something is not uncreative and not nonruminant is not correct it is not a countermine. sent14: something does not enfeoff Trevithick if the fact that it does not enfeoff chrome and is not sensational is false. sent15: if that something is sensational hold it is not fore. sent16: there is something such that if the fact that it is non-Prakritic thing that does not climb is wrong it is not a kind of a trample. sent17: if the fact that something is a lampshade but it is not sensational does not hold then it is not fore. sent18: if the fact that the Babylonian is a lampshade but it is not sensational is not right it is not fore. sent19: there is something such that if that it does not signalize and it is not a Angora is wrong then it does not cream vitality. sent20: if that something is not a lampshade and is not sensational is not correct it is not fore.
sent20 -> int1: if that the Babylonian is not a lampshade and is not sensational is not correct it is not fore.; int1 -> hypothesis;
if the fact that the vitality does not enfeoff chrome and it is not sensational does not hold it does not enfeoff Trevithick.
sent14 -> hypothesis;
$hypothesis$ = there is something such that if the fact that it is not a lampshade and not sensational does not hold it is not fore. ; $context$ = sent1: the Babylonian is fore if that it is not a lampshade and it is not sensational is not correct. sent2: there exists something such that if the fact that it is a kind of a lampshade and is not sensational does not hold it is not fore. sent3: if the Babylonian is sensational then it is not fore. sent4: there is something such that if it is both not a lampshade and not sensational it is not fore. sent5: there is something such that if that it is not a lampshade and is not sensational is false then it is fore. sent6: there exists something such that if it is sensational it is not fore. sent7: if the Babylonian is not a lampshade and is not sensational it is not fore. sent8: if that something is not a kind of an amble and it is not a Sardinian is wrong then it is not a climb. sent9: if something is not a lampshade and it is unsensational then it is not fore. sent10: if that that the Babylonian does not enfeoff emergence and it is not a lampshade hold does not hold it is not a kind of a meet. sent11: there is something such that if that it does not decrease Babylonian and it is not nonruminant does not hold it does not decrease sperm. sent12: if that something is not a kind of a lampshade and it is not sensational is not right then it is fore. sent13: if that something is not uncreative and not nonruminant is not correct it is not a countermine. sent14: something does not enfeoff Trevithick if the fact that it does not enfeoff chrome and is not sensational is false. sent15: if that something is sensational hold it is not fore. sent16: there is something such that if the fact that it is non-Prakritic thing that does not climb is wrong it is not a kind of a trample. sent17: if the fact that something is a lampshade but it is not sensational does not hold then it is not fore. sent18: if the fact that the Babylonian is a lampshade but it is not sensational is not right it is not fore. sent19: there is something such that if that it does not signalize and it is not a Angora is wrong then it does not cream vitality. sent20: if that something is not a lampshade and is not sensational is not correct it is not fore. ; $proof$ = 
sent20 -> int1: if that the Babylonian is not a lampshade and is not sensational is not correct it is not fore.; int1 -> hypothesis; __PROVED__