the king is a Nahum.
sent1: if the fact that that the bola does crenel and/or is a sectionalism does not hold is right it does not service. sent2: the weave hums succulence and does not hum Ham if the contrabass is not deconstructionist. sent3: if the fact that that the bola either is an initiate or is not a crenel or both hold is not right then the Lithuanian is not an initiate. sent4: the drugstore hums boliviano. sent5: that the bola is a kind of an initiate or does not crenel or both is false. sent6: the fact that the weave is not a kind of a sectionalism hold. sent7: the weave is a service. sent8: something is a Nahum if it does service. sent9: if the fact that either something does keratinize king or it is a sectionalism or both is wrong then it is not deconstructionist. sent10: the bola does not keratinize king. sent11: if that the Lithuanian does not hum boliviano hold the fact that the contrabass either keratinizes king or is a kind of a sectionalism or both is false. sent12: the king services if the weave does hum succulence but it does not hum Ham.
void -> assump1: Let's assume that the Lithuanian does hum boliviano.; sent3 & sent5 -> int1: the Lithuanian is not a kind of an initiate.; sent9 -> int2: if that the contrabass does keratinize king and/or is a kind of a sectionalism is incorrect it is not deconstructionist.; sent8 -> int3: if the king is a service then it is a Nahum.;
$hypothesis$ = the king is a Nahum. ; $context$ = sent1: if the fact that that the bola does crenel and/or is a sectionalism does not hold is right it does not service. sent2: the weave hums succulence and does not hum Ham if the contrabass is not deconstructionist. sent3: if the fact that that the bola either is an initiate or is not a crenel or both hold is not right then the Lithuanian is not an initiate. sent4: the drugstore hums boliviano. sent5: that the bola is a kind of an initiate or does not crenel or both is false. sent6: the fact that the weave is not a kind of a sectionalism hold. sent7: the weave is a service. sent8: something is a Nahum if it does service. sent9: if the fact that either something does keratinize king or it is a sectionalism or both is wrong then it is not deconstructionist. sent10: the bola does not keratinize king. sent11: if that the Lithuanian does not hum boliviano hold the fact that the contrabass either keratinizes king or is a kind of a sectionalism or both is false. sent12: the king services if the weave does hum succulence but it does not hum Ham. ; $proof$ = 
void -> assump1: Let's assume that the Lithuanian does hum boliviano.; sent3 & sent5 -> int1: the Lithuanian is not a kind of an initiate.; sent9 -> int2: if that the contrabass does keratinize king and/or is a kind of a sectionalism is incorrect it is not deconstructionist.; sent8 -> int3: if the king is a service then it is a Nahum.; __UNKNOWN__