{
  "type": "assumption",
  "node": {
    "id": 1,
    "value": "T ( ( B ∧ ¬ M ) → D )",
    "references": []
  },
  "child": {
    "type": "assumption",
    "node": {
      "id": 2,
      "value": "T ( D → ( B ∨ M ) )",
      "references": []
    },
    "child": {
      "type": "assumption",
      "node": {
        "id": 3,
        "value": "T ( B → ¬ D )",
        "references": []
      },
      "child": {
        "type": "assumption",
        "node": {
          "id": 4,
          "value": "T ( B ∨ ( M ∨ D ) )",
          "references": []
        },
        "child": {
          "type": "beta",
          "node": {
            "id": 5,
            "value": "F M",
            "references": []
          },
          "leftChild": {
            "type": "beta",
            "node": {
              "id": 6,
              "value": "F B",
              "references": [
                "3"
              ]
            },
            "leftChild": {
              "type": "closed",
              "node": {
                "id": 7,
                "value": "T B",
                "references": [
                  "4"
                ]
              },
              "closed": [
                "6",
                "7"
              ]
            },
            "rightChild": {
              "type": "beta",
              "node": {
                "id": 8,
                "value": "T ( M ∨ D )",
                "references": [
                  "4"
                ]
              },
              "leftChild": {
                "type": "closed",
                "node": {
                  "id": 9,
                  "value": "T M",
                  "references": [
                    "8"
                  ]
                },
                "closed": [
                  "5",
                  "9"
                ]
              },
              "rightChild": {
                "type": "beta",
                "node": {
                  "id": 10,
                  "value": "T D",
                  "references": [
                    "8"
                  ]
                },
                "leftChild": {
                  "type": "closed",
                  "node": {
                    "id": 11,
                    "value": "F D",
                    "references": [
                      "2"
                    ]
                  },
                  "closed": [
                    "10",
                    "11"
                  ]
                },
                "rightChild": {
                  "type": "beta",
                  "node": {
                    "id": 12,
                    "value": "T ( B ∨ M )",
                    "references": [
                      "2"
                    ]
                  },
                  "leftChild": {
                    "type": "closed",
                    "node": {
                      "id": 13,
                      "value": "T B",
                      "references": [
                        "12"
                      ]
                    },
                    "closed": [
                      "6",
                      "13"
                    ]
                  },
                  "rightChild": {
                    "type": "closed",
                    "node": {
                      "id": 14,
                      "value": "T M",
                      "references": [
                        "12"
                      ]
                    },
                    "closed": [
                      "5",
                      "14"
                    ]
                  }
                }
              }
            }
          },
          "rightChild": {
            "type": "alpha",
            "node": {
              "id": 15,
              "value": "T ¬ D",
              "references": [
                "3"
              ]
            },
            "child": {
              "type": "beta",
              "node": {
                "id": 16,
                "value": "F D",
                "references": [
                  "15"
                ]
              },
              "leftChild": {
                "type": "beta",
                "node": {
                  "id": 17,
                  "value": "F ( B ∧ ¬ M )",
                  "references": [
                    "1"
                  ]
                },
                "leftChild": {
                  "type": "beta",
                  "node": {
                    "id": 18,
                    "value": "F B",
                    "references": [
                      "17"
                    ]
                  },
                  "leftChild": {
                    "type": "closed",
                    "node": {
                      "id": 19,
                      "value": "T B",
                      "references": [
                        "4"
                      ]
                    },
                    "closed": [
                      "18",
                      "19"
                    ]
                  },
                  "rightChild": {
                    "type": "beta",
                    "node": {
                      "id": 20,
                      "value": "T (M\\/D)",
                      "references": [
                        "4"
                      ]
                    },
                    "leftChild": {
                      "type": "closed",
                      "node": {
                        "id": 21,
                        "value": "T M",
                        "references": [
                          "20"
                        ]
                      },
                      "closed": [
                        "21",
                        "5"
                      ]
                    },
                    "rightChild": {
                      "type": "closed",
                      "node": {
                        "id": 22,
                        "value": "T D",
                        "references": [
                          "20"
                        ]
                      },
                      "closed": [
                        "22",
                        "16"
                      ]
                    }
                  }
                },
                "rightChild": {
                  "type": "alpha",
                  "node": {
                    "id": 23,
                    "value": "F ¬ M",
                    "references": [
                      "17"
                    ]
                  },
                  "child": {
                    "type": "closed",
                    "node": {
                      "id": 24,
                      "value": "T M",
                      "references": [
                        "23"
                      ]
                    },
                    "closed": [
                      "5",
                      "24"
                    ]
                  }
                }
              },
              "rightChild": {
                "type": "closed",
                "node": {
                  "id": 25,
                  "value": "T D",
                  "references": [
                    "1"
                  ]
                },
                "closed": [
                  "16",
                  "25"
                ]
              }
            }
          }
        }
      }
    }
  },
  "config": "Basic propositional"
}