the jujube testifies Centunculus.
sent1: everything does not testify slab. sent2: if that something is not a bulk and does not expense is not right that it is a Gymnocarpium hold. sent3: that if the lounge bulks the lounge is a Gymnocarpium is right. sent4: that something is not a bulk and it is not an expense is false if it does testify Argyreia. sent5: the lounge is a puerpera. sent6: if the lounge is a Gymnocarpium then the Florentine is a kind of a settled. sent7: if the Florentine is a kind of a settled the jujube does testify Centunculus. sent8: the fact that something does not testify Argyreia and is pugilistic is not true if it does not testify slab. sent9: if something is not leeward the lounge is pugilistic and it is a puerpera.
void -> assump1: Let's assume that the lounge does not testify Argyreia.; sent8 -> int1: the fact that the lounge does not testify Argyreia but it is pugilistic does not hold if it does not testify slab.; sent1 -> int2: the lounge does not testify slab.; int1 & int2 -> int3: that the lounge does not testify Argyreia and is pugilistic is incorrect.; sent4 -> int4: if the lounge testifies Argyreia that it is not a bulk and it is not an expense is wrong.; sent2 -> int5: if that the lounge does not bulk and it does not expense is not true then it is a Gymnocarpium.;
$hypothesis$ = the jujube testifies Centunculus. ; $context$ = sent1: everything does not testify slab. sent2: if that something is not a bulk and does not expense is not right that it is a Gymnocarpium hold. sent3: that if the lounge bulks the lounge is a Gymnocarpium is right. sent4: that something is not a bulk and it is not an expense is false if it does testify Argyreia. sent5: the lounge is a puerpera. sent6: if the lounge is a Gymnocarpium then the Florentine is a kind of a settled. sent7: if the Florentine is a kind of a settled the jujube does testify Centunculus. sent8: the fact that something does not testify Argyreia and is pugilistic is not true if it does not testify slab. sent9: if something is not leeward the lounge is pugilistic and it is a puerpera. ; $proof$ = 
void -> assump1: Let's assume that the lounge does not testify Argyreia.; sent8 -> int1: the fact that the lounge does not testify Argyreia but it is pugilistic does not hold if it does not testify slab.; sent1 -> int2: the lounge does not testify slab.; int1 & int2 -> int3: that the lounge does not testify Argyreia and is pugilistic is incorrect.; sent4 -> int4: if the lounge testifies Argyreia that it is not a bulk and it is not an expense is wrong.; sent2 -> int5: if that the lounge does not bulk and it does not expense is not true then it is a Gymnocarpium.; __UNKNOWN__