the fact that there exists something such that if it is macroeconomics then it is not a carbohydrate does not hold.
sent1: the fact that the GHQ is not a Negritude is true if it is macroeconomics. sent2: if the GHQ is macroeconomics it is a kind of a carbohydrate. sent3: if the Elizabethan does not entail oleoresin then the GHQ is carposporic but it is not macroeconomics. sent4: if the reactance entails oleoresin then it is not an errand. sent5: if the cotton is a rhodium then it is a Andorran. sent6: the GHQ is not carposporic if it is analphabetic. sent7: the fact that the roadblock is not a carbohydrate but it is a kind of a velleity is not right if the updraft is not nonspherical. sent8: the updraft is not nonspherical. sent9: if the fact that something is not a carbohydrate and is a velleity is incorrect then it is a carbohydrate. sent10: the incubus is macroeconomics and/or it is a kind of a wrap. sent11: if the bulbil does ply then it is not vicinal. sent12: the fact that the GHQ entails oleoresin is not incorrect if that it is macroeconomics is correct. sent13: that the Elizabethan does entail oleoresin and is not a carbohydrate is not correct if something is a carbohydrate. sent14: the GHQ is not a carbohydrate if it entails oleoresin and/or is carposporic. sent15: the GHQ does not moo.
void -> assump1: Let's assume that the GHQ is macroeconomics.; sent12 & assump1 -> int1: the GHQ does entail oleoresin.; int1 -> int2: the GHQ does entail oleoresin or it is carposporic or both.; int2 & sent14 -> int3: the GHQ is not a carbohydrate.; [assump1] & int3 -> int4: the GHQ is not a carbohydrate if it is macroeconomics.; int4 -> hypothesis;
the GHQ is carposporic or it does include or both.
sent9 -> int5: if that the roadblock is not a carbohydrate but it is a velleity is incorrect it is a carbohydrate.; sent7 & sent8 -> int6: that the roadblock is not a carbohydrate but it is a kind of a velleity is not true.; int5 & int6 -> int7: the roadblock is a carbohydrate.; int7 -> int8: there exists something such that it is a carbohydrate.; int8 & sent13 -> int9: that the Elizabethan entails oleoresin but it is not a kind of a carbohydrate is not correct.;
$hypothesis$ = the fact that there exists something such that if it is macroeconomics then it is not a carbohydrate does not hold. ; $context$ = sent1: the fact that the GHQ is not a Negritude is true if it is macroeconomics. sent2: if the GHQ is macroeconomics it is a kind of a carbohydrate. sent3: if the Elizabethan does not entail oleoresin then the GHQ is carposporic but it is not macroeconomics. sent4: if the reactance entails oleoresin then it is not an errand. sent5: if the cotton is a rhodium then it is a Andorran. sent6: the GHQ is not carposporic if it is analphabetic. sent7: the fact that the roadblock is not a carbohydrate but it is a kind of a velleity is not right if the updraft is not nonspherical. sent8: the updraft is not nonspherical. sent9: if the fact that something is not a carbohydrate and is a velleity is incorrect then it is a carbohydrate. sent10: the incubus is macroeconomics and/or it is a kind of a wrap. sent11: if the bulbil does ply then it is not vicinal. sent12: the fact that the GHQ entails oleoresin is not incorrect if that it is macroeconomics is correct. sent13: that the Elizabethan does entail oleoresin and is not a carbohydrate is not correct if something is a carbohydrate. sent14: the GHQ is not a carbohydrate if it entails oleoresin and/or is carposporic. sent15: the GHQ does not moo. ; $proof$ = 
void -> assump1: Let's assume that the GHQ is macroeconomics.; sent12 & assump1 -> int1: the GHQ does entail oleoresin.; int1 -> int2: the GHQ does entail oleoresin or it is carposporic or both.; int2 & sent14 -> int3: the GHQ is not a carbohydrate.; [assump1] & int3 -> int4: the GHQ is not a carbohydrate if it is macroeconomics.; int4 -> hypothesis; __DISPROVED__