Este artículo presenta un algoritmo para generar proposiciones que representan objetivamente grafos que sustentan el razonamiento basado en la consistencia. Además, evaluamos la capacidad de los modelos de lenguaje a gran escala (LLM) para reconstruir grafos de consistencia a partir de proposiciones expresadas en lenguaje natural (transformadas de forma simple). Demostramos resultados prometedores utilizando una sola instrucción en un LLM optimizado para la inferencia. Por ejemplo, o1/3/4-mini logra una reconstrucción perfecta en la mitad del tiempo para grafos dispersos. El razonamiento basado en la consistencia para la evaluación de la consistencia mediante LLM podría mejorar las capacidades cognitivas de las máquinas.