inputs: hypothesis: The International Atmospheric Energy Agency is called IAEA. premise: Monitors from the IAEA, the U.N. nuclear watchdog, left North Korea on Thursday after being ordered out by Pyongyang, which has raised regional tensions by saying it will abandon atomic disarmament talks and restart an aged nuclear complex it had agreed to shut in an aid-for-disarmament deal. The U.N. Security Council unanimously condemned North Korea's launch of a long-range rocket on April 5, saying the action contravened a U.N. ban.