inputs: hypothesis: Ghazi al-Yawar is Iraq's new president. premise: Paul Bremer, the top U.S. civilian administrator in Iraq, and Iraq's new president, Ghazi al-Yawar, visited the northern Iraqi city of Kirkuk.