that the non-psychogeneticness and the non-biblioticness occurs if the manoeuvering occurs is wrong.
sent1: if the career does not occur then the psychogeneticness but not the manoeuvering occurs. sent2: the obtainment occurs. sent3: the fact that the debacle occurs is right if that the demagnetizing deckhand does not occur and the paramagneticness happens is not right. sent4: the fact that the psychogeneticness does not occur is not wrong. sent5: the recession happens. sent6: the articulatedness is prevented by that the psychogeneticness happens and the manoeuvering does not occur. sent7: if that the non-biblioticness and the recession happens is false the manoeuvering does not occur.
void -> assump1: Let's assume that that not the biblioticness but the recession happens does not hold.; sent7 & assump1 -> int1: the manoeuvering does not occur.; void -> assump2: Let's assume that the manoeuvering occurs.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: both the non-biblioticness and the recession occurs.; int3 -> int4: the biblioticness does not occur.; int4 & sent4 -> int5: the fact that the psychogeneticness does not occur and the biblioticness does not occur is not wrong.; [assump2] & int5 -> hypothesis;
the articulatedness does not occur.
$hypothesis$ = that the non-psychogeneticness and the non-biblioticness occurs if the manoeuvering occurs is wrong. ; $context$ = sent1: if the career does not occur then the psychogeneticness but not the manoeuvering occurs. sent2: the obtainment occurs. sent3: the fact that the debacle occurs is right if that the demagnetizing deckhand does not occur and the paramagneticness happens is not right. sent4: the fact that the psychogeneticness does not occur is not wrong. sent5: the recession happens. sent6: the articulatedness is prevented by that the psychogeneticness happens and the manoeuvering does not occur. sent7: if that the non-biblioticness and the recession happens is false the manoeuvering does not occur. ; $proof$ = 
void -> assump1: Let's assume that that not the biblioticness but the recession happens does not hold.; sent7 & assump1 -> int1: the manoeuvering does not occur.; void -> assump2: Let's assume that the manoeuvering occurs.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: both the non-biblioticness and the recession occurs.; int3 -> int4: the biblioticness does not occur.; int4 & sent4 -> int5: the fact that the psychogeneticness does not occur and the biblioticness does not occur is not wrong.; [assump2] & int5 -> hypothesis; __DISPROVED__