Strategies in syllogistic reasoning