the fact that the fact that the narcissus is not a kind of a running and does stick eyeshadow hold does not hold if it does stick antibody.
sent1: if the narcissus does not stick mystification then that it is a kind of a running and sticks eyeshadow is not right. sent2: that the batholith is not fisheye but it is a skipjack is not true. sent3: if something does inscribe then it urticates peonage. sent4: if that the narcissus does stick antibody hold it is not a kind of a running and does stick eyeshadow. sent5: if the diapir does not inscribe then the batholith is non-fisheye a skipjack. sent6: that if the diapir does not inscribe then the batholith is a skipjack hold. sent7: the narcissus is not a running and does stick eyeshadow if it does not stick mystification. sent8: if a non-bloody thing does stick antibody it does not stick mystification. sent9: if the diapir does urticate peonage that the narcissus is not bloody is true. sent10: that that the narcissus is a kind of a running and sticks eyeshadow is incorrect hold if it sticks antibody. sent11: that the narcissus is a kind of a running that does stick eyeshadow does not hold. sent12: the narcissus does not run and sticks eyeshadow.
void -> assump2: Let's assume that the fact that the diapir does not inscribe is correct.; sent5 & assump2 -> int1: the batholith is not fisheye but it is a skipjack.; int1 & sent2 -> int2: this is contradiction.; [assump2] & int2 -> int3: the diapir does inscribe.; sent3 -> int4: if the diapir inscribes then it does urticate peonage.; int3 & int4 -> int5: the diapir does urticate peonage.; int5 & sent9 -> int6: the narcissus does not bloody.; void -> assump1: Let's assume that the narcissus does stick antibody.; int6 & assump1 -> int7: the narcissus is non-bloody thing that does stick antibody.; sent8 -> int8: that the narcissus does not stick mystification if the narcissus is not bloody but it sticks antibody is not incorrect.; int7 & int8 -> int9: the narcissus does not stick mystification.;
$hypothesis$ = the fact that the fact that the narcissus is not a kind of a running and does stick eyeshadow hold does not hold if it does stick antibody. ; $context$ = sent1: if the narcissus does not stick mystification then that it is a kind of a running and sticks eyeshadow is not right. sent2: that the batholith is not fisheye but it is a skipjack is not true. sent3: if something does inscribe then it urticates peonage. sent4: if that the narcissus does stick antibody hold it is not a kind of a running and does stick eyeshadow. sent5: if the diapir does not inscribe then the batholith is non-fisheye a skipjack. sent6: that if the diapir does not inscribe then the batholith is a skipjack hold. sent7: the narcissus is not a running and does stick eyeshadow if it does not stick mystification. sent8: if a non-bloody thing does stick antibody it does not stick mystification. sent9: if the diapir does urticate peonage that the narcissus is not bloody is true. sent10: that that the narcissus is a kind of a running and sticks eyeshadow is incorrect hold if it sticks antibody. sent11: that the narcissus is a kind of a running that does stick eyeshadow does not hold. sent12: the narcissus does not run and sticks eyeshadow. ; $proof$ = 
void -> assump2: Let's assume that the fact that the diapir does not inscribe is correct.; sent5 & assump2 -> int1: the batholith is not fisheye but it is a skipjack.; int1 & sent2 -> int2: this is contradiction.; [assump2] & int2 -> int3: the diapir does inscribe.; sent3 -> int4: if the diapir inscribes then it does urticate peonage.; int3 & int4 -> int5: the diapir does urticate peonage.; int5 & sent9 -> int6: the narcissus does not bloody.; void -> assump1: Let's assume that the narcissus does stick antibody.; int6 & assump1 -> int7: the narcissus is non-bloody thing that does stick antibody.; sent8 -> int8: that the narcissus does not stick mystification if the narcissus is not bloody but it sticks antibody is not incorrect.; int7 & int8 -> int9: the narcissus does not stick mystification.; __UNKNOWN__