https://remp3indir.net/predicate-calculus-explained-using-python-code/