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 cobra reveals a secret to the songbird. The songbird brings an oil tank for the dachshund. The walrus does not surrender to the goose. And the rules of the game are as follows. Rule1: From observing that one animal surrenders to the chihuahua, one can conclude that it also hides her cards from the poodle, undoubtedly. Rule2: The badger unquestionably refuses to help the coyote, in the case where the swan tears down the castle of the badger. Rule3: If there is evidence that one animal, no matter which one, stops the victory of the coyote, then the cougar is not going to swim inside the pool located besides the house of the goose. Rule4: For the goose, if the belief is that the seal shouts at the goose and the cougar does not swim inside the pool located besides the house of the goose, then you can add "the goose manages to convince the swan" to your conclusions. Rule5: From observing that an animal neglects the bulldog, one can conclude the following: that animal does not hide the cards that she has from the poodle. Rule6: The goose unquestionably surrenders to the chihuahua, in the case where the walrus does not surrender to the goose. Rule7: The swan unquestionably tears down the castle of the badger, in the case where the goose does not manage to persuade the swan. Rule8: If something refuses to help the coyote, then it does not bring an oil tank for the reindeer. Rule9: If you are positive that you saw one of the animals brings an oil tank for the dachshund, you can be certain that it will also stop the victory of the coyote. Rule10: From observing that an animal hides her cards from the poodle, one can conclude the following: that animal does not manage to persuade the swan. Rule4 is preferred over Rule10. Rule5 is preferred over Rule1. 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 badger bring an oil tank for 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
9e99be72-d5cb-5103-b162-10cbd2cc9e4d
task_key
bbeh~5fboardgame~5fqa--full--9e99be72-d5cb-5103-b162-10cbd2cc9e4d
task_revision_id
1
config / split
bbeh_boardgame_qa / full

Official source

initial import