if the silk is not a up-bow then the selectwoman does not impart Salvadoraceae.
sent1: the silk is a up-bow if the fact that it does not sleep Goldsmith and it is oligarchic is not right. sent2: the bootleg sleeps Goldsmith. sent3: the selectwoman is not oligarchic if the silk does sleep Goldsmith. sent4: the selectwoman sleeps Goldsmith. sent5: the silk is not a fascicle. sent6: the selectwoman is not athletic. sent7: there is something such that it is not a Yerupaja. sent8: the selectwoman does not sleep Goldsmith if something that is not a up-bow imparts Salvadoraceae.
void -> assump1: Let's assume that that the silk does not sleep Goldsmith and is oligarchic does not hold.; sent1 & assump1 -> int1: the silk is a up-bow.; void -> assump2: Let's assume that that the silk is not a kind of a up-bow is not incorrect.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the silk does not sleep Goldsmith but it is oligarchic is correct.; int3 -> int4: there exists something such that it does not sleep Goldsmith and it is not non-oligarchic.;
$hypothesis$ = if the silk is not a up-bow then the selectwoman does not impart Salvadoraceae. ; $context$ = sent1: the silk is a up-bow if the fact that it does not sleep Goldsmith and it is oligarchic is not right. sent2: the bootleg sleeps Goldsmith. sent3: the selectwoman is not oligarchic if the silk does sleep Goldsmith. sent4: the selectwoman sleeps Goldsmith. sent5: the silk is not a fascicle. sent6: the selectwoman is not athletic. sent7: there is something such that it is not a Yerupaja. sent8: the selectwoman does not sleep Goldsmith if something that is not a up-bow imparts Salvadoraceae. ; $proof$ = 
void -> assump1: Let's assume that that the silk does not sleep Goldsmith and is oligarchic does not hold.; sent1 & assump1 -> int1: the silk is a up-bow.; void -> assump2: Let's assume that that the silk is not a kind of a up-bow is not incorrect.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the silk does not sleep Goldsmith but it is oligarchic is correct.; int3 -> int4: there exists something such that it does not sleep Goldsmith and it is not non-oligarchic.; __UNKNOWN__