that if the count is Teutonic the torsion interprets copper is not right.
sent1: that the torsion does interpret copper is right if the count is not a surcharge and/or is occupational. sent2: the torsion does interpret copper if the count is occupational. sent3: if the count is Teutonic then it is not a surcharge or occupational or both.
void -> assump1: Let's assume that the fact that the count is Teutonic is true.; sent3 & assump1 -> int1: the count is not a surcharge and/or it is occupational.; sent1 & int1 -> int2: the torsion interprets copper.; [assump1] & int2 -> hypothesis;
$hypothesis$ = that if the count is Teutonic the torsion interprets copper is not right. ; $context$ = sent1: that the torsion does interpret copper is right if the count is not a surcharge and/or is occupational. sent2: the torsion does interpret copper if the count is occupational. sent3: if the count is Teutonic then it is not a surcharge or occupational or both. ; $proof$ = 
void -> assump1: Let's assume that the fact that the count is Teutonic is true.; sent3 & assump1 -> int1: the count is not a surcharge and/or it is occupational.; sent1 & int1 -> int2: the torsion interprets copper.; [assump1] & int2 -> hypothesis; __DISPROVED__