that if the symposiast is hydrostatic the boxthorn is not autographic is not true.
sent1: there is something such that it is hydrostatic. sent2: the boxthorn is hydrostatic and/or it is autographic. sent3: the boxthorn is not a heads-up if there is something such that the fact that it is autographic or it is hydrostatic or both hold. sent4: the boxthorn is not autographic if there exists something such that it is hydrostatic or it is a heads-up or both. sent5: there is something such that either it does maintain Bowie or it is municipal or both. sent6: there is something such that it is a heads-up. sent7: the boxthorn is not hydrostatic if the symposiast is autographic. sent8: the boxthorn is autographic if the symposiast is hydrostatic. sent9: the boxthorn is autographic or hydrostatic or both. sent10: the symposiast is a ponderosa and/or it wails psalmody. sent11: the symposiast is autographic or is a heads-up or both. sent12: there exists something such that it is a heads-up or it is autographic or both. sent13: there exists something such that that it is autographic and/or it is not non-hydrostatic is not incorrect. sent14: there is something such that it is hydrostatic or is autographic or both. sent15: the upcast is not a heads-up. sent16: the symposiast is not autographic if the boxthorn is hydrostatic. sent17: the fact that the columbium is hydrostatic is not false. sent18: the symposiast is a heads-up. sent19: the dioon is not hydrostatic. sent20: the symposiast is not autographic if there is something such that it is a heads-up and/or it is hydrostatic.
void -> assump1: Let's assume that the symposiast is hydrostatic.; assump1 -> int1: the symposiast is hydrostatic and/or it is a kind of a heads-up.; int1 -> int2: there exists something such that it is hydrostatic and/or a heads-up.; int2 & sent4 -> int3: the boxthorn is not autographic.; [assump1] & int3 -> hypothesis;
$hypothesis$ = that if the symposiast is hydrostatic the boxthorn is not autographic is not true. ; $context$ = sent1: there is something such that it is hydrostatic. sent2: the boxthorn is hydrostatic and/or it is autographic. sent3: the boxthorn is not a heads-up if there is something such that the fact that it is autographic or it is hydrostatic or both hold. sent4: the boxthorn is not autographic if there exists something such that it is hydrostatic or it is a heads-up or both. sent5: there is something such that either it does maintain Bowie or it is municipal or both. sent6: there is something such that it is a heads-up. sent7: the boxthorn is not hydrostatic if the symposiast is autographic. sent8: the boxthorn is autographic if the symposiast is hydrostatic. sent9: the boxthorn is autographic or hydrostatic or both. sent10: the symposiast is a ponderosa and/or it wails psalmody. sent11: the symposiast is autographic or is a heads-up or both. sent12: there exists something such that it is a heads-up or it is autographic or both. sent13: there exists something such that that it is autographic and/or it is not non-hydrostatic is not incorrect. sent14: there is something such that it is hydrostatic or is autographic or both. sent15: the upcast is not a heads-up. sent16: the symposiast is not autographic if the boxthorn is hydrostatic. sent17: the fact that the columbium is hydrostatic is not false. sent18: the symposiast is a heads-up. sent19: the dioon is not hydrostatic. sent20: the symposiast is not autographic if there is something such that it is a heads-up and/or it is hydrostatic. ; $proof$ = 
void -> assump1: Let's assume that the symposiast is hydrostatic.; assump1 -> int1: the symposiast is hydrostatic and/or it is a kind of a heads-up.; int1 -> int2: there exists something such that it is hydrostatic and/or a heads-up.; int2 & sent4 -> int3: the boxthorn is not autographic.; [assump1] & int3 -> hypothesis; __DISPROVED__