Could an auto logic checker be the solution to the fake news problem? | Hacker News Reader