the impedance is not amphoric.
sent1: the impedance is mortal. sent2: the agnate is not a tearaway. sent3: the impedance is a kind of a truncation. sent4: the impedance is not a kind of a tearaway. sent5: the impedance is a kind of a tearaway if it is not non-amphoric. sent6: the fact that the waltzer is not a tearaway is correct.
void -> assump1: Let's assume that the impedance is amphoric.; sent5 & assump1 -> int1: the impedance is a tearaway.; int1 & sent4 -> int2: this is contradiction.; [assump1] & int2 -> hypothesis;
$hypothesis$ = the impedance is not amphoric. ; $context$ = sent1: the impedance is mortal. sent2: the agnate is not a tearaway. sent3: the impedance is a kind of a truncation. sent4: the impedance is not a kind of a tearaway. sent5: the impedance is a kind of a tearaway if it is not non-amphoric. sent6: the fact that the waltzer is not a tearaway is correct. ; $proof$ = 
void -> assump1: Let's assume that the impedance is amphoric.; sent5 & assump1 -> int1: the impedance is a tearaway.; int1 & sent4 -> int2: this is contradiction.; [assump1] & int2 -> hypothesis; __PROVED__