if the loosestrife is a valetudinarian but it is not genuine then the Skinner does not stray.
sent1: the Skinner strays. sent2: the cellulosic does not stray if that the Skinner is a kind of attributive thing that is not a usualness does not hold. sent3: the Skinner does not stray if the cellulosic is both attributive and not genuine. sent4: the cellulosic is not a kind of a usualness if the fact that the loosestrife is a kind of a valetudinarian but it does not thrust goniometer does not hold. sent5: the fact that the cellulosic does thrust goniometer and is attributive is false if the fact that the loosestrife is not a kind of a usualness is not false. sent6: if the loosestrife thrusts goniometer but it is not attributive it is not valetudinarian. sent7: if the loosestrife is a kind of a valetudinarian that is genuine then the Skinner does not stray. sent8: the loosestrife is not genuine. sent9: the Skinner is not a stray if the cellulosic is attributive. sent10: the cellulosic is a valetudinarian and is non-attributive. sent11: the fact that the cellulosic thrusts goniometer and it is attributive is false. sent12: if the cellulosic is attributive and is not a usualness then it does not thrust goniometer. sent13: if the cellulosic is not genuine the fact that the loosestrife is valetudinarian thing that does not thrust goniometer is incorrect. sent14: the fact that the cellulosic thrusts goniometer but it is not attributive is false if that the loosestrife is not a usualness is not false. sent15: if the loosestrife does not thrust goniometer the fact that the cellulosic is a usualness but it is not genuine is wrong. sent16: the Skinner is a stray if the fact that the cellulosic thrusts goniometer and is not attributive is false. sent17: the Skinner is not a usualness. sent18: the loosestrife is not a usualness if it is a kind of a valetudinarian that is genuine. sent19: if the loosestrife is a valetudinarian but it is not genuine it is not a kind of a usualness. sent20: the Skinner is a stray if the loosestrife is a kind of valetudinarian thing that is not genuine. sent21: if the loosestrife is not non-attributive and does not thrust goniometer then the cellulosic is not a kind of a valetudinarian.
void -> assump1: Let's assume that the loosestrife is a valetudinarian but it is not genuine.; sent19 & assump1 -> int1: the loosestrife is not a usualness.; sent14 & int1 -> int2: that the cellulosic does thrust goniometer but it is not attributive does not hold.;
$hypothesis$ = if the loosestrife is a valetudinarian but it is not genuine then the Skinner does not stray. ; $context$ = sent1: the Skinner strays. sent2: the cellulosic does not stray if that the Skinner is a kind of attributive thing that is not a usualness does not hold. sent3: the Skinner does not stray if the cellulosic is both attributive and not genuine. sent4: the cellulosic is not a kind of a usualness if the fact that the loosestrife is a kind of a valetudinarian but it does not thrust goniometer does not hold. sent5: the fact that the cellulosic does thrust goniometer and is attributive is false if the fact that the loosestrife is not a kind of a usualness is not false. sent6: if the loosestrife thrusts goniometer but it is not attributive it is not valetudinarian. sent7: if the loosestrife is a kind of a valetudinarian that is genuine then the Skinner does not stray. sent8: the loosestrife is not genuine. sent9: the Skinner is not a stray if the cellulosic is attributive. sent10: the cellulosic is a valetudinarian and is non-attributive. sent11: the fact that the cellulosic thrusts goniometer and it is attributive is false. sent12: if the cellulosic is attributive and is not a usualness then it does not thrust goniometer. sent13: if the cellulosic is not genuine the fact that the loosestrife is valetudinarian thing that does not thrust goniometer is incorrect. sent14: the fact that the cellulosic thrusts goniometer but it is not attributive is false if that the loosestrife is not a usualness is not false. sent15: if the loosestrife does not thrust goniometer the fact that the cellulosic is a usualness but it is not genuine is wrong. sent16: the Skinner is a stray if the fact that the cellulosic thrusts goniometer and is not attributive is false. sent17: the Skinner is not a usualness. sent18: the loosestrife is not a usualness if it is a kind of a valetudinarian that is genuine. sent19: if the loosestrife is a valetudinarian but it is not genuine it is not a kind of a usualness. sent20: the Skinner is a stray if the loosestrife is a kind of valetudinarian thing that is not genuine. sent21: if the loosestrife is not non-attributive and does not thrust goniometer then the cellulosic is not a kind of a valetudinarian. ; $proof$ = 
void -> assump1: Let's assume that the loosestrife is a valetudinarian but it is not genuine.; sent19 & assump1 -> int1: the loosestrife is not a usualness.; sent14 & int1 -> int2: that the cellulosic does thrust goniometer but it is not attributive does not hold.; __UNKNOWN__