(* BR phylogénie *)
let br_phylo = {
  regles = [
    {
      num = 1;
      antecedents = [ {nom = "tete"; neg = 0}; {nom = "yeux"; neg = 0} ];
      consequent = {nom = "animal"; neg = 0};
      compteur = 0
    };
    {
      num = 2;
      antecedents = [ {nom = "queue"; neg = 0}; {nom = "squelette-interne"; neg = 0}; {nom = "animal"; neg = 0} ];
      consequent = {nom = "vertébré"; neg = 0};
      compteur = 0
    };
    {
      num = 3;
      antecedents = [ {nom = "4-membres"; neg = 0}; {nom = "poils"; neg = 0}; {nom = "vertébré"; neg = 0} ];
      consequent = {nom = "mammifère"; neg = 0};
      compteur = 0
    };
    {
      num = 4;
      antecedents = [ {nom = "nageoires"; neg = 0}; {nom = "vertébré"; neg = 0} ];
      consequent = {nom = "truite"; neg = 0};
      compteur = 0
    };
    {
      num = 5;
      antecedents = [ {nom = "mammifère"; neg = 0}; {nom = "trompe"; neg = 0} ];
      consequent = {nom = "éléphant"; neg = 0};
      compteur = 0
    };
    {
      num = 6;
      antecedents = [ {nom = "mammifère"; neg = 0}; {nom = "ailes"; neg = 0} ];
      consequent = {nom = "chauve-souris"; neg = 0};
      compteur = 0
    };
    {
      num = 7;
      antecedents = [ {nom = "mammifère"; neg = 0}; {nom = "pouce-opposable"; neg = 0} ];
      consequent = {nom = "humain"; neg = 0};
      compteur = 0
    };
    {
      num = 8;
      antecedents = [ {nom = "plumes"; neg = 0}; {nom = "bec"; neg = 0}; {nom = "vertébré"; neg = 0} ];
      consequent = {nom = "poule"; neg = 0};
      compteur = 0
    };
    {
      num = 9;
      antecedents = [ {nom = "plumes"; neg = 1}; {nom = "bec"; neg = 1}; {nom = "vertébré"; neg = 0} ];
      consequent = {nom = "lezard"; neg = 0};
      compteur = 0
    };
    {
      num = 10;
      antecedents = [ {nom = "coquille"; neg = 0}; {nom = "pied"; neg = 0}; {nom = "tentacule"; neg = 0} ];
      consequent = {nom = "escargot"; neg = 0};
      compteur = 0
    };
    {
      num = 11;
      antecedents = [ {nom = "antennes"; neg = 0}; {nom = "6-pattes"; neg = 0}; {nom = "ailes-membraneuses"; neg = 0}; {nom = "squelette-externe"; neg = 0} ];
      consequent = {nom = "insecte"; neg = 0};
      compteur = 0
    };
    {
      num = 12;
      antecedents = [ {nom = "elytre"; neg = 0}; {nom = "insecte"; neg = 0} ];
      consequent = {nom = "hanneton"; neg = 0};
      compteur = 0
    };
    {
      num = 13;
      antecedents = [ {nom = "elytre"; neg = 1}; {nom = "insecte"; neg = 0} ];
      consequent = {nom = "criquet"; neg = 0};
      compteur = 0
    };
    {
      num = 14;
      antecedents = [ {nom = "ecailles-soudees"; neg = 0}; {nom = "reptile"; neg = 0}];
      consequent = {nom = "lezard"; neg = 0};
      compteur = 0
    };
    {
      num = 15;
      antecedents = [ {nom = "coquille-pointue"; neg = 0}; {nom = "escargot"; neg = 0}; ];
      consequent = {nom = "limnée"; neg = 0};
      compteur = 0
    };
    {
      num = 16;
      antecedents = [ {nom = "mammifère"; neg = 0}; {nom = "grandes-oreilles"; neg = 0}; ];
      consequent = {nom = "lapin"; neg = 0};
      compteur = 0
    };
    {
      num = 17;
      antecedents = [ {nom = "elytre"; neg = 0}; {nom = "insecte"; neg = 0}; {nom = "phytophage"; neg = 0} ];
      consequent = {nom = "coccinelle"; neg = 0};
      compteur = 0
    };
    {
      num = 18;
      antecedents = [ {nom = "elytre"; neg = 0}; {nom = "coprophage"; neg = 0} ];
      consequent = {nom = "scarabé"; neg = 0};
      compteur = 0
    };
    {
      num = 19;
      antecedents = [ {nom = "animal"; neg = 0}; {nom = "tentacule"; neg = 0} ];
      consequent = {nom = "pieuvre"; neg = 0};
      compteur = 0
    };
  ]
}