that there is something such that if it is a kind of a snakebite it does not incriminate Miwok is false.
sent1: there is something such that it is not endogenic and/or is downmarket. sent2: if the sigmoidoscope is a snakebite that does incriminate Miwok it is not a MVP. sent3: the sigmoidoscope is a MVP if there is something such that it is not endogenic and/or it is downmarket.
void -> assump2: Let's assume that the sigmoidoscope is a snakebite.; void -> assump1: Let's assume that the sigmoidoscope incriminates Miwok.; assump2 & assump1 -> int1: the sigmoidoscope is a snakebite that does incriminate Miwok.; int1 & sent2 -> int2: the sigmoidoscope is not a MVP.; sent1 & sent3 -> int3: that the sigmoidoscope is a MVP is not false.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the sigmoidoscope does not incriminate Miwok.; [assump2] & int5 -> int6: the sigmoidoscope does not incriminate Miwok if the fact that it is not a snakebite is incorrect.; int6 -> hypothesis;
$hypothesis$ = that there is something such that if it is a kind of a snakebite it does not incriminate Miwok is false. ; $context$ = sent1: there is something such that it is not endogenic and/or is downmarket. sent2: if the sigmoidoscope is a snakebite that does incriminate Miwok it is not a MVP. sent3: the sigmoidoscope is a MVP if there is something such that it is not endogenic and/or it is downmarket. ; $proof$ = 
void -> assump2: Let's assume that the sigmoidoscope is a snakebite.; void -> assump1: Let's assume that the sigmoidoscope incriminates Miwok.; assump2 & assump1 -> int1: the sigmoidoscope is a snakebite that does incriminate Miwok.; int1 & sent2 -> int2: the sigmoidoscope is not a MVP.; sent1 & sent3 -> int3: that the sigmoidoscope is a MVP is not false.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the sigmoidoscope does not incriminate Miwok.; [assump2] & int5 -> int6: the sigmoidoscope does not incriminate Miwok if the fact that it is not a snakebite is incorrect.; int6 -> hypothesis; __DISPROVED__