Practical Examples of Logical Systems Solved by Z3PY | Hacker News Reader