Skyrim in Logic