that the sourdough does not squire myriad and it is not superhuman is not correct.
sent1: that the sternwheeler does kennel bolo and/or is not a carbide does not hold. sent2: the sternwheeler does not kennel bolo. sent3: if the cassiterite is superhuman the sourdough does not squire myriad and it is not superhuman. sent4: if there exists something such that that it does kennel bolo and/or is not a carbide does not hold then the cassiterite is superhuman.
sent1 -> int1: there exists something such that that it kennels bolo and/or it is not a carbide is not right.; int1 & sent4 -> int2: the cassiterite is superhuman.; sent3 & int2 -> hypothesis;
$hypothesis$ = that the sourdough does not squire myriad and it is not superhuman is not correct. ; $context$ = sent1: that the sternwheeler does kennel bolo and/or is not a carbide does not hold. sent2: the sternwheeler does not kennel bolo. sent3: if the cassiterite is superhuman the sourdough does not squire myriad and it is not superhuman. sent4: if there exists something such that that it does kennel bolo and/or is not a carbide does not hold then the cassiterite is superhuman. ; $proof$ = 
sent1 -> int1: there exists something such that that it kennels bolo and/or it is not a carbide is not right.; int1 & sent4 -> int2: the cassiterite is superhuman.; sent3 & int2 -> hypothesis; __DISPROVED__