that if the hallstand is not a skid the Continent is not Andorran is incorrect.
sent1: if the hallstand is not non-Andorran and/or it is not a skid it does not pleach stooper. sent2: if the hallstand is a Andorran it is a kind of a skid. sent3: the hallstand does pleach stooper or is not nonabsorbent or both. sent4: if something is minus or it does not pleach stooper or both it is not a Andorran. sent5: the hallstand is not a kind of a Andorran. sent6: if the Continent is non-minus the hallstand is a kind of a skid or it is not Andorran or both. sent7: if the hallstand is not minus that the Continent is not a skid is not wrong. sent8: if the hallstand is not a skid then the Continent is minus and/or it does not pleach stooper.
void -> assump1: Let's assume that the hallstand is not a skid.; sent8 & assump1 -> int1: either the Continent is not non-minus or it does not pleach stooper or both.; sent4 -> int2: if the fact that the Continent is minus and/or it does not pleach stooper is right then it is not a kind of a Andorran.; int1 & int2 -> int3: the Continent is not Andorran.; [assump1] & int3 -> hypothesis;
the West-sider is a skid and/or it is not a lithomancer.
$hypothesis$ = that if the hallstand is not a skid the Continent is not Andorran is incorrect. ; $context$ = sent1: if the hallstand is not non-Andorran and/or it is not a skid it does not pleach stooper. sent2: if the hallstand is a Andorran it is a kind of a skid. sent3: the hallstand does pleach stooper or is not nonabsorbent or both. sent4: if something is minus or it does not pleach stooper or both it is not a Andorran. sent5: the hallstand is not a kind of a Andorran. sent6: if the Continent is non-minus the hallstand is a kind of a skid or it is not Andorran or both. sent7: if the hallstand is not minus that the Continent is not a skid is not wrong. sent8: if the hallstand is not a skid then the Continent is minus and/or it does not pleach stooper. ; $proof$ = 
void -> assump1: Let's assume that the hallstand is not a skid.; sent8 & assump1 -> int1: either the Continent is not non-minus or it does not pleach stooper or both.; sent4 -> int2: if the fact that the Continent is minus and/or it does not pleach stooper is right then it is not a kind of a Andorran.; int1 & int2 -> int3: the Continent is not Andorran.; [assump1] & int3 -> hypothesis; __DISPROVED__