there is something such that if it is obligational and/or unknowable it is not a belching.
sent1: if the petiole is obligational and/or is unknowable then it is not a belching. sent2: there is something such that if it is unknowable then the fact that it is not a belching is right. sent3: something that immortalizes petiole or is a weaver or both is not incompressible.
sent1 -> hypothesis;
the petiole is not incompressible if it does immortalize petiole or is a weaver or both.
sent3 -> hypothesis;
$hypothesis$ = there is something such that if it is obligational and/or unknowable it is not a belching. ; $context$ = sent1: if the petiole is obligational and/or is unknowable then it is not a belching. sent2: there is something such that if it is unknowable then the fact that it is not a belching is right. sent3: something that immortalizes petiole or is a weaver or both is not incompressible. ; $proof$ = 
sent1 -> hypothesis; __PROVED__