that there exists something such that the fact that it does not abuse arsenopyrite and it is not bacteriolytic is not true is not right.
sent1: if something is not angiospermous then the rerebrace is not a tapeworm but it does bury wireman. sent2: the scanner is a tapeworm if the fact that the rerebrace is not a tapeworm does not hold. sent3: that the arsenopyrite does not ladle CD-ROM and is not bacteriolytic is not correct if it is not angiospermous. sent4: the rerebrace buries wireman. sent5: there exists something such that the fact that it is not a tapeworm and it does abuse arsenopyrite is wrong. sent6: the arsenopyrite is a tapeworm if the fact that the scanner is a tapeworm is correct. sent7: the Kwakiutl is a tapeworm if that the arsenopyrite is a tapeworm hold. sent8: the fact that something does abuse arsenopyrite and is not bacteriolytic does not hold if it is not a gloominess. sent9: the fact that something is not bacteriolytic and does not bury wireman is incorrect if it does not ladle CD-ROM. sent10: that something does not abuse arsenopyrite and it is not angiospermous does not hold if it does not bury wireman. sent11: if the road does not bury wireman then the fact that it is angiospermous is correct. sent12: if there is something such that it either ladles CD-ROM or is a kind of a gloominess or both the scanner is not angiospermous. sent13: that the fact that the rerebrace does not bury wireman and ladles CD-ROM hold is not right. sent14: the fact that the rerebrace is not a tapeworm but it buries wireman does not hold. sent15: if something is not a gloominess the fact that it does not abuse arsenopyrite and is not bacteriolytic is not true. sent16: the fact that the rerebrace is a kind of bacteriolytic thing that does not bury wireman does not hold. sent17: if the scanner is not a gloominess then the fact that it is not angiospermous and not non-bacteriolytic is not right.
void -> assump1: Let's assume that the arsenopyrite is a kind of a gloominess.; assump1 -> int1: the arsenopyrite ladles CD-ROM or it is a gloominess or both.; int1 -> int2: there is something such that it ladles CD-ROM and/or it is a gloominess.; int2 & sent12 -> int3: the scanner is not angiospermous.; int3 -> int4: there is something such that it is not angiospermous.; int4 & sent1 -> int5: the rerebrace is not a tapeworm and buries wireman.; int5 & sent14 -> int6: this is contradiction.; [assump1] & int6 -> int7: the arsenopyrite is not a gloominess.; sent15 -> int8: if the arsenopyrite is not a kind of a gloominess the fact that it does not abuse arsenopyrite and is not bacteriolytic is wrong.; int7 & int8 -> int9: that the arsenopyrite does not abuse arsenopyrite and it is not bacteriolytic is not true.; int9 -> hypothesis;
the Kwakiutl is a tapeworm.
$hypothesis$ = that there exists something such that the fact that it does not abuse arsenopyrite and it is not bacteriolytic is not true is not right. ; $context$ = sent1: if something is not angiospermous then the rerebrace is not a tapeworm but it does bury wireman. sent2: the scanner is a tapeworm if the fact that the rerebrace is not a tapeworm does not hold. sent3: that the arsenopyrite does not ladle CD-ROM and is not bacteriolytic is not correct if it is not angiospermous. sent4: the rerebrace buries wireman. sent5: there exists something such that the fact that it is not a tapeworm and it does abuse arsenopyrite is wrong. sent6: the arsenopyrite is a tapeworm if the fact that the scanner is a tapeworm is correct. sent7: the Kwakiutl is a tapeworm if that the arsenopyrite is a tapeworm hold. sent8: the fact that something does abuse arsenopyrite and is not bacteriolytic does not hold if it is not a gloominess. sent9: the fact that something is not bacteriolytic and does not bury wireman is incorrect if it does not ladle CD-ROM. sent10: that something does not abuse arsenopyrite and it is not angiospermous does not hold if it does not bury wireman. sent11: if the road does not bury wireman then the fact that it is angiospermous is correct. sent12: if there is something such that it either ladles CD-ROM or is a kind of a gloominess or both the scanner is not angiospermous. sent13: that the fact that the rerebrace does not bury wireman and ladles CD-ROM hold is not right. sent14: the fact that the rerebrace is not a tapeworm but it buries wireman does not hold. sent15: if something is not a gloominess the fact that it does not abuse arsenopyrite and is not bacteriolytic is not true. sent16: the fact that the rerebrace is a kind of bacteriolytic thing that does not bury wireman does not hold. sent17: if the scanner is not a gloominess then the fact that it is not angiospermous and not non-bacteriolytic is not right. ; $proof$ = 
void -> assump1: Let's assume that the arsenopyrite is a kind of a gloominess.; assump1 -> int1: the arsenopyrite ladles CD-ROM or it is a gloominess or both.; int1 -> int2: there is something such that it ladles CD-ROM and/or it is a gloominess.; int2 & sent12 -> int3: the scanner is not angiospermous.; int3 -> int4: there is something such that it is not angiospermous.; int4 & sent1 -> int5: the rerebrace is not a tapeworm and buries wireman.; int5 & sent14 -> int6: this is contradiction.; [assump1] & int6 -> int7: the arsenopyrite is not a gloominess.; sent15 -> int8: if the arsenopyrite is not a kind of a gloominess the fact that it does not abuse arsenopyrite and is not bacteriolytic is wrong.; int7 & int8 -> int9: that the arsenopyrite does not abuse arsenopyrite and it is not bacteriolytic is not true.; int9 -> hypothesis; __DISPROVED__