Show HN: A small reasoning engine that learns rewrite rules from two examples | Not Hacker News!