the peanut is economics.
sent1: a non-macroeconomic thing that is not a mem is not Columbian. sent2: if the peanut is macroeconomic it is not economics. sent3: if the beroe is either not a graining or not a halophile or both then it is not a halophile. sent4: that something is both not a brush and not a comptrollership is not true if it is not a kind of a Ensete. sent5: either the beroe is not a graining or it is not a kind of a halophile or both. sent6: something is not a Ensete or does not congratulate Langley or both if it is Columbian. sent7: something is a kind of a mem if it does not subluxate. sent8: the orlop does not subluxate if there is something such that the fact that it is not a twofer and does subluxate is not correct. sent9: if the aphelion does not congratulate Langley and is not a kind of a Ensete then the peanut is Columbian. sent10: if that the aphelion does not congratulate orlop and does not hear hemiplegic is wrong it does not congratulate Langley. sent11: something is economics if the fact that it is a Ensete is right. sent12: if something is a mem that it is both non-macroeconomic and non-economics is incorrect. sent13: the peanut is macroeconomic if it is Columbian. sent14: the fact that the aphelion is Columbian is correct if the fact that the orlop is a kind of non-macroeconomic thing that is not economics is not correct. sent15: something is a Ensete that congratulates Langley if it is not Columbian. sent16: the fact that the beroe is not a twofer and does subluxate is not right if it is not a halophile. sent17: that the aphelion does not congratulate orlop and does not hear hemiplegic is not right. sent18: that the aphelion does not congratulate Langley is right if it hears hemiplegic. sent19: the aphelion is not a Ensete. sent20: that the aphelion does not congratulate orlop and hears hemiplegic is not true. sent21: something is both not macroeconomic and not a mem if it subluxates.
sent10 & sent17 -> int1: the aphelion does not congratulate Langley.; int1 & sent19 -> int2: the aphelion does not congratulate Langley and it is not a Ensete.; int2 & sent9 -> int3: the peanut is Columbian.; int3 & sent13 -> int4: the peanut is macroeconomic.; int4 & sent2 -> hypothesis;
the peanut is economics.
sent11 -> int5: the peanut is economics if it is a Ensete.; sent15 -> int6: the peanut is a Ensete that does congratulate Langley if it is not Columbian.; sent1 -> int7: if the peanut is not macroeconomic and it is not a kind of a mem it is not Columbian.; sent21 -> int8: the peanut is both not macroeconomic and not a mem if it subluxates.;
$hypothesis$ = the peanut is economics. ; $context$ = sent1: a non-macroeconomic thing that is not a mem is not Columbian. sent2: if the peanut is macroeconomic it is not economics. sent3: if the beroe is either not a graining or not a halophile or both then it is not a halophile. sent4: that something is both not a brush and not a comptrollership is not true if it is not a kind of a Ensete. sent5: either the beroe is not a graining or it is not a kind of a halophile or both. sent6: something is not a Ensete or does not congratulate Langley or both if it is Columbian. sent7: something is a kind of a mem if it does not subluxate. sent8: the orlop does not subluxate if there is something such that the fact that it is not a twofer and does subluxate is not correct. sent9: if the aphelion does not congratulate Langley and is not a kind of a Ensete then the peanut is Columbian. sent10: if that the aphelion does not congratulate orlop and does not hear hemiplegic is wrong it does not congratulate Langley. sent11: something is economics if the fact that it is a Ensete is right. sent12: if something is a mem that it is both non-macroeconomic and non-economics is incorrect. sent13: the peanut is macroeconomic if it is Columbian. sent14: the fact that the aphelion is Columbian is correct if the fact that the orlop is a kind of non-macroeconomic thing that is not economics is not correct. sent15: something is a Ensete that congratulates Langley if it is not Columbian. sent16: the fact that the beroe is not a twofer and does subluxate is not right if it is not a halophile. sent17: that the aphelion does not congratulate orlop and does not hear hemiplegic is not right. sent18: that the aphelion does not congratulate Langley is right if it hears hemiplegic. sent19: the aphelion is not a Ensete. sent20: that the aphelion does not congratulate orlop and hears hemiplegic is not true. sent21: something is both not macroeconomic and not a mem if it subluxates. ; $proof$ = 
sent10 & sent17 -> int1: the aphelion does not congratulate Langley.; int1 & sent19 -> int2: the aphelion does not congratulate Langley and it is not a Ensete.; int2 & sent9 -> int3: the peanut is Columbian.; int3 & sent13 -> int4: the peanut is macroeconomic.; int4 & sent2 -> hypothesis; __DISPROVED__