the drinkableness does not occur.
sent1: if the drinkableness does not occur then either the nonretractileness happens or the tyrannicide happens or both. sent2: the visaing decibel does not occur. sent3: the pyelography happens. sent4: the clearing handled occurs if that the nonretractileness occurs hold. sent5: the clearing handled happens if the tyrannicide occurs. sent6: the fact that not the visaing decibel but the pyelography occurs is false if the clearing handled happens.
void -> assump1: Let's assume that the drinkableness does not occur.; sent1 & assump1 -> int1: the nonretractileness happens and/or the tyrannicide occurs.; int1 & sent4 & sent5 -> int2: the clearing handled happens.; int2 & sent6 -> int3: the fact that the visaing decibel does not occur and the pyelography happens is not true.; sent2 & sent3 -> int4: the fact that not the visaing decibel but the pyelography occurs is correct.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis;
$hypothesis$ = the drinkableness does not occur. ; $context$ = sent1: if the drinkableness does not occur then either the nonretractileness happens or the tyrannicide happens or both. sent2: the visaing decibel does not occur. sent3: the pyelography happens. sent4: the clearing handled occurs if that the nonretractileness occurs hold. sent5: the clearing handled happens if the tyrannicide occurs. sent6: the fact that not the visaing decibel but the pyelography occurs is false if the clearing handled happens. ; $proof$ = 
void -> assump1: Let's assume that the drinkableness does not occur.; sent1 & assump1 -> int1: the nonretractileness happens and/or the tyrannicide occurs.; int1 & sent4 & sent5 -> int2: the clearing handled happens.; int2 & sent6 -> int3: the fact that the visaing decibel does not occur and the pyelography happens is not true.; sent2 & sent3 -> int4: the fact that not the visaing decibel but the pyelography occurs is correct.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis; __DISPROVED__