the fact that the excoriation happens if the livableness occurs does not hold.
sent1: that the tunneling chincherinchee happens results in the excoriation. sent2: the tunneling chincherinchee happens if the livableness occurs.
void -> assump1: Let's assume that the livableness occurs.; sent2 & assump1 -> int1: the tunneling chincherinchee occurs.; sent1 & int1 -> int2: the excoriation happens.; [assump1] & int2 -> hypothesis;
$hypothesis$ = the fact that the excoriation happens if the livableness occurs does not hold. ; $context$ = sent1: that the tunneling chincherinchee happens results in the excoriation. sent2: the tunneling chincherinchee happens if the livableness occurs. ; $proof$ = 
void -> assump1: Let's assume that the livableness occurs.; sent2 & assump1 -> int1: the tunneling chincherinchee occurs.; sent1 & int1 -> int2: the excoriation happens.; [assump1] & int2 -> hypothesis; __DISPROVED__