there is something such that if it is not fishy then the fact that it toboggans and it is a hydrocele does not hold.
sent1: if the resinoid is not fishy then the fact that it is a toboggan and it is a hydrocele is false. sent2: there is something such that if it is fishy the fact that it is a kind of a toboggan and it is a hydrocele does not hold. sent3: if that the resinoid is not fishy hold then it is a toboggan and it is a kind of a hydrocele. sent4: if the resinoid is fishy the fact that it is both a toboggan and a hydrocele is not true.
sent1 -> hypothesis;
$hypothesis$ = there is something such that if it is not fishy then the fact that it toboggans and it is a hydrocele does not hold. ; $context$ = sent1: if the resinoid is not fishy then the fact that it is a toboggan and it is a hydrocele is false. sent2: there is something such that if it is fishy the fact that it is a kind of a toboggan and it is a hydrocele does not hold. sent3: if that the resinoid is not fishy hold then it is a toboggan and it is a kind of a hydrocele. sent4: if the resinoid is fishy the fact that it is both a toboggan and a hydrocele is not true. ; $proof$ = 
sent1 -> hypothesis; __PROVED__