the verbifying Psittacus does not occur.
sent1: the verbifying bubbliness happens. sent2: the basidiomycetousness happens. sent3: the bivalentness does not occur if the verbifying Psittacus does not occur and/or the deductible does not occur. sent4: the iridectomy does not occur. sent5: the parallax occurs. sent6: the verbifying bubbliness but not the deductibleness happens. sent7: the autumnalness does not occur. sent8: if the positivist but not the confluence occurs then the verbifying bubbliness does not occur. sent9: if the verbifying Psittacus happens then the deductible happens. sent10: if the equatorialness does not occur then that the barring moralization occurs and the obviation happens is not correct. sent11: the obviation does not occur if the fact that both the barring moralization and the obviation occurs is incorrect. sent12: the stenography happens and the barring informant does not occur. sent13: if the verbifying bubbliness does not occur then both the deductible and the verbifying Psittacus happens. sent14: either the wieldiness or the lacrosse or both happens if the obviation does not occur.
void -> assump1: Let's assume that the verbifying Psittacus happens.; sent9 & assump1 -> int1: the deductibleness happens.; sent6 -> int2: the deductibleness does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the bivalentness does not occur.
$hypothesis$ = the verbifying Psittacus does not occur. ; $context$ = sent1: the verbifying bubbliness happens. sent2: the basidiomycetousness happens. sent3: the bivalentness does not occur if the verbifying Psittacus does not occur and/or the deductible does not occur. sent4: the iridectomy does not occur. sent5: the parallax occurs. sent6: the verbifying bubbliness but not the deductibleness happens. sent7: the autumnalness does not occur. sent8: if the positivist but not the confluence occurs then the verbifying bubbliness does not occur. sent9: if the verbifying Psittacus happens then the deductible happens. sent10: if the equatorialness does not occur then that the barring moralization occurs and the obviation happens is not correct. sent11: the obviation does not occur if the fact that both the barring moralization and the obviation occurs is incorrect. sent12: the stenography happens and the barring informant does not occur. sent13: if the verbifying bubbliness does not occur then both the deductible and the verbifying Psittacus happens. sent14: either the wieldiness or the lacrosse or both happens if the obviation does not occur. ; $proof$ = 
void -> assump1: Let's assume that the verbifying Psittacus happens.; sent9 & assump1 -> int1: the deductibleness happens.; sent6 -> int2: the deductibleness does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __PROVED__