https://1library.org/document/zlrg8l2z-aula-regra-composicional-de-inferencia-consistencia-metodo-inferencia.html