RICA: Evaluación de Capacidades de Inferencia Sólidas Basadas en Axiomas de Sentido Común