On the Synthesis of Polysyllogisms in Critical Logic