Add random syllogism generation (no validity yet)