there exists something such that if the fact that it is a sputnik and it is not an edema is not true it is macroeconomics.
sent1: if something citifies Budapest then it is an edema. sent2: if the tuberose is not a sputnik it does not braid ADP. sent3: the tuberose is a Shawwal and is not apiarian. sent4: the tuberose is a scrub if there is something such that it does not build linguist. sent5: the tuberose is a Shawwal. sent6: there exists something such that it is not a kind of a headliner. sent7: the linguist does citify Budapest if something that does not braid ADP is not macroeconomics. sent8: if something does citify Budapest but it does not braid ADP it is not non-macroeconomics. sent9: the shore is humoral if something that is a kind of a Panamanian is a pepper-and-salt. sent10: if that the tuberose is a kind of a sputnik that is not an edema is wrong then the fact that it does not braid ADP hold. sent11: the ADP is computational if it does braid ADP. sent12: there is something such that if it is a sputnik and it is not an edema then it is macroeconomics. sent13: the fact that the crying is a Maseru hold if there exists something such that it is not macroeconomics. sent14: the walk is a kind of a Panamanian and it is a pepper-and-salt. sent15: that the shore is not a cuneiform and does not braid Kachin is not right if it is humoral. sent16: there is something such that if it does citify Sparidae then it inflects. sent17: the tuberose is a skillfulness and is not a kind of a Haredi. sent18: the broadcasting is a kind of an edema. sent19: something is not zygomatic. sent20: there is something such that if the fact that it is a folding and not preventable is false then it is journalistic. sent21: the tuberose citifies Budapest if something is not zygomatic. sent22: if something is not zygomatic it does not braid ADP and it is not macroeconomics. sent23: the tuberose is a sputnik if it is photoelectric and it does not build bonavist. sent24: the tuberose is inharmonious if it is a hemoprotein and it is unhealthy.
void -> assump1: Let's assume that the fact that the tuberose is a kind of a sputnik that is not an edema is incorrect.; sent10 & assump1 -> int1: the tuberose does not braid ADP.; sent19 & sent21 -> int2: the tuberose does citify Budapest.; int1 & int2 -> int3: the tuberose does citify Budapest but it does not braid ADP.; sent8 -> int4: if the tuberose citifies Budapest and does not braid ADP then it is macroeconomics.; int3 & int4 -> int5: the tuberose is macroeconomics.; [assump1] & int5 -> int6: if that the tuberose is a sputnik but not an edema is not right it is macroeconomics.; int6 -> hypothesis;
the linguist is an edema.
sent1 -> int7: if the linguist citifies Budapest then it is an edema.; sent22 -> int8: if the tuberose is non-zygomatic it does not braid ADP and is not macroeconomics.; sent14 -> int9: there exists something such that it is a kind of a Panamanian and it is a pepper-and-salt.; int9 & sent9 -> int10: the shore is humoral.; sent15 & int10 -> int11: the fact that the shore is not cuneiform and it does not braid Kachin is not correct.; int11 -> int12: there is something such that that it is not a kind of a cuneiform and it does not braid Kachin is not correct.;
$hypothesis$ = there exists something such that if the fact that it is a sputnik and it is not an edema is not true it is macroeconomics. ; $context$ = sent1: if something citifies Budapest then it is an edema. sent2: if the tuberose is not a sputnik it does not braid ADP. sent3: the tuberose is a Shawwal and is not apiarian. sent4: the tuberose is a scrub if there is something such that it does not build linguist. sent5: the tuberose is a Shawwal. sent6: there exists something such that it is not a kind of a headliner. sent7: the linguist does citify Budapest if something that does not braid ADP is not macroeconomics. sent8: if something does citify Budapest but it does not braid ADP it is not non-macroeconomics. sent9: the shore is humoral if something that is a kind of a Panamanian is a pepper-and-salt. sent10: if that the tuberose is a kind of a sputnik that is not an edema is wrong then the fact that it does not braid ADP hold. sent11: the ADP is computational if it does braid ADP. sent12: there is something such that if it is a sputnik and it is not an edema then it is macroeconomics. sent13: the fact that the crying is a Maseru hold if there exists something such that it is not macroeconomics. sent14: the walk is a kind of a Panamanian and it is a pepper-and-salt. sent15: that the shore is not a cuneiform and does not braid Kachin is not right if it is humoral. sent16: there is something such that if it does citify Sparidae then it inflects. sent17: the tuberose is a skillfulness and is not a kind of a Haredi. sent18: the broadcasting is a kind of an edema. sent19: something is not zygomatic. sent20: there is something such that if the fact that it is a folding and not preventable is false then it is journalistic. sent21: the tuberose citifies Budapest if something is not zygomatic. sent22: if something is not zygomatic it does not braid ADP and it is not macroeconomics. sent23: the tuberose is a sputnik if it is photoelectric and it does not build bonavist. sent24: the tuberose is inharmonious if it is a hemoprotein and it is unhealthy. ; $proof$ = 
void -> assump1: Let's assume that the fact that the tuberose is a kind of a sputnik that is not an edema is incorrect.; sent10 & assump1 -> int1: the tuberose does not braid ADP.; sent19 & sent21 -> int2: the tuberose does citify Budapest.; int1 & int2 -> int3: the tuberose does citify Budapest but it does not braid ADP.; sent8 -> int4: if the tuberose citifies Budapest and does not braid ADP then it is macroeconomics.; int3 & int4 -> int5: the tuberose is macroeconomics.; [assump1] & int5 -> int6: if that the tuberose is a sputnik but not an edema is not right it is macroeconomics.; int6 -> hypothesis; __PROVED__