BAR. Every wicked man is miserable;

BA. All tyrants are wicked men;

RA. Therefore all tyrants are miserable.