the brodiaea is not axonal.
sent1: that the brodiaea does disentangle result and it is a kind of a brier is not correct if there is something such that it is rocky. sent2: something is not axonal if it is not a kind of a brier. sent3: the brodiaea does not train if that there exists something such that the fact that it is rocky and it train is false hold. sent4: if the fact that something does not train hold then it is not non-Sikh and it is not uncomplimentary. sent5: the scapular does train. sent6: if there is something such that it is a Masonite and/or noncompetitive then the pratincole is a Masonite. sent7: something is not axonal if that it does disentangle result and is a brier does not hold. sent8: the pratincole is a details. sent9: the fact that something is rocky thing that is a kind of a train does not hold if it does not disentangle result. sent10: that the watchdog is not a kind of a brier but it is not non-axonal is not right if the plunderer does not detail. sent11: the scapular does train and it is rocky. sent12: that the plunderer does not detail is right if the pratincole is both a detail and a Masonite. sent13: the result is a Masonite and/or it is noncompetitive.
sent11 -> int1: the scapular is rocky.; int1 -> int2: there exists something such that it is rocky.; int2 & sent1 -> int3: that the brodiaea disentangles result and is a brier is incorrect.; sent7 -> int4: that the brodiaea is not axonal is not incorrect if the fact that it disentangles result and is a brier is not right.; int3 & int4 -> hypothesis;
that the brodiaea is a Sikh and it is complimentary hold.
sent4 -> int5: the brodiaea is Sikh and complimentary if it is not a train.; sent9 -> int6: if the scapular does not disentangle result the fact that it is a kind of rocky a train does not hold.; sent13 -> int7: there exists something such that it is a Masonite and/or it is noncompetitive.; int7 & sent6 -> int8: the pratincole is a Masonite.; sent8 & int8 -> int9: the pratincole is a details and a Masonite.; sent12 & int9 -> int10: the plunderer is not a kind of a details.; sent10 & int10 -> int11: that the watchdog is not a brier but it is axonal is incorrect.; int11 -> int12: there is something such that that it is not a brier and it is axonal is incorrect.;
$hypothesis$ = the brodiaea is not axonal. ; $context$ = sent1: that the brodiaea does disentangle result and it is a kind of a brier is not correct if there is something such that it is rocky. sent2: something is not axonal if it is not a kind of a brier. sent3: the brodiaea does not train if that there exists something such that the fact that it is rocky and it train is false hold. sent4: if the fact that something does not train hold then it is not non-Sikh and it is not uncomplimentary. sent5: the scapular does train. sent6: if there is something such that it is a Masonite and/or noncompetitive then the pratincole is a Masonite. sent7: something is not axonal if that it does disentangle result and is a brier does not hold. sent8: the pratincole is a details. sent9: the fact that something is rocky thing that is a kind of a train does not hold if it does not disentangle result. sent10: that the watchdog is not a kind of a brier but it is not non-axonal is not right if the plunderer does not detail. sent11: the scapular does train and it is rocky. sent12: that the plunderer does not detail is right if the pratincole is both a detail and a Masonite. sent13: the result is a Masonite and/or it is noncompetitive. ; $proof$ = 
sent11 -> int1: the scapular is rocky.; int1 -> int2: there exists something such that it is rocky.; int2 & sent1 -> int3: that the brodiaea disentangles result and is a brier is incorrect.; sent7 -> int4: that the brodiaea is not axonal is not incorrect if the fact that it disentangles result and is a brier is not right.; int3 & int4 -> hypothesis; __PROVED__