Seol mar théacs é seo: Solución de problemas que requieren inferencias lógicas