that there is something such that if it is a humanness then that it is unwary and/or it does not offer glowworm is not right is not correct.
sent1: that something is unwary or it does not offer glowworm or both is not right if it does convoy semidesert. sent2: something is unwary and/or it does not offer glowworm if it convoys semidesert. sent3: if the tailrace is a humanness then it does convoy semidesert. sent4: that something does lobby and/or it is not geological is false if the fact that it does offer glowworm is correct.
void -> assump1: Let's assume that the tailrace is a humanness.; sent3 & assump1 -> int1: the tailrace convoys semidesert.; sent1 -> int2: the fact that the tailrace is unwary or it does not offer glowworm or both does not hold if it does convoy semidesert.; int1 & int2 -> int3: that the fact that the tailrace is unwary and/or does not offer glowworm is wrong is not false.; [assump1] & int3 -> int4: if the tailrace is a kind of a humanness then that it is not wary and/or does not offer glowworm is false.; int4 -> hypothesis;
if the glowworm does offer glowworm the fact that it is a lobby or it is not geological or both is wrong.
sent4 -> hypothesis;
$hypothesis$ = that there is something such that if it is a humanness then that it is unwary and/or it does not offer glowworm is not right is not correct. ; $context$ = sent1: that something is unwary or it does not offer glowworm or both is not right if it does convoy semidesert. sent2: something is unwary and/or it does not offer glowworm if it convoys semidesert. sent3: if the tailrace is a humanness then it does convoy semidesert. sent4: that something does lobby and/or it is not geological is false if the fact that it does offer glowworm is correct. ; $proof$ = 
void -> assump1: Let's assume that the tailrace is a humanness.; sent3 & assump1 -> int1: the tailrace convoys semidesert.; sent1 -> int2: the fact that the tailrace is unwary or it does not offer glowworm or both does not hold if it does convoy semidesert.; int1 & int2 -> int3: that the fact that the tailrace is unwary and/or does not offer glowworm is wrong is not false.; [assump1] & int3 -> int4: if the tailrace is a kind of a humanness then that it is not wary and/or does not offer glowworm is false.; int4 -> hypothesis; __DISPROVED__