the bridesmaid is not computational.
sent1: something is a kind of disintegrative thing that does shoo cresol if the fact that it is not a kind of a Howard is correct. sent2: if that the loofah redes afflatus and it curls does not hold then that the bridesmaid is not computational hold. sent3: if there is something such that it does not shoo cresol the fact that the lysozyme is disintegrative and is a kind of a Howard is not true. sent4: there is something such that the fact that it is a kind of radiotelephonic thing that is a pedicab is not true. sent5: the fact that something is disintegrative and is a diamante is not correct if it does not shoo cresol. sent6: the river does not rede afflatus if there is something such that it does rede shipyard and it is not cismontane. sent7: the promulgator does rede shipyard but it is not cismontane if the jade does not rede shipyard. sent8: there exists something such that the fact that it is a proctoscopy and it shoos bob is not true. sent9: there exists something such that it is a kind of a preceptor. sent10: if there is something such that that it is not disintegrative and it is a Howard is incorrect then the jade does not rede shipyard. sent11: if the fact that that the lysozyme is disintegrative and a diamante is not false is false then it is not a diamante. sent12: if there exists something such that it does not shoo cresol that the lysozyme is not disintegrative but it is a Howard is not correct. sent13: something does not shoo cresol. sent14: if the river does not rede afflatus then the fact that the loofah does rede afflatus and it does curl is not right.
sent13 & sent12 -> int1: the fact that the lysozyme is not disintegrative and is a Howard is incorrect.; int1 -> int2: there is something such that the fact that it is not disintegrative but a Howard is not true.; int2 & sent10 -> int3: the jade does not rede shipyard.; sent7 & int3 -> int4: the promulgator redes shipyard and is not cismontane.; int4 -> int5: there is something such that it redes shipyard and is non-cismontane.; int5 & sent6 -> int6: the river does not rede afflatus.; sent14 & int6 -> int7: that that the loofah does rede afflatus and it curls is not wrong is incorrect.; sent2 & int7 -> hypothesis;
the bridesmaid is computational.
sent1 -> int8: the jade is disintegrative and it shoos cresol if it is not a Howard.;
$hypothesis$ = the bridesmaid is not computational. ; $context$ = sent1: something is a kind of disintegrative thing that does shoo cresol if the fact that it is not a kind of a Howard is correct. sent2: if that the loofah redes afflatus and it curls does not hold then that the bridesmaid is not computational hold. sent3: if there is something such that it does not shoo cresol the fact that the lysozyme is disintegrative and is a kind of a Howard is not true. sent4: there is something such that the fact that it is a kind of radiotelephonic thing that is a pedicab is not true. sent5: the fact that something is disintegrative and is a diamante is not correct if it does not shoo cresol. sent6: the river does not rede afflatus if there is something such that it does rede shipyard and it is not cismontane. sent7: the promulgator does rede shipyard but it is not cismontane if the jade does not rede shipyard. sent8: there exists something such that the fact that it is a proctoscopy and it shoos bob is not true. sent9: there exists something such that it is a kind of a preceptor. sent10: if there is something such that that it is not disintegrative and it is a Howard is incorrect then the jade does not rede shipyard. sent11: if the fact that that the lysozyme is disintegrative and a diamante is not false is false then it is not a diamante. sent12: if there exists something such that it does not shoo cresol that the lysozyme is not disintegrative but it is a Howard is not correct. sent13: something does not shoo cresol. sent14: if the river does not rede afflatus then the fact that the loofah does rede afflatus and it does curl is not right. ; $proof$ = 
sent13 & sent12 -> int1: the fact that the lysozyme is not disintegrative and is a Howard is incorrect.; int1 -> int2: there is something such that the fact that it is not disintegrative but a Howard is not true.; int2 & sent10 -> int3: the jade does not rede shipyard.; sent7 & int3 -> int4: the promulgator redes shipyard and is not cismontane.; int4 -> int5: there is something such that it redes shipyard and is non-cismontane.; int5 & sent6 -> int6: the river does not rede afflatus.; sent14 & int6 -> int7: that that the loofah does rede afflatus and it curls is not wrong is incorrect.; sent2 & int7 -> hypothesis; __PROVED__