Deductions and Reductions Decoding Syllogistic Mnemonics