the laetrile is a Bentham.
sent1: if there exists something such that that it is a jersey is correct the amine is a kind of a Bavarian and it is new. sent2: there exists something such that the fact that it is not orthopedics and it is a bookshop does not hold. sent3: there is something such that the fact that it is not a Bavarian and it does battle is not true. sent4: the fact that the airbrake does not battle and it is not clerical is not true if there exists something such that the fact that it is a Celtic is not false. sent5: the amine is ethereal. sent6: there is something such that that it is not new and it is clerical is not correct. sent7: the fact that there is something such that the fact that it is not a Celtic and it is not a kind of a warlock is not correct is not wrong. sent8: the antimacassar is not non-collagenous. sent9: the fact that the airbrake is a Bentham is not incorrect if there exists something such that it is a battle. sent10: if that the redstart is a kind of a warlock is not incorrect the laetrile is a Bentham. sent11: there is something such that it is a jersey. sent12: if something is a kind of a Bentham then the amine is new and it is clerical. sent13: there exists something such that that it is not a Bavarian and not a Celtic is not true. sent14: the sainfoin is a stickler and does scorch airbrake. sent15: the airbrake is new. sent16: if something is a kind of a battle then the antimacassar is clerical and it is a Celtic. sent17: the fact that the airbrake is a Celtic but it is not clerical is incorrect. sent18: if the amine is new the antimacassar is a Celtic. sent19: the fact that the redstart is a kind of a warlock hold if there exists something such that that it is not a battle and it is not clerical is not right. sent20: there is something such that it is both not a warlock and not Celtic. sent21: the dado suppurates.
sent11 & sent1 -> int1: the amine is a kind of a Bavarian and it is new.; int1 -> int2: the amine is new.; sent18 & int2 -> int3: the antimacassar is a Celtic.; int3 -> int4: something is a Celtic.; int4 & sent4 -> int5: the fact that the airbrake is not a battle and is not clerical is incorrect.; int5 -> int6: there exists something such that the fact that it is both not a battle and non-clerical is not correct.; int6 & sent19 -> int7: that the redstart is a warlock hold.; sent10 & int7 -> hypothesis;
$hypothesis$ = the laetrile is a Bentham. ; $context$ = sent1: if there exists something such that that it is a jersey is correct the amine is a kind of a Bavarian and it is new. sent2: there exists something such that the fact that it is not orthopedics and it is a bookshop does not hold. sent3: there is something such that the fact that it is not a Bavarian and it does battle is not true. sent4: the fact that the airbrake does not battle and it is not clerical is not true if there exists something such that the fact that it is a Celtic is not false. sent5: the amine is ethereal. sent6: there is something such that that it is not new and it is clerical is not correct. sent7: the fact that there is something such that the fact that it is not a Celtic and it is not a kind of a warlock is not correct is not wrong. sent8: the antimacassar is not non-collagenous. sent9: the fact that the airbrake is a Bentham is not incorrect if there exists something such that it is a battle. sent10: if that the redstart is a kind of a warlock is not incorrect the laetrile is a Bentham. sent11: there is something such that it is a jersey. sent12: if something is a kind of a Bentham then the amine is new and it is clerical. sent13: there exists something such that that it is not a Bavarian and not a Celtic is not true. sent14: the sainfoin is a stickler and does scorch airbrake. sent15: the airbrake is new. sent16: if something is a kind of a battle then the antimacassar is clerical and it is a Celtic. sent17: the fact that the airbrake is a Celtic but it is not clerical is incorrect. sent18: if the amine is new the antimacassar is a Celtic. sent19: the fact that the redstart is a kind of a warlock hold if there exists something such that that it is not a battle and it is not clerical is not right. sent20: there is something such that it is both not a warlock and not Celtic. sent21: the dado suppurates. ; $proof$ = 
sent11 & sent1 -> int1: the amine is a kind of a Bavarian and it is new.; int1 -> int2: the amine is new.; sent18 & int2 -> int3: the antimacassar is a Celtic.; int3 -> int4: something is a Celtic.; int4 & sent4 -> int5: the fact that the airbrake is not a battle and is not clerical is incorrect.; int5 -> int6: there exists something such that the fact that it is both not a battle and non-clerical is not correct.; int6 & sent19 -> int7: that the redstart is a warlock hold.; sent10 & int7 -> hypothesis; __PROVED__