the Wolf is a lumbago and it does open Wolf.
sent1: the fact that something does not inhabit or does camber pinguecula or both is not true if that it is not a rig is not wrong. sent2: if something does not inhabit or is a lumbago or both then it does not camber pinguecula. sent3: the fang does not roll intern if something does not truck departure and is bold. sent4: there exists something such that it does not truck departure and it is bold. sent5: the Wolf is not loopy if there exists something such that the fact that it is a rig and it rolls intern is incorrect. sent6: if the fang does rig then it does roll intern. sent7: everything does not inhabit or it is a lumbago or both. sent8: the skin is not a lumbago if there is something such that that it does not inhabit or it cambers pinguecula or both does not hold.
void -> assump1: Let's assume that the fang rigs.; sent6 & assump1 -> int1: the fang rolls intern.; sent4 & sent3 -> int2: the fang does not roll intern.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fang is not a kind of a rig.; sent1 -> int5: if the fang does not rig that it does not inhabit and/or it cambers pinguecula is not true.; int4 & int5 -> int6: the fact that the fang does not inhabit and/or it does camber pinguecula is not true.; int6 -> int7: there is something such that that either it does not inhabit or it does camber pinguecula or both is wrong.; int7 & sent8 -> int8: the skin is not a kind of a lumbago.;
the Wolf is not loopy.
sent2 -> int9: the skin does not camber pinguecula if it does not inhabit or it is a kind of a lumbago or both.; sent7 -> int10: the skin does not inhabit and/or it is a lumbago.; int9 & int10 -> int11: the fact that the skin does not camber pinguecula hold.;
$hypothesis$ = the Wolf is a lumbago and it does open Wolf. ; $context$ = sent1: the fact that something does not inhabit or does camber pinguecula or both is not true if that it is not a rig is not wrong. sent2: if something does not inhabit or is a lumbago or both then it does not camber pinguecula. sent3: the fang does not roll intern if something does not truck departure and is bold. sent4: there exists something such that it does not truck departure and it is bold. sent5: the Wolf is not loopy if there exists something such that the fact that it is a rig and it rolls intern is incorrect. sent6: if the fang does rig then it does roll intern. sent7: everything does not inhabit or it is a lumbago or both. sent8: the skin is not a lumbago if there is something such that that it does not inhabit or it cambers pinguecula or both does not hold. ; $proof$ = 
void -> assump1: Let's assume that the fang rigs.; sent6 & assump1 -> int1: the fang rolls intern.; sent4 & sent3 -> int2: the fang does not roll intern.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fang is not a kind of a rig.; sent1 -> int5: if the fang does not rig that it does not inhabit and/or it cambers pinguecula is not true.; int4 & int5 -> int6: the fact that the fang does not inhabit and/or it does camber pinguecula is not true.; int6 -> int7: there is something such that that either it does not inhabit or it does camber pinguecula or both is wrong.; int7 & sent8 -> int8: the skin is not a kind of a lumbago.; __UNKNOWN__