Simple categorical syllogism