{
  "facts": {
    "inherited_hypotheses_all_hold": true,
    "late_factor_auxiliary_only": true,
    "smoothing_common_for_our_pair": true,
    "dictionary_complete": true,
    "c4_direction_closed": true,
    "q_blind": true,
    "v1_C3_pass": true
  },
  "probes": {
    "theorem_refused_for_enumeration": true,
    "computation_without_an_exhibited_object_refused": true,
    "vacuous_absence_refused": true,
    "unmet_hypotheses_refused": true,
    "admissible_discharge_passes": true
  },
  "switches": {
    "unmeasured_to_pass_off": true,
    "closure_requires_all_on": true,
    "vacuous_absence_is_pass_off": true,
    "theorem_labels_excluded_when_an_object_is_demanded": true
  },
  "agrees": true
}