Generador de Fórmulas Consistentes (A → B → C → A)