the fact that there exists something such that if it is not aerobics then it is an esplanade and it is not autotypic does not hold.
sent1: if the stinger is aerobics it is an esplanade and not autotypic. sent2: there exists something such that if it is not mechanical it is not non-benzylic and is not a Bhadon. sent3: if the work does not animate it is autotypic thing that does not lag Tera. sent4: a non-eventful thing blasphemes excuse and does not blaspheme cadmium. sent5: there exists something such that if the fact that it is not aerobics is not incorrect then it is an esplanade and it is autotypic. sent6: there exists something such that if it is not unpronounceable it is not a spouse. sent7: the stinger is an esplanade and is not autotypic if it is not aerobics. sent8: there exists something such that if it is not aerobics it is an esplanade. sent9: the facade is aerobics and is not archidiaconal if it is not a mineral. sent10: there exists something such that if it is not archidiaconal then it is a tapered and it is not animate. sent11: something is classicistic and non-smoky if it does not follow reversible. sent12: if the stinger does not surprise cheerfulness it is both a allogamy and not crucial. sent13: there is something such that if it is not a hygiene it is floricultural thing that does not follow pointsman. sent14: if that the stinger is not catkinate is right it is aerobics and it is not a Klopstock. sent15: there is something such that if it is not indeterminable then it is a oarfish. sent16: there exists something such that if it is not catkinate then it is a stockinet and evaporative. sent17: the stinger is a kind of an esplanade if it is non-aerobics. sent18: there exists something such that if it is aerobics then it is an esplanade and it is not autotypic. sent19: there is something such that if it is not aerobics it is not autotypic. sent20: that the stinger is a kind of the esplanade and it is autotypic if the fact that the stinger is aerobics is wrong is not false.
sent7 -> hypothesis;
there exists something such that if it does not follow reversible it is classicistic and it is not smoky.
sent11 -> int1: the rig is classicistic but it is not smoky if it does not follow reversible.; int1 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if it is not aerobics then it is an esplanade and it is not autotypic does not hold. ; $context$ = sent1: if the stinger is aerobics it is an esplanade and not autotypic. sent2: there exists something such that if it is not mechanical it is not non-benzylic and is not a Bhadon. sent3: if the work does not animate it is autotypic thing that does not lag Tera. sent4: a non-eventful thing blasphemes excuse and does not blaspheme cadmium. sent5: there exists something such that if the fact that it is not aerobics is not incorrect then it is an esplanade and it is autotypic. sent6: there exists something such that if it is not unpronounceable it is not a spouse. sent7: the stinger is an esplanade and is not autotypic if it is not aerobics. sent8: there exists something such that if it is not aerobics it is an esplanade. sent9: the facade is aerobics and is not archidiaconal if it is not a mineral. sent10: there exists something such that if it is not archidiaconal then it is a tapered and it is not animate. sent11: something is classicistic and non-smoky if it does not follow reversible. sent12: if the stinger does not surprise cheerfulness it is both a allogamy and not crucial. sent13: there is something such that if it is not a hygiene it is floricultural thing that does not follow pointsman. sent14: if that the stinger is not catkinate is right it is aerobics and it is not a Klopstock. sent15: there is something such that if it is not indeterminable then it is a oarfish. sent16: there exists something such that if it is not catkinate then it is a stockinet and evaporative. sent17: the stinger is a kind of an esplanade if it is non-aerobics. sent18: there exists something such that if it is aerobics then it is an esplanade and it is not autotypic. sent19: there is something such that if it is not aerobics it is not autotypic. sent20: that the stinger is a kind of the esplanade and it is autotypic if the fact that the stinger is aerobics is wrong is not false. ; $proof$ = 
sent7 -> hypothesis; __DISPROVED__