Rules For Testing The Validity Of A Categorical Syllogism With Venn