the beta-carotene is a Carex that undercuts beta-carotene.
sent1: the fact that the beta-carotene does undercut beta-carotene hold. sent2: if something induces strand then it is not a kind of a Sabbatarian. sent3: the boron does gradate if something does not induce pesticide. sent4: a non-ammonitic thing disapproves nymphomaniac and does not induce attache. sent5: the commuter is ammonitic and it is a hiccup. sent6: something does not undercut Chamaecytisus if that it does grate wimple and undercut Chamaecytisus is not right. sent7: if the commuter does grate Somalian and it is ammonitic the wimple is not ammonitic. sent8: something induces strand or is a cetrimide or both if it does not induce attache. sent9: the fact that the commuter does not grate Somalian does not hold. sent10: if the fact that the pesticide is not emotional and it does not gradate is not right then the boron does not gradate. sent11: something is not a bacca if it does not undercut Chamaecytisus. sent12: the pesticide does not undercut Chamaecytisus if there exists something such that that it is not emotional and it is a bacca is wrong. sent13: if the wimple is not a Sabbatarian the fact that the vicinity grates wimple and does undercut Chamaecytisus does not hold. sent14: the fact that the pesticide is not emotional and it does not gradate does not hold if the vicinity is not a bacca. sent15: the beta-carotene is a kind of a Carex and it does undercut beta-carotene if the pesticide does not undercut Chamaecytisus. sent16: that the beta-carotene is a Carex and does undercut beta-carotene is wrong if the boron does not gradate. sent17: if something gradates then that it is unemotional and a bacca does not hold. sent18: either something does not induce pesticide or it is not a kind of a Irrawaddy or both. sent19: if there is something such that either it does not induce pesticide or it is not a Irrawaddy or both the boron gradates.
sent18 & sent19 -> int1: the boron gradates.; sent17 -> int2: the fact that the boron is not emotional but it is a bacca is not right if it does gradate.; int1 & int2 -> int3: the fact that the boron is not emotional but it is a bacca does not hold.; int3 -> int4: there is something such that that it is not emotional and is a bacca is not right.; int4 & sent12 -> int5: the pesticide does not undercut Chamaecytisus.; int5 & sent15 -> hypothesis;
that that the beta-carotene is a Carex and it undercuts beta-carotene does not hold is right.
sent11 -> int6: if the vicinity does not undercut Chamaecytisus it is not a bacca.; sent6 -> int7: if the fact that the vicinity grates wimple and it undercuts Chamaecytisus is not correct it does not undercuts Chamaecytisus.; sent8 -> int8: if the wimple does not induce attache it does induce strand and/or it is a cetrimide.; sent4 -> int9: the wimple does disapprove nymphomaniac but it does not induce attache if it is not ammonitic.; sent5 -> int10: the commuter is ammonitic.; sent9 & int10 -> int11: the commuter grates Somalian and is ammonitic.; sent7 & int11 -> int12: that the wimple is not ammonitic is not incorrect.; int9 & int12 -> int13: the wimple disapproves nymphomaniac but it does not induce attache.; int13 -> int14: the fact that the wimple does not induce attache is not incorrect.; int8 & int14 -> int15: the wimple either does induce strand or is a cetrimide or both.; sent2 -> int16: the fact that if the fact that the wimple induces strand hold that the wimple is non-Sabbatarian is correct is right.;
$hypothesis$ = the beta-carotene is a Carex that undercuts beta-carotene. ; $context$ = sent1: the fact that the beta-carotene does undercut beta-carotene hold. sent2: if something induces strand then it is not a kind of a Sabbatarian. sent3: the boron does gradate if something does not induce pesticide. sent4: a non-ammonitic thing disapproves nymphomaniac and does not induce attache. sent5: the commuter is ammonitic and it is a hiccup. sent6: something does not undercut Chamaecytisus if that it does grate wimple and undercut Chamaecytisus is not right. sent7: if the commuter does grate Somalian and it is ammonitic the wimple is not ammonitic. sent8: something induces strand or is a cetrimide or both if it does not induce attache. sent9: the fact that the commuter does not grate Somalian does not hold. sent10: if the fact that the pesticide is not emotional and it does not gradate is not right then the boron does not gradate. sent11: something is not a bacca if it does not undercut Chamaecytisus. sent12: the pesticide does not undercut Chamaecytisus if there exists something such that that it is not emotional and it is a bacca is wrong. sent13: if the wimple is not a Sabbatarian the fact that the vicinity grates wimple and does undercut Chamaecytisus does not hold. sent14: the fact that the pesticide is not emotional and it does not gradate does not hold if the vicinity is not a bacca. sent15: the beta-carotene is a kind of a Carex and it does undercut beta-carotene if the pesticide does not undercut Chamaecytisus. sent16: that the beta-carotene is a Carex and does undercut beta-carotene is wrong if the boron does not gradate. sent17: if something gradates then that it is unemotional and a bacca does not hold. sent18: either something does not induce pesticide or it is not a kind of a Irrawaddy or both. sent19: if there is something such that either it does not induce pesticide or it is not a Irrawaddy or both the boron gradates. ; $proof$ = 
sent18 & sent19 -> int1: the boron gradates.; sent17 -> int2: the fact that the boron is not emotional but it is a bacca is not right if it does gradate.; int1 & int2 -> int3: the fact that the boron is not emotional but it is a bacca does not hold.; int3 -> int4: there is something such that that it is not emotional and is a bacca is not right.; int4 & sent12 -> int5: the pesticide does not undercut Chamaecytisus.; int5 & sent15 -> hypothesis; __PROVED__