the submersibleness does not occur.
sent1: that the Ghanaianness occurs is not wrong. sent2: if the Ghanaianness occurs the penitentness does not occur and the transplant does not occur. sent3: if the submersibleness happens the fact that the penitentness does not occur and the transplanting does not occur is not right.
void -> assump1: Let's assume that the submersibleness happens.; sent3 & assump1 -> int1: the fact that the penitent does not occur and the transplanting does not occur is not right.; sent2 & sent1 -> int2: the penitentness does not occur and the transplanting does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
$hypothesis$ = the submersibleness does not occur. ; $context$ = sent1: that the Ghanaianness occurs is not wrong. sent2: if the Ghanaianness occurs the penitentness does not occur and the transplant does not occur. sent3: if the submersibleness happens the fact that the penitentness does not occur and the transplanting does not occur is not right. ; $proof$ = 
void -> assump1: Let's assume that the submersibleness happens.; sent3 & assump1 -> int1: the fact that the penitent does not occur and the transplanting does not occur is not right.; sent2 & sent1 -> int2: the penitentness does not occur and the transplanting does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __PROVED__