Task: Textual Entailment
Input (Persian): تهران مخوف عنوان رمانی است از مرتضی مشفق کاظمی نویسنده ایرانی (متولد ۱۲۸۱ شمسی). تهران مخوف در حقیقت نخستین رمان اجتماعی ایرانی به شمار می‌رود. 
اولین رمان اجتماعی ایرانی، تهران مخوف نام دارد.
Output (English): E