the oblate labels.
sent1: the oblate is not a desquamation. sent2: if the holothurian is not accentual the oblate does not eliminate retinol. sent3: if the holothurian is accentual it is a desquamation. sent4: the fact that if the oblate is not a kind of the buttoned the oblate is accentual a desquamation hold. sent5: the holothurian is not a kind of a desquamation. sent6: the holothurian does not button.
void -> assump1: Let's assume that the holothurian is accentual.; sent3 & assump1 -> int1: the holothurian is a kind of a desquamation.; int1 & sent5 -> int2: this is contradiction.; [assump1] & int2 -> int3: the holothurian is not accentual.; int3 & sent2 -> int4: the oblate does not eliminate retinol.;
$hypothesis$ = the oblate labels. ; $context$ = sent1: the oblate is not a desquamation. sent2: if the holothurian is not accentual the oblate does not eliminate retinol. sent3: if the holothurian is accentual it is a desquamation. sent4: the fact that if the oblate is not a kind of the buttoned the oblate is accentual a desquamation hold. sent5: the holothurian is not a kind of a desquamation. sent6: the holothurian does not button. ; $proof$ = 
void -> assump1: Let's assume that the holothurian is accentual.; sent3 & assump1 -> int1: the holothurian is a kind of a desquamation.; int1 & sent5 -> int2: this is contradiction.; [assump1] & int2 -> int3: the holothurian is not accentual.; int3 & sent2 -> int4: the oblate does not eliminate retinol.; __UNKNOWN__