the disfigurement does not occur.
sent1: the fitting and the resecting birthright occurs. sent2: if the cracking does not occur that the resecting birthright happens and the fit happens is incorrect. sent3: the resecting birthright occurs. sent4: the birdnesting happens if the neologism happens. sent5: the solvent does not occur. sent6: that the headlock happens is not incorrect. sent7: the fact that not the disfigurement but the fit happens is incorrect. sent8: if the fact that the resecting birthright and the fit occurs is incorrect then the book does not occur. sent9: the birdnesting leads to that the cracking does not occur and the sign occurs.
sent1 -> int1: the fit occurs.; void -> assump1: Let's assume that the disfigurement does not occur.; int1 & assump1 -> int2: the disfigurement does not occur and the fitting happens.; int2 & sent7 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
not the booking but the familiarizing occurs.
$hypothesis$ = the disfigurement does not occur. ; $context$ = sent1: the fitting and the resecting birthright occurs. sent2: if the cracking does not occur that the resecting birthright happens and the fit happens is incorrect. sent3: the resecting birthright occurs. sent4: the birdnesting happens if the neologism happens. sent5: the solvent does not occur. sent6: that the headlock happens is not incorrect. sent7: the fact that not the disfigurement but the fit happens is incorrect. sent8: if the fact that the resecting birthright and the fit occurs is incorrect then the book does not occur. sent9: the birdnesting leads to that the cracking does not occur and the sign occurs. ; $proof$ = 
sent1 -> int1: the fit occurs.; void -> assump1: Let's assume that the disfigurement does not occur.; int1 & assump1 -> int2: the disfigurement does not occur and the fitting happens.; int2 & sent7 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __DISPROVED__