the adult is a kind of diamantine thing that is not an emoticon.
sent1: if the adult is a antiredeposition then it is a mummification. sent2: the adult naps if the barrier is an emoticon. sent3: the tumblebug does nap. sent4: if that the barrier is a kind of non-humble a napping does not hold then it is not blastomycotic. sent5: the bookshelf is a kind of a napping. sent6: if the adult is not a antiredeposition then it is both diamantine and not an emoticon. sent7: the tumblebug is a kind of a lactogen if the adult is a kind of a mummification. sent8: the armor is unsatisfactory. sent9: the barrier is diamantine and not humble. sent10: if something is a lactogen then the fact that the barrier is not humble but it does nap does not hold.
void -> assump1: Let's assume that the adult is a antiredeposition.; sent1 & assump1 -> int1: the adult is a mummification.; int1 & sent7 -> int2: the tumblebug is a lactogen.; int2 -> int3: something is a lactogen.; int3 & sent10 -> int4: the fact that the barrier is a kind of non-humble thing that does nap is false.; int4 & sent4 -> int5: the barrier is not blastomycotic.;
$hypothesis$ = the adult is a kind of diamantine thing that is not an emoticon. ; $context$ = sent1: if the adult is a antiredeposition then it is a mummification. sent2: the adult naps if the barrier is an emoticon. sent3: the tumblebug does nap. sent4: if that the barrier is a kind of non-humble a napping does not hold then it is not blastomycotic. sent5: the bookshelf is a kind of a napping. sent6: if the adult is not a antiredeposition then it is both diamantine and not an emoticon. sent7: the tumblebug is a kind of a lactogen if the adult is a kind of a mummification. sent8: the armor is unsatisfactory. sent9: the barrier is diamantine and not humble. sent10: if something is a lactogen then the fact that the barrier is not humble but it does nap does not hold. ; $proof$ = 
void -> assump1: Let's assume that the adult is a antiredeposition.; sent1 & assump1 -> int1: the adult is a mummification.; int1 & sent7 -> int2: the tumblebug is a lactogen.; int2 -> int3: something is a lactogen.; int3 & sent10 -> int4: the fact that the barrier is a kind of non-humble thing that does nap is false.; int4 & sent4 -> int5: the barrier is not blastomycotic.; __UNKNOWN__