the fact that the Irish happens and the Gaboneseness does not occur does not hold.
sent1: the prenuptialness does not occur if the fathomableness but not the amplitude happens. sent2: the fathomableness but not the amplitude occurs. sent3: the non-prenuptialness is prevented by that the Irish and the non-Gaboneseness occurs.
void -> assump1: Let's assume that the Irish happens but the Gaboneseness does not occur.; sent3 & assump1 -> int1: the prenuptialness occurs.; sent1 & sent2 -> int2: the prenuptialness does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
$hypothesis$ = the fact that the Irish happens and the Gaboneseness does not occur does not hold. ; $context$ = sent1: the prenuptialness does not occur if the fathomableness but not the amplitude happens. sent2: the fathomableness but not the amplitude occurs. sent3: the non-prenuptialness is prevented by that the Irish and the non-Gaboneseness occurs. ; $proof$ = 
void -> assump1: Let's assume that the Irish happens but the Gaboneseness does not occur.; sent3 & assump1 -> int1: the prenuptialness occurs.; sent1 & sent2 -> int2: the prenuptialness does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __PROVED__