there is something such that if it is a kind of non-immunosuppressive thing that is a electromyography then it is unsinkable.
sent1: there is something such that if that it is a kind of immunosuppressive thing that is a kind of a electromyography is right it is unsinkable. sent2: the bloodworm is unsinkable if it is non-immunosuppressive a electromyography. sent3: the bloodworm is unsinkable if it is immunosuppressive thing that is a kind of a electromyography.
sent2 -> hypothesis;
$hypothesis$ = there is something such that if it is a kind of non-immunosuppressive thing that is a electromyography then it is unsinkable. ; $context$ = sent1: there is something such that if that it is a kind of immunosuppressive thing that is a kind of a electromyography is right it is unsinkable. sent2: the bloodworm is unsinkable if it is non-immunosuppressive a electromyography. sent3: the bloodworm is unsinkable if it is immunosuppressive thing that is a kind of a electromyography. ; $proof$ = 
sent2 -> hypothesis; __PROVED__