the fact that the fact that there exists something such that if it binds Gongorism it is not a kind of a chum is not wrong does not hold.
sent1: if the bioweapon is retentive it binds Gongorism. sent2: there is something such that it is not an octahedron. sent3: something is a Theraphosidae if it is antimagnetic and glugs. sent4: the bioweapon glugs. sent5: if there is something such that it is not an octahedron the bioweapon is calisthenic. sent6: the bioweapon does bind Kyphosus and is an octahedron. sent7: there exists something such that it is not reversionary. sent8: the bioweapon is an octahedron. sent9: if something is a feldspar and it is important then it anglicises Issus. sent10: the bioweapon does anglicise handbow and is subsequent. sent11: if something is calisthenic thing that does bind Gongorism it is not a kind of a chum. sent12: there is something such that if it is a Uta then it is not mercuric. sent13: if the apatite binds ambiguity and does bind Gongorism then it is retentive. sent14: there exists something such that if it binds Gongorism then it is a kind of a chum. sent15: the bioweapon is a Viscum. sent16: that the actinolite is not a canticle hold if it is membranous and is calisthenic.
sent2 & sent5 -> int1: the bioweapon is not non-calisthenic.; void -> assump1: Let's assume that the bioweapon does bind Gongorism.; int1 & assump1 -> int2: the bioweapon is calisthenic and does bind Gongorism.; sent11 -> int3: the bioweapon is not a chum if it is calisthenic and does bind Gongorism.; int2 & int3 -> int4: the bioweapon is not a chum.; [assump1] & int4 -> int5: if the bioweapon binds Gongorism it is not a chum.; int5 -> hypothesis;
$hypothesis$ = the fact that the fact that there exists something such that if it binds Gongorism it is not a kind of a chum is not wrong does not hold. ; $context$ = sent1: if the bioweapon is retentive it binds Gongorism. sent2: there is something such that it is not an octahedron. sent3: something is a Theraphosidae if it is antimagnetic and glugs. sent4: the bioweapon glugs. sent5: if there is something such that it is not an octahedron the bioweapon is calisthenic. sent6: the bioweapon does bind Kyphosus and is an octahedron. sent7: there exists something such that it is not reversionary. sent8: the bioweapon is an octahedron. sent9: if something is a feldspar and it is important then it anglicises Issus. sent10: the bioweapon does anglicise handbow and is subsequent. sent11: if something is calisthenic thing that does bind Gongorism it is not a kind of a chum. sent12: there is something such that if it is a Uta then it is not mercuric. sent13: if the apatite binds ambiguity and does bind Gongorism then it is retentive. sent14: there exists something such that if it binds Gongorism then it is a kind of a chum. sent15: the bioweapon is a Viscum. sent16: that the actinolite is not a canticle hold if it is membranous and is calisthenic. ; $proof$ = 
sent2 & sent5 -> int1: the bioweapon is not non-calisthenic.; void -> assump1: Let's assume that the bioweapon does bind Gongorism.; int1 & assump1 -> int2: the bioweapon is calisthenic and does bind Gongorism.; sent11 -> int3: the bioweapon is not a chum if it is calisthenic and does bind Gongorism.; int2 & int3 -> int4: the bioweapon is not a chum.; [assump1] & int4 -> int5: if the bioweapon binds Gongorism it is not a chum.; int5 -> hypothesis; __DISPROVED__