User blog comment:P進大好きbot/Voting on new site policies/@comment-31040770-20200207142329/@comment-30279966-20200211073014

By the way, logic in real world in many cases may be approximated only with fuzzy logic, which is more complicated than usual first order logic.