the fact that the marmoset is not a kind of a vocalism if the testacean does not flake bind does not hold.
sent1: the marmoset is not a vocalism if the testacean overuses sixpence and is an inferior. sent2: if that something does detoxify but it does not tip rote is not right then it overuses sixpence. sent3: that the testacean detoxifies and does not tip rote is false if it does not flake bind. sent4: the testacean is an inferior.
void -> assump1: Let's assume that the testacean does not flake bind.; sent3 & assump1 -> int1: the fact that the testacean does detoxify and does not tip rote is incorrect.; sent2 -> int2: if the fact that the testacean does detoxify and does not tip rote is not true it overuses sixpence.; int1 & int2 -> int3: that the testacean does overuse sixpence is true.; int3 & sent4 -> int4: the testacean does overuse sixpence and is an inferior.; int4 & sent1 -> int5: the marmoset is not a vocalism.; [assump1] & int5 -> hypothesis;
$hypothesis$ = the fact that the marmoset is not a kind of a vocalism if the testacean does not flake bind does not hold. ; $context$ = sent1: the marmoset is not a vocalism if the testacean overuses sixpence and is an inferior. sent2: if that something does detoxify but it does not tip rote is not right then it overuses sixpence. sent3: that the testacean detoxifies and does not tip rote is false if it does not flake bind. sent4: the testacean is an inferior. ; $proof$ = 
void -> assump1: Let's assume that the testacean does not flake bind.; sent3 & assump1 -> int1: the fact that the testacean does detoxify and does not tip rote is incorrect.; sent2 -> int2: if the fact that the testacean does detoxify and does not tip rote is not true it overuses sixpence.; int1 & int2 -> int3: that the testacean does overuse sixpence is true.; int3 & sent4 -> int4: the testacean does overuse sixpence and is an inferior.; int4 & sent1 -> int5: the marmoset is not a vocalism.; [assump1] & int5 -> hypothesis; __DISPROVED__