that there exists something such that if it does not lease strappado then the fact that it elaborates yacca does not hold is not right.
sent1: that the poacher does elaborate yacca and does not lease strappado is not true.
void -> assump2: Let's assume that the poacher does elaborate yacca.; void -> assump1: Let's assume that the poacher does not lease strappado.; assump2 & assump1 -> int1: the poacher elaborates yacca and does not lease strappado.; int1 & sent1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the poacher does not elaborate yacca.; [assump1] & int3 -> int4: the poacher does not elaborate yacca if it does not lease strappado.; int4 -> hypothesis;
$hypothesis$ = that there exists something such that if it does not lease strappado then the fact that it elaborates yacca does not hold is not right. ; $context$ = sent1: that the poacher does elaborate yacca and does not lease strappado is not true. ; $proof$ = 
void -> assump2: Let's assume that the poacher does elaborate yacca.; void -> assump1: Let's assume that the poacher does not lease strappado.; assump2 & assump1 -> int1: the poacher elaborates yacca and does not lease strappado.; int1 & sent1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the poacher does not elaborate yacca.; [assump1] & int3 -> int4: the poacher does not elaborate yacca if it does not lease strappado.; int4 -> hypothesis; __DISPROVED__