that there is something such that if it does not yield hugger-mugger it does not detrain is wrong.
sent1: the densimeter does soothe if it does not yield hugger-mugger. sent2: the xerophyte is not scorbutic if it does not detrain. sent3: if something does not yield densimeter it does not disembowel benedictine. sent4: if the densimeter does not yield hugger-mugger it does not detrain.
sent4 -> hypothesis;
there is something such that if it does not yield densimeter that it does not disembowel benedictine is right.
sent3 -> int1: if the benedictine does not yield densimeter it does not disembowel benedictine.; int1 -> hypothesis;
$hypothesis$ = that there is something such that if it does not yield hugger-mugger it does not detrain is wrong. ; $context$ = sent1: the densimeter does soothe if it does not yield hugger-mugger. sent2: the xerophyte is not scorbutic if it does not detrain. sent3: if something does not yield densimeter it does not disembowel benedictine. sent4: if the densimeter does not yield hugger-mugger it does not detrain. ; $proof$ = 
sent4 -> hypothesis; __DISPROVED__