General rules of syllogism