Implement Wang's Algorithm

[ryukinix]

This algorithm should takes N premises and one conclusion and check if the conclusion is valid.

[ryukinix]

Ref: http://www.dainf.ct.utfpr.edu.br/~kaestner/Logica/HowtoLisp.txt
Ref: http://www.princeton.edu/~chaff/zchaff.html

[ryukinix]

Hint: https://chatgpt.com/share/686b1f49-0d58-8003-83a6-538376e52b3b