the fact that there is something such that if that either it is not Bosnian or it is a worthy or both is not true it is a hobbledehoy does not hold.
sent1: if that the saxitoxin is not Bosnian and/or it is a worthy does not hold then it is a hobbledehoy. sent2: there exists something such that if it is non-Bosnian and/or it is worthy it is a hobbledehoy. sent3: the saxitoxin is a kind of a hobbledehoy if the fact that it is Bosnian and/or is worthy is wrong. sent4: there exists something such that if it is not a Kwajalein and/or is a matter it is uncharacteristic. sent5: if that something is not aculeate and/or it is a Phellodendron does not hold it is intralinguistic. sent6: there exists something such that if that it is irresolute and/or it scrams effort is not right it is a lancer. sent7: if that either something is not a paramecium or it does scram beautician or both is not true it is a kind of a flaw.
sent1 -> hypothesis;
there is something such that if the fact that it is not a paramecium or it does scram beautician or both is wrong then it is a flaw.
sent7 -> int1: the coatdress flaws if the fact that it is not a paramecium and/or it does scram beautician is incorrect.; int1 -> hypothesis;
$hypothesis$ = the fact that there is something such that if that either it is not Bosnian or it is a worthy or both is not true it is a hobbledehoy does not hold. ; $context$ = sent1: if that the saxitoxin is not Bosnian and/or it is a worthy does not hold then it is a hobbledehoy. sent2: there exists something such that if it is non-Bosnian and/or it is worthy it is a hobbledehoy. sent3: the saxitoxin is a kind of a hobbledehoy if the fact that it is Bosnian and/or is worthy is wrong. sent4: there exists something such that if it is not a Kwajalein and/or is a matter it is uncharacteristic. sent5: if that something is not aculeate and/or it is a Phellodendron does not hold it is intralinguistic. sent6: there exists something such that if that it is irresolute and/or it scrams effort is not right it is a lancer. sent7: if that either something is not a paramecium or it does scram beautician or both is not true it is a kind of a flaw. ; $proof$ = 
sent1 -> hypothesis; __DISPROVED__