there is something such that if the fact that it is not hypodermal and it is not salivary is wrong then it is not unexportable.
sent1: if the fact that something is not hypodermal and is non-salivary is wrong it is unexportable. sent2: there is something such that if the fact that it is not lumbosacral and determines cheekbone does not hold it does not determine sinapism. sent3: there exists something such that if it is not an advancer and it is not cross-cultural it is not a kind of a winder. sent4: if the fact that something is not hypodermal and is not salivary does not hold it is exportable. sent5: something is not unexportable if it is salivary.
sent4 -> int1: the namby-pamby is not unexportable if that it is not hypodermal and is not salivary is not true.; int1 -> hypothesis;
$hypothesis$ = there is something such that if the fact that it is not hypodermal and it is not salivary is wrong then it is not unexportable. ; $context$ = sent1: if the fact that something is not hypodermal and is non-salivary is wrong it is unexportable. sent2: there is something such that if the fact that it is not lumbosacral and determines cheekbone does not hold it does not determine sinapism. sent3: there exists something such that if it is not an advancer and it is not cross-cultural it is not a kind of a winder. sent4: if the fact that something is not hypodermal and is not salivary does not hold it is exportable. sent5: something is not unexportable if it is salivary. ; $proof$ = 
sent4 -> int1: the namby-pamby is not unexportable if that it is not hypodermal and is not salivary is not true.; int1 -> hypothesis; __PROVED__