if the hip is not last that the hydrosphere is not postglacial and it does not hydrolyze is not right.
sent1: the fact that the hydrosphere is postglacial and does not hydrolyze is not true. sent2: that the hydrosphere is not a kind of a trimaran and it is not postglacial is wrong if there is something such that it is not non-last. sent3: if the fact that the hip is not a kind of a last is not false then that the hydrosphere is postglacial thing that does not hydrolyze does not hold. sent4: that the hydrosphere is not postglacial and it does not hydrolyze does not hold if something does peruse clianthus. sent5: if there is something such that it peruses clianthus that the hydrosphere is postglacial and does not hydrolyze is wrong. sent6: if the hip does not last the Shoshone does peruse clianthus and is a kind of a trimaran. sent7: the fact that the hydrosphere is non-postglacial thing that hydrolyzes is not right if the hip is not a kind of a last. sent8: if the hip is a last then the Shoshone does peruse clianthus and is a trimaran. sent9: that the fact that the hydrosphere is not postglacial but it hydrolyzes is not true is right if there exists something such that it does peruse clianthus.
void -> assump1: Let's assume that the hip does not last.; sent6 & assump1 -> int1: the Shoshone does peruse clianthus and it is a trimaran.; int1 -> int2: the Shoshone peruses clianthus.; int2 -> int3: something peruses clianthus.; int3 & sent4 -> int4: the fact that the hydrosphere is non-postglacial thing that does not hydrolyze is false.; [assump1] & int4 -> hypothesis;
$hypothesis$ = if the hip is not last that the hydrosphere is not postglacial and it does not hydrolyze is not right. ; $context$ = sent1: the fact that the hydrosphere is postglacial and does not hydrolyze is not true. sent2: that the hydrosphere is not a kind of a trimaran and it is not postglacial is wrong if there is something such that it is not non-last. sent3: if the fact that the hip is not a kind of a last is not false then that the hydrosphere is postglacial thing that does not hydrolyze does not hold. sent4: that the hydrosphere is not postglacial and it does not hydrolyze does not hold if something does peruse clianthus. sent5: if there is something such that it peruses clianthus that the hydrosphere is postglacial and does not hydrolyze is wrong. sent6: if the hip does not last the Shoshone does peruse clianthus and is a kind of a trimaran. sent7: the fact that the hydrosphere is non-postglacial thing that hydrolyzes is not right if the hip is not a kind of a last. sent8: if the hip is a last then the Shoshone does peruse clianthus and is a trimaran. sent9: that the fact that the hydrosphere is not postglacial but it hydrolyzes is not true is right if there exists something such that it does peruse clianthus. ; $proof$ = 
void -> assump1: Let's assume that the hip does not last.; sent6 & assump1 -> int1: the Shoshone does peruse clianthus and it is a trimaran.; int1 -> int2: the Shoshone peruses clianthus.; int2 -> int3: something peruses clianthus.; int3 & sent4 -> int4: the fact that the hydrosphere is non-postglacial thing that does not hydrolyze is false.; [assump1] & int4 -> hypothesis; __PROVED__