syllogistic analysis