Using abstract rules to get better logical reasoning from ChatGPT-4 | Hacker News Reader