that the tetrapod is not cathectic if the fact that the salamander does not overuse Eolithic and is not a kind of a muster is wrong does not hold.
sent1: the salamander does not overuse Eolithic and is not a muster if there exists something such that it is cathectic.
void -> assump2: Let's assume that the tetrapod is cathectic.; assump2 -> int1: there exists something such that it is cathectic.; int1 & sent1 -> int2: the salamander does not overuse Eolithic and is not a kind of a muster.; void -> assump1: Let's assume that that the salamander does not overuse Eolithic and it is not a muster does not hold.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the fact that the tetrapod is not cathectic is not wrong.; [assump1] & int4 -> hypothesis;
$hypothesis$ = that the tetrapod is not cathectic if the fact that the salamander does not overuse Eolithic and is not a kind of a muster is wrong does not hold. ; $context$ = sent1: the salamander does not overuse Eolithic and is not a muster if there exists something such that it is cathectic. ; $proof$ = 
void -> assump2: Let's assume that the tetrapod is cathectic.; assump2 -> int1: there exists something such that it is cathectic.; int1 & sent1 -> int2: the salamander does not overuse Eolithic and is not a kind of a muster.; void -> assump1: Let's assume that that the salamander does not overuse Eolithic and it is not a muster does not hold.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the fact that the tetrapod is not cathectic is not wrong.; [assump1] & int4 -> hypothesis; __DISPROVED__