the fact that the vessel is not anticlinal or not a flatness or both is false.
sent1: the carbonation is not a hostage or it is not a colpocele or both if the fact that the loading is not anticlinal hold. sent2: the Shahaptian is ethnocentric. sent3: the loading is a hostage if the carbonation is a topside. sent4: if the vessel is not a Sphaerocarpus then the loading is not a Theodosius but it is migrational. sent5: the loading is a Theodosius. sent6: the fact that the loading is not a colpocele but migrational is incorrect if it is a Theodosius. sent7: the fact that if there exists something such that either it is not a hostage or it is not a kind of a colpocele or both the Shahaptian is a topside hold. sent8: the vessel is not anticlinal if the loading is a kind of a hostage and is a colpocele. sent9: the bunk is ethnocentric thing that is a kind of a flatness if there is something such that it is a topside. sent10: if that something is both not a colpocele and migrational is incorrect it is a colpocele. sent11: if something is not a kind of a Theodosius but it is migrational then it is not anticlinal. sent12: if the Shahaptian is a hostage the fact that the vessel is a hostage is correct. sent13: the fact that something is not anticlinal or it is not a flatness or both is false if it is not ethnocentric. sent14: the loading is not a colpocele if the carbonation is migrational a topside. sent15: the vessel is not a kind of a Sphaerocarpus but it steadies if the weighbridge is not a enamine. sent16: if the fact that the Shahaptian is ethnocentric is correct the carbonation is a kind of a topside.
sent16 & sent2 -> int1: the carbonation is a kind of a topside.; int1 & sent3 -> int2: the loading is a hostage.; sent10 -> int3: the loading is a colpocele if that it is not a colpocele and it is migrational is not right.; sent6 & sent5 -> int4: the fact that the fact that the loading is not a colpocele but it is migrational is not incorrect does not hold.; int3 & int4 -> int5: that the loading is a colpocele is not wrong.; int2 & int5 -> int6: the loading is a hostage and it is a colpocele.; int6 & sent8 -> int7: the vessel is not anticlinal.; int7 -> hypothesis;
the fact that the vessel is not anticlinal or it is not flatness or both is false.
sent13 -> int8: if the vessel is not ethnocentric then that either it is not anticlinal or it is not a flatness or both is not correct.;
$hypothesis$ = the fact that the vessel is not anticlinal or not a flatness or both is false. ; $context$ = sent1: the carbonation is not a hostage or it is not a colpocele or both if the fact that the loading is not anticlinal hold. sent2: the Shahaptian is ethnocentric. sent3: the loading is a hostage if the carbonation is a topside. sent4: if the vessel is not a Sphaerocarpus then the loading is not a Theodosius but it is migrational. sent5: the loading is a Theodosius. sent6: the fact that the loading is not a colpocele but migrational is incorrect if it is a Theodosius. sent7: the fact that if there exists something such that either it is not a hostage or it is not a kind of a colpocele or both the Shahaptian is a topside hold. sent8: the vessel is not anticlinal if the loading is a kind of a hostage and is a colpocele. sent9: the bunk is ethnocentric thing that is a kind of a flatness if there is something such that it is a topside. sent10: if that something is both not a colpocele and migrational is incorrect it is a colpocele. sent11: if something is not a kind of a Theodosius but it is migrational then it is not anticlinal. sent12: if the Shahaptian is a hostage the fact that the vessel is a hostage is correct. sent13: the fact that something is not anticlinal or it is not a flatness or both is false if it is not ethnocentric. sent14: the loading is not a colpocele if the carbonation is migrational a topside. sent15: the vessel is not a kind of a Sphaerocarpus but it steadies if the weighbridge is not a enamine. sent16: if the fact that the Shahaptian is ethnocentric is correct the carbonation is a kind of a topside. ; $proof$ = 
sent16 & sent2 -> int1: the carbonation is a kind of a topside.; int1 & sent3 -> int2: the loading is a hostage.; sent10 -> int3: the loading is a colpocele if that it is not a colpocele and it is migrational is not right.; sent6 & sent5 -> int4: the fact that the fact that the loading is not a colpocele but it is migrational is not incorrect does not hold.; int3 & int4 -> int5: that the loading is a colpocele is not wrong.; int2 & int5 -> int6: the loading is a hostage and it is a colpocele.; int6 & sent8 -> int7: the vessel is not anticlinal.; int7 -> hypothesis; __DISPROVED__