the procaine defaults papulovesicle.
sent1: if something is a Boccaccio it is indigestible. sent2: that the procaine does default papulovesicle is not incorrect if the bloodleaf is a Julian. sent3: the procaine is a sidesman if the exteroceptor is a kind of a sidesman. sent4: if the kaolinite is not a kind of a humor it is not indigestible. sent5: that the kaolinite is both a sibilation and not non-octangular does not hold if the bloodleaf does not kick. sent6: if the fact that the kaolinite is both a sibilation and non-octangular is not right then the fact that it does not slacken is true. sent7: the bloodleaf is a Julian if it is a sidesman. sent8: something does not default papulovesicle if it kicks and does not slacken. sent9: something is a sidesman if it is a kick. sent10: that something is a kind of a fer-de-lance that is a humor is incorrect if it does not kick. sent11: that the kaolinite is a sibilation that is octangular does not hold. sent12: the bloodleaf either is not indigestible or is a Boccaccio or both if the procaine is a kind of a sidesman. sent13: the fact that the kaolinite is a exteroceptor and is a humor is wrong. sent14: if the fact that the bloodleaf is not a kick hold that the kaolinite is a sibilation and is not octangular is not correct. sent15: the bloodleaf is not a kind of a sidesman if the fact that it is a kick and it does default papulovesicle does not hold. sent16: the fact that the gallinacean is a exteroceptor and it does default papulovesicle does not hold. sent17: if the exteroceptor does not default papulovesicle then it is both a sidesman and Julian. sent18: the kaolinite is not indigestible if that it is a exteroceptor and is a humor is not right. sent19: the exteroceptor does not default papulovesicle if the fact that the gallinacean is a kind of a exteroceptor and it default papulovesicle is not true. sent20: if the kaolinite is octangular it does not slacken.
void -> assump1: Let's assume that the bloodleaf is not a kind of a kick.; sent14 & assump1 -> int1: that the kaolinite is a sibilation and is not octangular does not hold.; int1 & sent6 -> int2: the kaolinite does not slacken.; sent1 -> int3: the kaolinite is indigestible if it is a kind of a Boccaccio.; sent18 & sent13 -> int4: the kaolinite is not indigestible.; sent9 -> int5: if the bloodleaf does kick then it is a sidesman.;
the procaine does not default papulovesicle.
sent8 -> int6: if the procaine is a kick but it does not slacken then it does not default papulovesicle.;
$hypothesis$ = the procaine defaults papulovesicle. ; $context$ = sent1: if something is a Boccaccio it is indigestible. sent2: that the procaine does default papulovesicle is not incorrect if the bloodleaf is a Julian. sent3: the procaine is a sidesman if the exteroceptor is a kind of a sidesman. sent4: if the kaolinite is not a kind of a humor it is not indigestible. sent5: that the kaolinite is both a sibilation and not non-octangular does not hold if the bloodleaf does not kick. sent6: if the fact that the kaolinite is both a sibilation and non-octangular is not right then the fact that it does not slacken is true. sent7: the bloodleaf is a Julian if it is a sidesman. sent8: something does not default papulovesicle if it kicks and does not slacken. sent9: something is a sidesman if it is a kick. sent10: that something is a kind of a fer-de-lance that is a humor is incorrect if it does not kick. sent11: that the kaolinite is a sibilation that is octangular does not hold. sent12: the bloodleaf either is not indigestible or is a Boccaccio or both if the procaine is a kind of a sidesman. sent13: the fact that the kaolinite is a exteroceptor and is a humor is wrong. sent14: if the fact that the bloodleaf is not a kick hold that the kaolinite is a sibilation and is not octangular is not correct. sent15: the bloodleaf is not a kind of a sidesman if the fact that it is a kick and it does default papulovesicle does not hold. sent16: the fact that the gallinacean is a exteroceptor and it does default papulovesicle does not hold. sent17: if the exteroceptor does not default papulovesicle then it is both a sidesman and Julian. sent18: the kaolinite is not indigestible if that it is a exteroceptor and is a humor is not right. sent19: the exteroceptor does not default papulovesicle if the fact that the gallinacean is a kind of a exteroceptor and it default papulovesicle is not true. sent20: if the kaolinite is octangular it does not slacken. ; $proof$ = 
void -> assump1: Let's assume that the bloodleaf is not a kind of a kick.; sent14 & assump1 -> int1: that the kaolinite is a sibilation and is not octangular does not hold.; int1 & sent6 -> int2: the kaolinite does not slacken.; sent1 -> int3: the kaolinite is indigestible if it is a kind of a Boccaccio.; sent18 & sent13 -> int4: the kaolinite is not indigestible.; sent9 -> int5: if the bloodleaf does kick then it is a sidesman.; __UNKNOWN__