initial_state = [('locked', 'door_kl'), ('unlocked', 'door_kg'), ('located', 'robot', 'kitchen'), ('located', 'key', 'garage'), ('located', 'ring', 'larder')]
