benchmarks.wiki

benchmarks.wiki / Public workspace

BIG-Bench Extra Hard (BBEH) / A few players are playing a boardgame. The current state of the game is as…

Problem

Answer published by the source. Consult the official source to check your work against its answer.

input

A few players are playing a boardgame. The current state of the game is as follows. The dalmatian is watching a movie from 1969. And the rules of the game are as follows. Rule1: If something refuses to help the badger, then it wants to see the otter, too. Rule2: If the dalmatian is watching a movie that was released before the Internet was invented, then the dalmatian does not pay money to the peafowl. Rule3: If something does not pay money to the peafowl, then it unites with the seal. Rule4: If there is evidence that one animal, no matter which one, unites with the seal, then the mouse shouts at the ostrich undoubtedly. Rule5: The dinosaur refuses to help the badger whenever at least one animal dances with the ostrich. Rule6: If there is evidence that one animal, no matter which one, wants to see the otter, then the gorilla unites with the reindeer undoubtedly. Rule7: The dinosaur does not want to see the otter whenever at least one animal trades one of its pieces with the mermaid. Rule8: If the ostrich reveals something that is supposed to be a secret to the gorilla, then the gorilla is not going to unite with the reindeer. Rule1 is preferred over Rule7. Rule8 is preferred over Rule6. A rule is only applicable if all of its antecedents can be proved. If a rule is preferred over the other, it means whenever both of them can be applied to derive new conclusions and those conclusions contradict with each other (e.g., from one we derive X and from the other we derive not X), we should go with the conclusion from the rule with higher preference. Based on the facts, rules, and preferences, what is the truth value of the statement,  does the gorilla unite with the reindeer? Answer 'proved' if it can be proved, 'disproved' if it can be disproved, and 'unknown' if it can neither be proved nor disproved.

Discussion

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
dc36eab8-bf88-5aa7-9f12-7f72f2a9a84e
task_key
bbeh~5fboardgame~5fqa--full--dc36eab8-bf88-5aa7-9f12-7f72f2a9a84e
task_revision_id
1
config / split
bbeh_boardgame_qa / full

Official source

initial import