the fact that the pyrites is a Gasterosteidae and a regular is wrong.
sent1: if the putrescine does muff Texarkana then it does sound Swazi. sent2: the putrescine is a heresy that is a kind of a undernourishment. sent3: if the putrescine is not postal the pyrites is a Gasterosteidae and does destain telecast. sent4: if there exists something such that it is not a auricle then the putrescine does not sound Swazi. sent5: that the dogmatist is not a kind of a regular and does not destain qualification is not correct. sent6: if there exists something such that the fact that it is irregular thing that does not destain qualification does not hold the pyrites is an irregular. sent7: something is not a kind of a auricle. sent8: the pyrites is a kind of a auricle. sent9: if there exists something such that it does not destain telecast the pyrites does not sound Swazi. sent10: the fact that the pyrites is postal is true. sent11: something is not postal if it does not muff Texarkana. sent12: there exists something such that that it is not genealogic and it is not a kind of a subject does not hold. sent13: the snuffer is not a kind of a Gasterosteidae if that the putrescine sounds Swazi and is a Gasterosteidae is false. sent14: if the fact that the dogmatist sounds Swazi and it is a auricle is not true the fact that it does not sounds Swazi is not wrong. sent15: the dogmatist is juicy thing that does FTP. sent16: the fact that something is a Gasterosteidae and is a regular is not true if it does not muff Texarkana. sent17: if something is not a smart it is not transactinide.
void -> assump1: Let's assume that the putrescine does muff Texarkana.; sent1 & assump1 -> int1: the putrescine sounds Swazi.; sent7 & sent4 -> int2: the putrescine does not sound Swazi.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the putrescine does not muff Texarkana.; sent11 -> int5: if the putrescine does not muff Texarkana then it is not postal.; int4 & int5 -> int6: the putrescine is not postal.; int6 & sent3 -> int7: the pyrites is a kind of a Gasterosteidae that destains telecast.; int7 -> int8: the fact that the pyrites is a kind of a Gasterosteidae is not false.; sent5 -> int9: there is something such that that it is a kind of non-regular thing that does not destain qualification is wrong.; int9 & sent6 -> int10: the pyrites is regular.; int8 & int10 -> hypothesis;
that the pyrites is a kind of a Gasterosteidae that is a regular is not true.
sent16 -> int11: if the pyrites does not muff Texarkana then that it is a kind of a Gasterosteidae and it is a regular is not true.;
$hypothesis$ = the fact that the pyrites is a Gasterosteidae and a regular is wrong. ; $context$ = sent1: if the putrescine does muff Texarkana then it does sound Swazi. sent2: the putrescine is a heresy that is a kind of a undernourishment. sent3: if the putrescine is not postal the pyrites is a Gasterosteidae and does destain telecast. sent4: if there exists something such that it is not a auricle then the putrescine does not sound Swazi. sent5: that the dogmatist is not a kind of a regular and does not destain qualification is not correct. sent6: if there exists something such that the fact that it is irregular thing that does not destain qualification does not hold the pyrites is an irregular. sent7: something is not a kind of a auricle. sent8: the pyrites is a kind of a auricle. sent9: if there exists something such that it does not destain telecast the pyrites does not sound Swazi. sent10: the fact that the pyrites is postal is true. sent11: something is not postal if it does not muff Texarkana. sent12: there exists something such that that it is not genealogic and it is not a kind of a subject does not hold. sent13: the snuffer is not a kind of a Gasterosteidae if that the putrescine sounds Swazi and is a Gasterosteidae is false. sent14: if the fact that the dogmatist sounds Swazi and it is a auricle is not true the fact that it does not sounds Swazi is not wrong. sent15: the dogmatist is juicy thing that does FTP. sent16: the fact that something is a Gasterosteidae and is a regular is not true if it does not muff Texarkana. sent17: if something is not a smart it is not transactinide. ; $proof$ = 
void -> assump1: Let's assume that the putrescine does muff Texarkana.; sent1 & assump1 -> int1: the putrescine sounds Swazi.; sent7 & sent4 -> int2: the putrescine does not sound Swazi.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the putrescine does not muff Texarkana.; sent11 -> int5: if the putrescine does not muff Texarkana then it is not postal.; int4 & int5 -> int6: the putrescine is not postal.; int6 & sent3 -> int7: the pyrites is a kind of a Gasterosteidae that destains telecast.; int7 -> int8: the fact that the pyrites is a kind of a Gasterosteidae is not false.; sent5 -> int9: there is something such that that it is a kind of non-regular thing that does not destain qualification is wrong.; int9 & sent6 -> int10: the pyrites is regular.; int8 & int10 -> hypothesis; __DISPROVED__