if the pinning occurs then not the possessing but the bettering troponymy happens.
sent1: not the cornering throated but the perinealness occurs if the bettering scrubber occurs. sent2: if the fact that the pinning occurs is correct both the possessing and the bettering troponymy occurs. sent3: that that the perching does not occur and the cornering throated happens is right is not right. sent4: the possessing occurs. sent5: that the landfall does not occur prevents that the interplanetariness occurs. sent6: if that the fact that not the possessing but the bettering troponymy happens is not right is correct then the pinning does not occur. sent7: if the pinning happens then the bettering troponymy happens. sent8: the fact that not the weeding pound but the expressibleness occurs is not true. sent9: that not the possessing but the bettering troponymy happens prevents that the pinning happens.
void -> assump2: Let's assume that that not the possessing but the bettering troponymy happens is not correct.; sent6 & assump2 -> int1: the pinning does not occur.; void -> assump1: Let's assume that the pinning happens.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: not the possessing but the bettering troponymy happens.; [assump1] & int3 -> hypothesis;
$hypothesis$ = if the pinning occurs then not the possessing but the bettering troponymy happens. ; $context$ = sent1: not the cornering throated but the perinealness occurs if the bettering scrubber occurs. sent2: if the fact that the pinning occurs is correct both the possessing and the bettering troponymy occurs. sent3: that that the perching does not occur and the cornering throated happens is right is not right. sent4: the possessing occurs. sent5: that the landfall does not occur prevents that the interplanetariness occurs. sent6: if that the fact that not the possessing but the bettering troponymy happens is not right is correct then the pinning does not occur. sent7: if the pinning happens then the bettering troponymy happens. sent8: the fact that not the weeding pound but the expressibleness occurs is not true. sent9: that not the possessing but the bettering troponymy happens prevents that the pinning happens. ; $proof$ = 
void -> assump2: Let's assume that that not the possessing but the bettering troponymy happens is not correct.; sent6 & assump2 -> int1: the pinning does not occur.; void -> assump1: Let's assume that the pinning happens.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: not the possessing but the bettering troponymy happens.; [assump1] & int3 -> hypothesis; __PROVED__