the fact that if the following Brahman and the congestiveness happens the bareboating does not occur does not hold.
sent1: if the fact that the bareboating or the non-nascentness or both occurs does not hold then the gyroscopicness occurs. sent2: that the bareboating happens is prevented by that the congestiveness occurs and the nascentness occurs. sent3: the soured occurs. sent4: the nascentness happens.
void -> assump1: Let's assume that both the following Brahman and the congestiveness happens.; assump1 -> int1: the congestiveness occurs.; int1 & sent4 -> int2: the congestiveness happens and the nascentness happens.; sent2 & int2 -> int3: the bareboating does not occur.; [assump1] & int3 -> hypothesis;
the gyroscopicness and the catching occurs.
$hypothesis$ = the fact that if the following Brahman and the congestiveness happens the bareboating does not occur does not hold. ; $context$ = sent1: if the fact that the bareboating or the non-nascentness or both occurs does not hold then the gyroscopicness occurs. sent2: that the bareboating happens is prevented by that the congestiveness occurs and the nascentness occurs. sent3: the soured occurs. sent4: the nascentness happens. ; $proof$ = 
void -> assump1: Let's assume that both the following Brahman and the congestiveness happens.; assump1 -> int1: the congestiveness occurs.; int1 & sent4 -> int2: the congestiveness happens and the nascentness happens.; sent2 & int2 -> int3: the bareboating does not occur.; [assump1] & int3 -> hypothesis; __DISPROVED__