{
  "note": "Validity only: if the premises are true, the conclusion is. Nothing here says which premises are true.",
  "rawls_side": {
    "premises": [
      "N and G",
      "(N and G) -> M",
      "M -> W"
    ],
    "conclusion": "W",
    "symbols": {
      "N": "no basis for odds behind the veil",
      "G": "the choice is grave and cannot be repeated",
      "M": "the rational rule is maximin",
      "W": "choose the option whose worst position is best"
    },
    "valid": true,
    "assignments": 16,
    "counterexamples": []
  },
  "harsanyi_side": {
    "premises": [
      "N",
      "N -> E",
      "X",
      "(E and X) -> A"
    ],
    "conclusion": "A",
    "symbols": {
      "N": "no basis for odds behind the veil",
      "E": "treat every position as equally likely",
      "X": "a rational chooser maximizes expected utility",
      "A": "choose the option with the highest average"
    },
    "valid": true,
    "assignments": 16,
    "counterexamples": []
  },
  "veil_alone_entails_rawls_choice": false,
  "veil_alone_entails_harsanyi_choice": false,
  "demonstration": {
    "note": "Demonstration numbers set by Puzzles, Charts & Dilemmas, not the experiment's; five income classes of equal size.",
    "distributions": {
      "D1": [
        6,
        14,
        22,
        34,
        54
      ],
      "D2": [
        10,
        16,
        22,
        30,
        42
      ],
      "D3": [
        13,
        17,
        21,
        25,
        29
      ],
      "D4": [
        16,
        17,
        18,
        18,
        21
      ]
    },
    "floor_constraint": 10,
    "range_constraint": 20,
    "picks": {
      "maximize the floor": "D4",
      "maximize the average": "D1",
      "average with a floor constraint": "D2",
      "average with a range constraint": "D3"
    },
    "methods_agree": true
  }
}