the fact that the space does not bypass Lasso if the fact that the staddle facilitates beta-naphthol is true is false.
sent1: the space does not revert if the pierid does bypass Lasso. sent2: if the space does revert the fact that the staddle bypasses Lasso and it facilitates beta-naphthol does not hold. sent3: if the staddle is gonadotropic then the fact that the space bypasses Lasso and it facilitates beta-naphthol is wrong. sent4: the fact that the pierid is gonadotropic thing that does revert does not hold. sent5: if that the pierid is non-gonadotropic thing that does revert is not right then the space bypasses Lasso. sent6: the fact that the fact that the staddle is not gonadotropic but it does facilitate beta-naphthol does not hold hold. sent7: the space bypasses Lasso. sent8: the space does not bypass Lasso if that the pierid is not gonadotropic but it reverts is not true. sent9: the fact that the pierid is non-gonadotropic thing that does revert is not true if the staddle does facilitate beta-naphthol. sent10: if that the pierid does not facilitate beta-naphthol but it is gonadotropic does not hold then the staddle does not revert.
void -> assump1: Let's assume that the staddle facilitates beta-naphthol.; sent9 & assump1 -> int1: that the pierid is a kind of non-gonadotropic thing that does revert is wrong.; sent8 & int1 -> int2: the fact that the space does not bypass Lasso is not incorrect.; [assump1] & int2 -> hypothesis;
$hypothesis$ = the fact that the space does not bypass Lasso if the fact that the staddle facilitates beta-naphthol is true is false. ; $context$ = sent1: the space does not revert if the pierid does bypass Lasso. sent2: if the space does revert the fact that the staddle bypasses Lasso and it facilitates beta-naphthol does not hold. sent3: if the staddle is gonadotropic then the fact that the space bypasses Lasso and it facilitates beta-naphthol is wrong. sent4: the fact that the pierid is gonadotropic thing that does revert does not hold. sent5: if that the pierid is non-gonadotropic thing that does revert is not right then the space bypasses Lasso. sent6: the fact that the fact that the staddle is not gonadotropic but it does facilitate beta-naphthol does not hold hold. sent7: the space bypasses Lasso. sent8: the space does not bypass Lasso if that the pierid is not gonadotropic but it reverts is not true. sent9: the fact that the pierid is non-gonadotropic thing that does revert is not true if the staddle does facilitate beta-naphthol. sent10: if that the pierid does not facilitate beta-naphthol but it is gonadotropic does not hold then the staddle does not revert. ; $proof$ = 
void -> assump1: Let's assume that the staddle facilitates beta-naphthol.; sent9 & assump1 -> int1: that the pierid is a kind of non-gonadotropic thing that does revert is wrong.; sent8 & int1 -> int2: the fact that the space does not bypass Lasso is not incorrect.; [assump1] & int2 -> hypothesis; __DISPROVED__