IBM’s Project Debater AI Can Argue Against Humans In Formal Debate Settings