{"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":"13b2f19b-13a7-53eb-a5cf-01eee6e2b04d","task_key":"formal~5ffallacies--main--13b2f19b-13a7-53eb-a5cf-01eee6e2b04d","task_revision_id":"1","upstream_id":"","short_description":"\"Some football fans admire various clubs, others love only a single team. But…","config":"formal_fallacies","split":"main","body":"{\"input\":\"\\\"Some football fans admire various clubs, others love only a single team. But who is a fan of whom precisely? The following argument pertains to this question: First of all, some backer of BSC Young Boys is a critic of Trabzonspor AŞ and an expert of Bayer 04 Leverkusen. Next, being an ex-fan of NK Maribor is sufficient for being a critic of Trabzonspor AŞ. Plus,being an expert of Bayer 04 Leverkusen is necessary for being an ex-fan of NK Maribor. So, necessarily, there is somebody who is a backer of BSC Young Boys and an ex-fan of NK Maribor.\\\"\\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":[]}