{
  "type": "assumption",
  "node": {
    "id": 1,
    "value": "T (mam(dazdnik, den) → ¬prsi(den))",
    "references": []
  },
  "child": {
    "type": "assumption",
    "node": {
      "id": 2,
      "value": "T (mokry(cesta, den) → (prsi(den) ∨ preslo(umyvacieAuto, cesta, den)))",
      "references": []
    },
    "child": {
      "type": "assumption",
      "node": {
        "id": 3,
        "value": "T (vikend(den) → ¬preslo(umyvacieAuto, cesta, den))",
        "references": []
      },
      "child": {
        "type": "assumption",
        "node": {
          "id": 4,
          "value": "T ((utorok(den) → idemElektrickou(den)) ∧ ((¬utorok(den) ∧ ¬vikend(den)) → ¬idemElektrickou(den)))",
          "references": []
        },
        "child": {
          "type": "assumption",
          "node": {
            "id": 5,
            "value": "T (idemElektrickou(den) → ¬mam(dazdnik, den))",
            "references": []
          },
          "child": {
            "type": "alpha",
            "node": {
              "id": 6,
              "value": "F ((mam(dazdnik, den) ∧ mokry(cesta, den)) → ¬vikend(den))",
              "references": []
            },
            "child": {
              "type": "alpha",
              "node": {
                "id": 7,
                "value": "T (utorok(den) → idemElektrickou(den))",
                "references": [
                  "4"
                ]
              },
              "child": {
                "type": "alpha",
                "node": {
                  "id": 8,
                  "value": "T  ((¬utorok(den) ∧ ¬vikend(den)) → ¬idemElektrickou(den))",
                  "references": [
                    "4"
                  ]
                },
                "child": {
                  "type": "alpha",
                  "node": {
                    "id": 9,
                    "value": "T (mam(dazdnik, den) ∧ mokry(cesta, den))",
                    "references": [
                      "6"
                    ]
                  },
                  "child": {
                    "type": "alpha",
                    "node": {
                      "id": 10,
                      "value": "F ¬vikend(den)",
                      "references": [
                        "6"
                      ]
                    },
                    "child": {
                      "type": "alpha",
                      "node": {
                        "id": 11,
                        "value": "T mam(dazdnik, den)",
                        "references": [
                          "9"
                        ]
                      },
                      "child": {
                        "type": "alpha",
                        "node": {
                          "id": 12,
                          "value": "T mokry(cesta, den)",
                          "references": [
                            "9"
                          ]
                        },
                        "child": {
                          "type": "beta",
                          "node": {
                            "id": 13,
                            "value": "T vikend(den)",
                            "references": [
                              "10"
                            ]
                          },
                          "leftChild": {
                            "type": "closed",
                            "node": {
                              "id": 14,
                              "value": "F mam(dazdnik, den)",
                              "references": [
                                "1"
                              ]
                            },
                            "closed": [
                              "11",
                              "14"
                            ]
                          },
                          "rightChild": {
                            "type": "alpha",
                            "node": {
                              "id": 15,
                              "value": "T ¬prsi(den)",
                              "references": [
                                "1"
                              ]
                            },
                            "child": {
                              "type": "beta",
                              "node": {
                                "id": 16,
                                "value": "F prsi(den)",
                                "references": [
                                  "15"
                                ]
                              },
                              "leftChild": {
                                "type": "closed",
                                "node": {
                                  "id": 17,
                                  "value": "F vikend(den)",
                                  "references": [
                                    "3"
                                  ]
                                },
                                "closed": [
                                  "13",
                                  "17"
                                ]
                              },
                              "rightChild": {
                                "type": "alpha",
                                "node": {
                                  "id": 18,
                                  "value": "T ¬preslo(umyvacieAuto, cesta, den)",
                                  "references": [
                                    "3"
                                  ]
                                },
                                "child": {
                                  "type": "beta",
                                  "node": {
                                    "id": 19,
                                    "value": "F preslo(umyvacieAuto, cesta, den)",
                                    "references": [
                                      "18"
                                    ]
                                  },
                                  "leftChild": {
                                    "type": "closed",
                                    "node": {
                                      "id": 20,
                                      "value": "F mokry(cesta, den)",
                                      "references": [
                                        "2"
                                      ]
                                    },
                                    "closed": [
                                      "20",
                                      "12"
                                    ]
                                  },
                                  "rightChild": {
                                    "type": "beta",
                                    "node": {
                                      "id": 21,
                                      "value": "T (prsi(den) ∨ preslo(umyvacieAuto, cesta, den))",
                                      "references": [
                                        "2"
                                      ]
                                    },
                                    "leftChild": {
                                      "type": "closed",
                                      "node": {
                                        "id": 22,
                                        "value": "T prsi(den)",
                                        "references": [
                                          "21"
                                        ]
                                      },
                                      "closed": [
                                        "16",
                                        "22"
                                      ]
                                    },
                                    "rightChild": {
                                      "type": "closed",
                                      "node": {
                                        "id": 23,
                                        "value": "T preslo(umyvacieAuto, cesta, den)",
                                        "references": [
                                          "21"
                                        ]
                                      },
                                      "closed": [
                                        "19",
                                        "23"
                                      ]
                                    }
                                  }
                                }
                              }
                            }
                          }
                        }
                      }
                    }
                  }
                }
              }
            }
          }
        }
      }
    }
  },
  "config": "Basic propositional"
}