the four-spot is both not Vedic and a cleats.
sent1: the fact that that the Superior is not a kind of a Yuma is not incorrect if the four-spot is Vedic hold. sent2: the scattering is uniovular if it is not a catch. sent3: the Aquarius is not a kind of a Yuma. sent4: if the AU is not a die and/or it is not successful then it is not a die. sent5: the AU is not a kind of a die or it is not successful or both. sent6: the four-spot is a cleats if that the AU is a bushwhacker is not wrong. sent7: the AU is a bushwhacker and/or it is not Vedic. sent8: the fact that the fact that something is a bushwhacker is not incorrect if it is not a die is not wrong.
void -> assump1: Let's assume that the four-spot is Vedic.; sent1 & assump1 -> int1: the Superior is not a Yuma.; sent8 -> int2: if the AU does not die then it is a bushwhacker.; sent4 & sent5 -> int3: the AU is not a die.; int2 & int3 -> int4: the AU is a bushwhacker.; sent6 & int4 -> int5: that the four-spot is a cleats is true.;
$hypothesis$ = the four-spot is both not Vedic and a cleats. ; $context$ = sent1: the fact that that the Superior is not a kind of a Yuma is not incorrect if the four-spot is Vedic hold. sent2: the scattering is uniovular if it is not a catch. sent3: the Aquarius is not a kind of a Yuma. sent4: if the AU is not a die and/or it is not successful then it is not a die. sent5: the AU is not a kind of a die or it is not successful or both. sent6: the four-spot is a cleats if that the AU is a bushwhacker is not wrong. sent7: the AU is a bushwhacker and/or it is not Vedic. sent8: the fact that the fact that something is a bushwhacker is not incorrect if it is not a die is not wrong. ; $proof$ = 
void -> assump1: Let's assume that the four-spot is Vedic.; sent1 & assump1 -> int1: the Superior is not a Yuma.; sent8 -> int2: if the AU does not die then it is a bushwhacker.; sent4 & sent5 -> int3: the AU is not a die.; int2 & int3 -> int4: the AU is a bushwhacker.; sent6 & int4 -> int5: that the four-spot is a cleats is true.; __UNKNOWN__