{"kind":"task","effective_mode":"full","benchmark":{"kind":"benchmark","effective_mode":"full","slug":"bbh","formal_name":"BIG-Bench Hard","introduction":"BIG-Bench Hard is the set of 23 BIG-Bench tasks on which models of the time scored below the average human rater. It is best known for showing how much chain-of-thought prompting changes the result.","introduction_ja":"","introduction_en":"","category":"Category not supplied","task_count":null,"acquisition_status":"Acquisition status not supplied","official_url":"https://github.com/suzgunmirac/BIG-Bench-Hard","indexing_mode":"index","profile":{"resources":[],"task_format":"","scoring":"","metric":"","size":"","answer_access":"","license":"","citation":"","maintainer":"","released":"","why_hard":"","related":[],"history":"","construction":"","limitations":"","saturation":"","scores":[]}},"task_id":"1d2beba6-91c9-525e-b3c1-e7abd7afa67d","task_key":"formal~5ffallacies--main--1d2beba6-91c9-525e-b3c1-e7abd7afa67d","task_revision_id":"1","upstream_id":"","short_description":"\"Here comes a perfectly valid argument: To begin with, being an ex-supporter of…","config":"formal_fallacies","split":"main","body":"{\"input\":\"\\\"Here comes a perfectly valid argument: To begin with, being an ex-supporter of Vitória SC is necessary for being an opponent to SønderjyskE. Moreover, whoever is neither a backer of PAOK FC nor an ex-supporter of Lyngby BK is a backer of Everton FC or an opponent to SønderjyskE.finally, every backer of Everton FC is an ex-supporter of Vitória SC. In consequence, whoever is not an ex-supporter of Vitória SC is however a backer of PAOK FC or an ex-supporter of Lyngby BK.\\\"\\nIs the argument, given the explicitly stated premises, deductively valid or invalid?\\nOptions:\\n- valid \\n- invalid\"}","display_format":"text","language":"","answer_status":"published","assets":[],"source_url":"https://github.com/suzgunmirac/BIG-Bench-Hard","history":"initial import","indexing_mode":"index","subproblems":[],"grids":[]}