the fact that the fact that the dinky is not declarative but it does embower is not true if the bridesmaid is unrenewable does not hold.
sent1: the centerboard is not a sprechgesang. sent2: if the Bornean is declarative that the dinky is not declarative but it embowers is not right. sent3: the Bornean is not olfactory if that the centerboard is not a sprechgesang is true. sent4: if there exists something such that it is not olfactory and is not declarative then the bridesmaid is not unrenewable. sent5: if the Bornean is declarative that the dinky is declarative and it embowers does not hold.
void -> assump2: Let's assume that the bridesmaid is unrenewable.; sent3 & sent1 -> int1: the Bornean is not olfactory.; void -> assump1: Let's assume that the Bornean is not declarative.; int1 & assump1 -> int2: the Bornean is both not olfactory and not declarative.; int2 -> int3: something is not olfactory and it is not declarative.; int3 & sent4 -> int4: the fact that the bridesmaid is not unrenewable is correct.; assump2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the Bornean is declarative.; sent2 & int6 -> int7: that that the dinky is not declarative and does embower does not hold is right.; [assump2] & int7 -> hypothesis;
$hypothesis$ = the fact that the fact that the dinky is not declarative but it does embower is not true if the bridesmaid is unrenewable does not hold. ; $context$ = sent1: the centerboard is not a sprechgesang. sent2: if the Bornean is declarative that the dinky is not declarative but it embowers is not right. sent3: the Bornean is not olfactory if that the centerboard is not a sprechgesang is true. sent4: if there exists something such that it is not olfactory and is not declarative then the bridesmaid is not unrenewable. sent5: if the Bornean is declarative that the dinky is declarative and it embowers does not hold. ; $proof$ = 
void -> assump2: Let's assume that the bridesmaid is unrenewable.; sent3 & sent1 -> int1: the Bornean is not olfactory.; void -> assump1: Let's assume that the Bornean is not declarative.; int1 & assump1 -> int2: the Bornean is both not olfactory and not declarative.; int2 -> int3: something is not olfactory and it is not declarative.; int3 & sent4 -> int4: the fact that the bridesmaid is not unrenewable is correct.; assump2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the Bornean is declarative.; sent2 & int6 -> int7: that that the dinky is not declarative and does embower does not hold is right.; [assump2] & int7 -> hypothesis; __DISPROVED__