{
  "patterns": [
    "(clause (head (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args (args variable))) (args (compound (functor \"b\") (args (args variable))))))))",
    "(clause (head (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args variable))))) (compound (functor \"mirrorBT\") (args variable)))",
    "(clause (head (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args (args (args variable))))))) (compound (functor \"mirrorBT\") (args variable)))",
    "(clause (head (compound (functor \"mirrorBT\") (args (args variable)))) (binop variable \"=\"))",
    "(clause (head (compound (functor \"mirrorBT\") (args (args (compound (functor \"b\") (args (args (args variable)))))))) (compound (functor \"mirrorBT\") (args (args variable))))",
    "(clause (head (compound (functor \"mirrorBT\") (args (args (compound (functor \"b\") (args variable)))))) (compound (functor \"mirrorBT\") (args (args variable))))",
    "(clause (head (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args (args variable)))))) (binop \"=\" (compound (functor \"b\") (args (args variable)))))",
    "(clause (head (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args (args (args variable)))) (args (compound (functor \"b\") (args variable)))))))",
    "(clause (head (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args variable)) (args (compound (functor \"b\") (args (args (args variable)))))))))",
    "(clause (compound (functor \"mirrorBT\") (args (args variable))) (binop \"=\" (compound (functor \"b\") (args (args (args variable))))))",
    "(clause (compound (functor \"mirrorBT\") (args (args variable))) (binop \"=\" (compound (functor \"b\") (args variable))))",
    "(clause (compound (functor \"mirrorBT\") (args (args variable))))",
    "(clause (head (compound (functor \"mirrorBT\") (args (args variable)))) (compound (functor \"mirrorBT\") (args (args variable))))",
    "(clause (head (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args (args (args variable))))))) (binop \"=\" (compound (functor \"b\") (args variable))))",
    "(clause (head (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args variable))))) (binop \"=\" (compound (functor \"b\") (args (args (args variable))))))",
    "(clause (head (compound (functor \"mirrorBT\") (args variable))) (binop variable \"=\"))",
    "(clause (head (compound (functor \"mirrorBT\") (args (args (compound (functor \"b\") (args (args (args variable)))))))) (compound (functor \"mirrorBT\") (args variable)))",
    "(clause (binop \"=\" (compound (functor \"b\") (args variable))) (compound (functor \"mirrorBT\") (args variable)))",
    "(clause (binop \"=\" (compound (functor \"b\") (args (args (args variable))))) (compound (functor \"mirrorBT\") (args variable)))",
    "(clause (head (compound (functor \"mirrorBT\") (args (args (compound (functor \"b\") (args variable)))))) (compound (functor \"mirrorBT\") (args variable)))",
    "(clause (head (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args (args (args variable))))))) (compound (functor \"mirrorBT\") (args (args variable))))",
    "(clause (head variable))",
    "(clause (head (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args variable))))) (compound (functor \"mirrorBT\") (args (args variable))))",
    "(clause (compound (functor \"mirrorBT\") (args variable)))",
    "(clause (binop \"=\" (compound (functor \"b\") (args variable))))",
    "(clause (binop variable \"=\"))",
    "(clause (binop \"=\" (compound (functor \"b\") (args (args variable)))) (binop \"=\" (compound (functor \"b\") (args (args variable)))))",
    "(clause (binop \"=\" (compound (functor \"b\") (args (args (args variable))))))",
    "(clause (compound (functor \"mirrorBT\") (args (args variable))) (compound (functor \"mirrorBT\") (args (args variable))))",
    "(clause (compound (functor \"var\") (args variable)))",
    "(clause (head (compound (functor \"mirrorBT\") (args variable (args variable)))))",
    "(clause (head (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args (args variable)))))))",
    "(clause (head (compound (functor \"mirrorBT\") (args (args variable)))))",
    "(clause (binop variable \"=\") (compound (functor \"mirrorBT\") (args (args variable))))",
    "(clause (binop \"=\" (compound (functor \"b\") (args (args (args variable))))) (compound (functor \"mirrorBT\") (args (args variable))))",
    "(clause (binop \"=\" (compound (functor \"b\") (args variable))) (compound (functor \"mirrorBT\") (args (args variable))))",
    "(clause (compound (functor \"mirrorBT\") (args (args variable))) (binop variable \"=\"))",
    "(clause (head (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args variable))))))",
    "(clause (binop \"=\" (compound (functor \"b\") (args (args variable)))))",
    "(clause (head (compound (functor \"mirrorBT\") (args (args (compound (functor \"b\") (args (args variable))))))))",
    "(clause (head (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args (args (args variable))))))) (binop variable \"=\"))",
    "(clause (head (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args variable))))) (binop variable \"=\"))",
    "(clause (head (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args variable)) (args (compound (functor \"b\") (args variable)))))))",
    "(clause (head (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args variable (args (args variable))))))))",
    "(clause (head (compound (functor \"mirrorBT\") (args (args (compound (functor \"b\") (args (args (args variable)))))))) (binop \"=\" variable))",
    "(clause (compound (functor \"mirrorBT\") (args variable)) (binop \"=\" (compound (functor \"b\") (args variable))))",
    "(clause (head (compound (functor \"mirrorBT\") (args (args (compound (functor \"b\") (args variable)))))) (binop \"=\" variable))",
    "(clause (head (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args variable))))) (compound (functor \"mirror\") (args variable)))",
    "(clause (compound (functor \"mirrorBT\") (args variable)) (binop \"=\" (compound (functor \"b\") (args (args (args variable))))))",
    "(clause (binop variable \"=\") (compound (functor \"mirrorBT\") (args variable)))",
    "(clause (head (compound (functor \"mirrorBT\") (args \"[]\"))))",
    "(clause (head (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args (args (args variable))))))) (compound (functor \"mirror\") (args variable)))",
    "(clause (binop \"=\" (compound (functor \"b\") (args (args (args variable))))) (binop \"=\" (compound (functor \"b\") (args variable))))",
    "(clause (head (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args (args (args variable)))) (args (compound (functor \"b\") (args (args (args variable)))))))))",
    "(clause (binop \"=\" (compound (functor \"b\") (args variable))) (binop \"=\" (compound (functor \"b\") (args (args (args variable))))))",
    "(clause (head (compound (functor \"mirrorBT\") (args (args (compound (functor \"b\") (args (args variable))))))) (compound (functor \"mirrorBT\") (args (args (compound (functor \"b\") (args (args variable)))))))",
    "(clause (head (compound (functor \"mirrorBT\") (args (args (compound (functor \"b\") (args variable (args (args variable)))))))))",
    "(clause (head (compound (functor \"mirrorBT\") (args (args (compound (functor \"b\") (args (args variable))))))) (binop \"=\" (compound (functor \"b\") (args (args variable)))))",
    "(clause (head (compound (functor \"mirrorBT\") (args (args (compound (functor \"b\") (args (args (args variable)))))))) (compound (functor \"mirrorBT\") (args (args (compound (functor \"b\") (args (args (args variable))))))))",
    "(clause (head (compound (functor \"mirrorBT\") (args (args (compound (functor \"b\") (args variable)))))) (compound (functor \"mirrorBT\") (args (args (compound (functor \"b\") (args variable))))))",
    "(clause (head (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args (args variable))) (args variable)))))",
    "(clause (head (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args (args (args variable))))))) (compound (functor \"var\") (args variable)))",
    "(clause (head (compound (functor \"mirrorBT\") (args (args (compound (functor \"b\") (args (args (args variable)))))))))",
    "(clause (head (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args variable))))) (compound (functor \"var\") (args variable)))",
    "(clause (head (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args (args (args variable))))))))",
    "(clause (head (compound (functor \"mirrorBT\") (args (args variable)))) (binop variable \"is\"))",
    "(clause (head (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args (args variable)))))) (binop \"=\" variable))",
    "(clause (compound (functor \"mirror\") (args (args variable))) (binop \"=\" (compound (functor \"b\") (args variable))))",
    "(clause (binop \"=\" variable) (compound (functor \"mirrorBT\") (args (args variable))))",
    "(clause (head (compound (functor \"mirrorBT\") (args (args \"[]\")))))",
    "(clause (head (compound (functor \"mirrorBT\") (args (args (compound (functor \"b\") (args (args variable))))))) (binop variable \"=\"))",
    "(clause (head (compound (functor \"mirrorBT\") (args (args (compound (functor \"b\") (args variable)))))) (binop variable \"=\"))",
    "(clause (compound (functor \"var\") (args variable)) (compound (functor \"mirrorBT\") (args variable)))",
    "(clause (head (compound (functor \"mirrorBT\") (args \"[]\" (args \"[]\")))))",
    "(clause (head (compound (functor \"mirrorBT\") (args (args (compound (functor \"b\") (args (args (args variable)))))))) (binop variable \"=\"))",
    "(clause (compound (functor \"mirror\") (args (args variable))) (binop \"=\" (compound (functor \"b\") (args (args (args variable))))))",
    "(clause (head (compound (functor \"mirrorBT\") (args (args (compound (functor \"b\") (args variable)))))))",
    "(clause (binop (compound (functor \"depthBT\") (args variable)) \"=\" \"1\"))",
    "(clause (compound (functor \"mirrorBT\") (args variable)) (binop \"=\" variable))",
    "(clause (head (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args (args variable)))))) (binop \"is\" (compound (functor \"b\") (args (args variable)))))",
    "(clause (head (compound (functor \"mirrorBt\") (args (args \"0\")))))",
    "(clause (head (compound (functor \"mirrotBT\") (args (compound (functor \"b\") (args variable))))) (compound (functor \"mirrorBT\") (args variable)))",
    "(clause (compound (functor \"mirrorBT\") (args (args variable))) (binop \"=\" variable))",
    "(clause (binop \"=\" \"1\"))",
    "(clause (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args (args (args variable)))) (args (compound (functor \"b\") (args variable))))))",
    "(clause (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args variable)) (args (compound (functor \"b\") (args (args (args variable))))))))",
    "(clause (compound (functor \"depthBT\") (args variable)))",
    "(clause (head (compound (functor \"mirrorBT\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))",
    "(clause (compound (functor \"mirrorBT\") (args (args variable))) (compound (functor \"conc\") (args (args (list (t variable))))))",
    "(clause (head (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args (args (args variable))))))) (compound (functor \"mirrorBT\") (args (args (compound (functor \"b\") (args (args variable)))))))",
    "(clause (head (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args (args variable)))))) (compound (functor \"conc\") (args (args (list (h variable))))))",
    "(clause (head (compound (functor \"mirrorBT\") (args variable))))",
    "(clause (head (compound (functor \"mirrorBT\") (args (args variable)))) (binop \"=\" variable))",
    "(clause (head (compound (functor \"mirrotBT\") (args (args (compound (functor \"b\") (args variable)))))) (compound (functor \"mirrorBT\") (args (args variable))))",
    "(clause (head (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args (args (args (compound (functor \"b\") (args (args variable))))))) (args (compound (functor \"b\") (args (compound (functor \"b\") (args (args variable))))))))))",
    "(clause (head (compound (functor \"mirrorBT\") (args (args (compound (functor \"b\") (args variable)))))) (compound (functor \"mirrorBT\") (args (args (compound (functor \"b\") (args (args variable)))))))"
  ],
  "rules": [
    {
      "class": false,
      "condition": [
        "(clause (compound (functor \"mirrorBT\") (args (args variable))))"
      ],
      "distribution": [
        48,
        0
      ],
      "quality": 0.9654913037362992
    },
    {
      "class": false,
      "condition": [
        "(clause (head (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args (args (args variable))))))) (binop \"=\" (compound (functor \"b\") (args variable))))"
      ],
      "distribution": [
        47,
        0
      ],
      "quality": 0.9646532649442093
    },
    {
      "class": false,
      "condition": [
        "(clause (head (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args variable)) (args (compound (functor \"b\") (args (args (args variable)))))))))"
      ],
      "distribution": [
        136,
        4
      ],
      "quality": 0.9567501799346745
    },
    {
      "class": false,
      "condition": [
        "(clause (head (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args (args (args variable)))) (args (compound (functor \"b\") (args variable)))))))"
      ],
      "distribution": [
        134,
        4
      ],
      "quality": 0.9560559589329861
    },
    {
      "class": false,
      "condition": [
        "(clause (head (compound (functor \"mirrorBT\") (args (args variable)))) (compound (functor \"mirrorBT\") (args (args variable))))"
      ],
      "distribution": [
        28,
        0
      ],
      "quality": 0.9349190623536209
    },
    {
      "class": false,
      "condition": [
        "(clause (binop \"=\" (compound (functor \"b\") (args variable))))"
      ],
      "distribution": [
        26,
        0
      ],
      "quality": 0.9289235930419703
    },
    {
      "class": false,
      "condition": [
        "(clause (compound (functor \"mirrorBT\") (args variable)))"
      ],
      "distribution": [
        23,
        0
      ],
      "quality": 0.9196076551396587
    },
    {
      "class": false,
      "condition": [
        "(clause (head (compound (functor \"mirrorBT\") (args (args variable)))))"
      ],
      "distribution": [
        22,
        0
      ],
      "quality": 0.9150210312301716
    },
    {
      "class": false,
      "condition": [
        "(clause (head (compound (functor \"mirrorBT\") (args variable (args variable)))))"
      ],
      "distribution": [
        20,
        0
      ],
      "quality": 0.904848113180471
    },
    {
      "class": false,
      "condition": [
        "(clause (head (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args (args variable)))))))"
      ],
      "distribution": [
        17,
        0
      ],
      "quality": 0.8839111544291791
    },
    {
      "class": false,
      "condition": [
        "(clause (head (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args variable))))))"
      ],
      "distribution": [
        16,
        0
      ],
      "quality": 0.8749968452423105
    },
    {
      "class": false,
      "condition": [
        "(clause (head (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args (args (args variable))))))) (binop variable \"=\"))"
      ],
      "distribution": [
        15,
        0
      ],
      "quality": 0.8670760925419618
    },
    {
      "class": false,
      "condition": [
        "(clause (binop \"=\" (compound (functor \"b\") (args (args variable)))))"
      ],
      "distribution": [
        15,
        0
      ],
      "quality": 0.8670760925419618
    },
    {
      "class": false,
      "condition": [
        "(clause (head (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args variable (args (args variable))))))))"
      ],
      "distribution": [
        14,
        0
      ],
      "quality": 0.8547590265925697
    },
    {
      "class": false,
      "condition": [
        "(clause (head variable))"
      ],
      "distribution": [
        14,
        0
      ],
      "quality": 0.8547590265925697
    },
    {
      "class": false,
      "condition": [
        "(clause (head (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args variable)) (args (compound (functor \"b\") (args variable)))))))"
      ],
      "distribution": [
        13,
        0
      ],
      "quality": 0.8445220449617675
    },
    {
      "class": false,
      "condition": [
        "(clause (compound (functor \"mirrorBT\") (args variable)) (binop \"=\" (compound (functor \"b\") (args variable))))"
      ],
      "distribution": [
        13,
        0
      ],
      "quality": 0.8445220449617675
    },
    {
      "class": false,
      "condition": [
        "(clause (head (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args variable))))) (compound (functor \"mirror\") (args variable)))"
      ],
      "distribution": [
        12,
        0
      ],
      "quality": 0.8341617279977557
    }
  ]
}