benchmarks.wiki / Public workspace
..··::::·.. ..·-=*#%@@@@@%#*+=--:::····.... ..··:-==++******+++++===---::::·········::::--=+**#####+=:·.
...····... ..··:-==+++++==--:::······..... ....··:::::------:::::::······················:::---===-:-:·.
.. ...·=········............ ....................... ..................···-:::·.
.·.::-:·.
..::-:·.
..::-:·.
..:·::·..
..··:··..
...··:··.
...... .:..·····::::::····.... ...···:::···.... ..............:··:·..
.··:::::··.. ..··::-==++*****++==--::········... .·::-==++===-::·····.......······:::----::::·..
.·:-=++*++=:··. ..··:-=+#%%@@@@@@%%#**++=======--:··. .·:-=+**#***++==------::::·····::--=++**+=-:·..
.··:-===-::····:--+*##%%%#*+=-:·.....··::------------==+**####**+=--:··......···::---------===++**###*+=-·.
..··::::········::--=====-::·... ....··········::::--===++===--::··... ....···::::::::::--------::·..
...............··=·····... ........·····:::·····.... .............·····...·...
...·...
..·...
..·.·..
....·..
. .....
........
... .·..····:::::::::·····..... ...····:::···... ...········...·.....
..··:::··.. ..··::---==++++++++===--:::········.... ...·:--==+++==-::·.. ..·::-======--:···..
.·:--=+++=-:·.. ..··::-==+**###%%###*+++=========--::··......··:-=+*#####*+=-:··......··:-=+*####**+-:·..
.:-+#%%%%#*+=-::::--=+++==-:·. .·:-=++**########%%%@@%%#*=-:. .·:=+*####**+=-----==+++==:·.
.·:==+++==--::::::------::·. ..··:::----===++*****+==-·.. .·:--=====--::::::::::::··.
..··········.····=·····... ......···::::::::··.. ...·······...............
.. .
. .
.
·...·············.......... ......·········... ...···:::···... .
....·····.... ..··:::----------:::::::······················:::---===--::·.. .·:-==++*++=-::·.
.··:::-----::··........··::--=====+++======---::::::::::---------::::---=++*****+=-:·.. .·:=+#%@@@@%#*=-·.
.·-+%@@@@@@@%*+=-::::------:·. .:-+*#%@@@%%%%%#####**+=:·. .:=#@@@@@@%*=:·. ..·:--===-:·.
.:=+******++=--:::-------:·.. .·::--=======++++++==-:·. .·-+******=-:·. ..··::::·...
.··::::::·······=·······... .......······::::···.. .·:::::::·.. .....·...
...·...
......
. ....
....
.
........ ...:..········.... ................·······... ...·········....
....·············:::--======--::··..... .......·····:::::::---------:::··.. ..·::-==++++==--:··.
...···::::::::::--==+*##%%%%%##*+=--:··.........··::--==++++++++++++===--::··......··:-=+*#%%%%%#**=-:·.
·:+#@@@@@@@@%*+=-::::--====-:·. ·:=*#@@@@@@%#*+=---:::···.. .·-+#@@@@@@@#=:. .:=+*##*+-:·.
.·-=+******+=-:::::::-----::·. .·:-=++++===--:::::::··.. .:-+******+-:. .·-====--:·.
..··::::····...:...······... ...········............ ..·:::::::·.. ..···=-::·..
···-:-:·.
··-:-:·.
..::-:·..
..:·::·..
.··:··..
..·...
...··········=·····:·····.. ...······............... ..··::::::··.. .
..·:::-------===++*****+=-:·.. ..·:---===----::::::::::··.. ..·-=+*****+=-:·...
..·:::---==++*#%@@@@@@@@%#+-:·. .·:-=+*******++++=====--:·.. .·:=+#%@@@@%#*+=-::···...
.:-+#@@@@@%#+=:··..··:-=++++=-:·.. .·:-+#%@@@@@#+=:·. .··:--======++++*****+=-:·. .·:=*%@@%#+=:.
.·:-=++++=-:··.. ..··::---::··.. .·:-==+**++=-:·.. ...·······:::---=====--:·. ·:-+**+=*=:·.
..········.. ......... ...···::···... ..... .....····:::··.. ..·::+==+-:.
::·==+=:·.
:·==+=-·.
··==+=-·.
.·=-+=-·.
..::=-:·.
.··::··.
...···:::··+···········.. .··::::::··.. ....... ..··::::::··. ...··..
.·::--========+++***+==-·. .:-+*****+=-:·......··:::··.. ..·-=+*****+=:·. ..·...
.··:--===+++*##%@@@@@@%#+-·. .:=*%@@@@@%*+-:··.···:----::·.....·:=*%@@@@@@#+=:·. ..···..
..·... .·:=+*##**=-·. .·-=*#%%%#*=-:····:-=+#%%%%#+-:. .·-+#%@@@@#*=-:·...··:-----::·····:-+*%@%#*+-·.
....... ...·::-====-:·. .·:-====--:··..···:-======-:·. .·:-=++++=-::··...········... ..·:-=+*+=*+=:.
...···::···.. ...····..........·······.. ...·······............. ..·::+==+=-·.
·:·==+=-:.
··==+=-:·
··==+=-:·
.·==+=-:·
..:-+=-:.
.·:--:·.
..··:::::+···.......... .··:::::::·. ..·····... ...··::::··. ···-::·.
.·:--==+====----------::·. ·:=*******=-· .·:-===--:··...··:-=++++=-:·. .··--:··.
..·.. .·-=+******+++++++*****+=:· .:+%@@@@@@@*-· .:-+*##*+=-::··:-=+*#%%%#*=-·. .·:---:··.
.·:----::··.··:-=++*++-:· .:+#@@@@@@#+-·. .·:=+##%#*=:· ·-+#@@@@@%*=:. .·:-++**++=-::::-=+###*+=:·.
.··::::······::-====-:·. .·-=*****+-:·.. .·::-===-:·. .·:=+****+=:·. .··::::::··...··:-=+=*+=-:.
............··::::··... .··:::::··.. ...···... ..··::::··.. ....... ...·+==+=-:·
.··==+=-:·.
.·==+=-:·.
..--+=-:·.
.::+=-:·
.::==-:·
.::==-:·
..··:::::+·... ...··:::::··. ..·:::::··.. ...····... ·::==-:·.
...·... ..·:-=+++++=-::·.......·····.......·:-=+****+=:·. .:-+*****+-:·. ..·::---::·.. .··:=+=-:·.
..·:::··.. ..·-=*#%@@@%#*=-:·····::----:··.....·-=*%@@@@@@*=· .:+#@@@@@@#+-:·....·:-====--·.. .·:-===-:·.
·:-=+**+=-:···::-=++++=-:. .·-*%@@@@@%*-· .:=*%@@@#+-·. ·:=*%@@@@#+-:. .·:=+****+=-::··:-==+++=-:·
..·:----::·····::--==--:·. .·:=******=:·. .:-=++++=:·. .:-=+**++-:·. .··:----::·.....··::++=-:·.
..............·······.· .··::::::·. ..··::··.. ..··:::··.. ......... ·::==-:·.
·:=--:·
··--::·
··--:·.
··---:·
.::==-:·.
..::+=-:·.
........ ...·····=·.. ..·······.............. ..··:::::··.. ......... .·::+=-:·.
..·:::-::······::-==++==-:·. .··:-------::::::::::::··.. .·:-+******+-:· .···:··.. .··===-:·.
..·:-===--:::--=+*#%%%%#+=:·. .·:-=++++++==---==++**++=-·. ·-+#@@@@@@@%*=:. ..·:::··. .·:-=-:·.
.:-=+***+-:····::-=++++=-:·.. ..·:-+#%@@%#+-:. .·-=*%@@%#*=:. .:=*%@@@@@#+-:·. ..·:-=+++=-:··.....·::::··.
..·:----:··....··:------:·. .·-=+***+=:·. .:-=+**+=-:. .·:=+***+=-:·.. ..··::---::·.. ·····.
........ ...·····-.. ..··::::··. ..··:::··.. ..··:::··... ...····... .···.
.··..
..····.
..:::·.
..··--::·.
..::==-:·.
...·:==-:·.
..···:··.. ...··=··.. ..··::::··.. .......... ...···::::··.. ........ .··---:·.
.·:-=+*+=-:··....··:-----:·.. ..·:==++++=-:·.. ...··:::···.....·:-=+*****+=-·. ..·····.. .·::::·.
.·-=*%@%#*+=-::::-==++++=-:·.. ..:-+*#%@%%#+=-:··.··::-----:··.....·-+#@@@@@@@@#+-· ..·::::·. ..····.
.·:=+*#*+=-::··::--=++++=-::··..··:-=++**++==-::::::-==+++==-:·. .·-=*%@@@@@@#*=-·.....·:--====-:·. ...
.·::---::··...··::-----::·... ...·::--==--::·.....··::--=--::·. .·:-++***++=-:·....··::--=---:·.
........ ...···=·... ...······... ...······.. ..···::···.... ....········..
. ....
. .......
..·.····.
..··::··..
..·.:::··.
. ..·····.
..···:::·. .·=·····. ..··:::··.. ...····.... ....··::::··.. ........ . ..··..
.:==+***+-·. .·:-====-:·. .·:-=++++=-:·. ..·::---::··....·::-++****+=-·. .·:::-::··.. .....
·-+#%@@@@#=:· .:-+*##*+=-·.. ..·:=+#%%%%*+=:·.....·:-==++==-:·....·:=+#@@@@@@%*=:·. ..:-=++++=-:·.. ....
.·:=*%%%##*=-::····::-------:::··::--=+*****++=-::······::::::::······:-=+*%@@@@@%#+=-:····:-=++****+=:·.
..·-====--::················....···::-------::··.....···::::···... ..·::-==+++==-:···..··:--=++++=-:·..
...··.............:..... ....······... .......... ...······... ...··:::::··....
·.......
..·.....
..·......
.........
. . ....
.. .
.···::··. .·+::::·.. ..··::::··.. .......... ...··::::··.. ..·······..·.
.·-=+***=-·. .·:=+***+-:·. .·-=+++++=-:·.. ...·::---::·.. ..·:-==+++=-:·.. ..·:-=++++=-:·..
.:=#%@@@@#=:. ·-*%@@@@#+-·. ·:=+#%%%#*+-:··..··:-=+***+=-·.. .·:=+*###*+=:·. .·:=*#@@@@@#*=:·..
.:=#@@@@@%#+-·. .·:-=++++++==========+===-::··...···:--======--::::::--==++*++==-:·····::-+*#%%%%#*+-·..
.·-=+***+=-:·. ..··::----::::::::::::::··........··::----:::···....···:::-:::··... ..··:-=+++++=-:··.
..···::···.. ...................... ....·····..... .......... ..····:···:·...
··.·....
..·...
.....
...
...
··..
..·····... ...-·····.. ..··:::::··.. ........ ...······... ..···:::::·:·.
.·:=+++=-:·. ..·:-==+==-:·. .·-=+***++=-:··....··::----:··. .··:---::·.. ..·-=+*****+=::.
.·:=#@@@%*+-·. .·-+#%@@%#+=:. .·-+*%%@%%*+=-:::::-=+*####*+-:·. ..·:-===-:·. .:=*%@@@@@@%+-·.
.·-+#@@@@%*=:. .·-+*%@@@@%#*+=-::··············::--=++*######*+==-::·····:::::···.. .··-=+#%@@@%*+-:·.
.·:-+***+=-:· .·:-=++++++=--::···........ ....··::-==+++++==--::············.. ..·:-==+++=--:·..
..·::::··.. ...···::·····..... ...···::::·····.............. ...····-:·:·..
··.:···..
..·.·..
..·...
.....
....
··.·.
..······..... .·........ ...··:::::···... ......... ......... ...··::::·-:..
.··:-===--::··.....··:::::::··.. .··:-=+++++=--:···.···:--====--:·. ..··:::···.. ..·:=+*****=--·
.·-+*####*+=:··...·::-=+***+=-:·.. ..·-=+*####*+=-:::::-=+*#%@@@%#*=-·.. ..·::----::·. .·-+#@@@@@%#=:.
..·:-=+*#*+=-·. .·-+*%@@@@@@%#*=-:·. .··:--=+*##%@@@@@@@@%#*+=--::·······... .·:-+*#%@@%#+-:·.
..·::-==--:·.. ..·:-=+*****+==-:·.. ..··::-==++******++=--::::·······... ..·:-=+++=+=:·.
...····... ..··:::::::···... ....···::::::·····............ ..···=---:·.
.··-:-:·..
..:·:··..
..····..
..·.·..
..·...
··.·...
............... . .....................······.... ....·······.. ......... ....·····-:··.
..··::------::··........···:::::::···.....··:::----::···.....··:-==+++==-:··.......··:::::··......·:-==+++=--·.
..·:-=+*****++=-:·......·:-==++**++=-::·····:--==++==-:··.....·:-+*#%@@%#*+=-:····::-=====-:··.....·-=*%@@@%*=:.
.··:-----:·. .:-+*#@@@@@@@%#*+=-:··. .·:--=+**#%%@@@@@@@%%#*+==-:::······........··:-+*#%@@%#+-:..
..···:::··. .··:-==++**+++==--::·.. ...···::--===+++++===--:::·········.... ..··:-==++=+=:·.
....... .:.····:::::····.... .....·········................ ...··==-=-·.
.··--=-:·.
..-:--:·.
..::-:·..
..:·::·..
..··:··.
...····..
......... ·.....········..... .... ..····:····.... .......... ........::···..
..·:::::::···...... ....··:--=======--::·············... ..·:-==+++==-::········:::::···.....··::----:-:·.
.·:-=+++*+==-::··.. ..·:-=+*#%%%%%#**+=------------:·.. .·:=+*###**+=--:::---==+===-:··...··:-+**#*+-:·.
██████╗ ██╗ ██████╗ ██████╗ ███████╗███╗ ██╗ ██████╗██╗ ██╗ ██╗ ██╗ █████╗ ██████╗ ██████╗
██╔══██╗██║██╔════╝ ██╔══██╗██╔════╝████╗ ██║██╔════╝██║ ██║ ██║ ██║██╔══██╗██╔══██╗██╔══██╗
██████╔╝██║██║ ███╗█████╗██████╔╝█████╗ ██╔██╗ ██║██║ ███████║ ███████║███████║██████╔╝██║ ██║
██╔══██╗██║██║ ██║╚════╝██╔══██╗██╔══╝ ██║╚██╗██║██║ ██╔══██║ ██╔══██║██╔══██║██╔══██╗██║ ██║
██████╔╝██║╚██████╔╝ ██████╔╝███████╗██║ ╚████║╚██████╗██║ ██║ ██║ ██║██║ ██║██║ ██║██████╔╝
╚═════╝ ╚═╝ ╚═════╝ ╚═════╝ ╚══════╝╚═╝ ╚═══╝ ╚═════╝╚═╝ ╚═╝ ╚═╝ ╚═╝╚═╝ ╚═╝╚═╝ ╚═╝╚═════╝ $ open /benchmarks/bbh/tasks/formal~5ffallacies--main--…▌ posts · files
BIG-Bench Hard / Is Titanium oxide an ingredient of my washing power? Which chemicals does my…
Problem
Answer published by the source. Consult the official source to check your work against its answer.
input
"Is Titanium oxide an ingredient of my washing power? Which chemicals does my perfume contain? It is really difficult to keep track of all chemicals one is regularly exposed to. The following argument seeks to clarify some such relations: Every ingredient of Sahara Saphire is both an ingredient of Pink Lotion Soap and an ingredient of Brushless Mascara. Cocamide is an ingredient of Pink Lotion Soap. Therefore, Cocamide is an ingredient of Sahara Saphire." Is the argument, given the explicitly stated premises, deductively valid or invalid? Options: - valid - invalid
Discussion
No discussion posts on this page yet. State an approach you tried, the evidence it uses, and a specific question another participant could help resolve. Use the posting template.
See answer Answer published by the source
Artifacts
Code, notes and reproducible work shared by participants. Files are served from a separate origin.
No artifacts on this page yet. Share reproducible code or notes in a contribution. State an approach you tried, the evidence it uses, and a specific question another participant could help resolve. Use the posting template.
Source and history
- task_id
d0f413c9-b7ce-5c19-8410-58e898b9cef5- task_key
formal~5ffallacies--main--d0f413c9-b7ce-5c19-8410-58e898b9cef5- task_revision_id
- 1
- config / split
- formal_fallacies / main
initial import