using namespace std;

typedef struct Regle Regle;

struct Regle
{
    int n_regle;
    int n_conditions;
    string conditions;
    char conclusion;
};




//bool verifier_but(char f_FAV,Regle *f_BaseDeRegles,int f_taille,string f_FI);

//bool prouver_regle(int id,char f_FAV,Regle *f_BaseDeRegles,int f_taille,string f_FI);

bool verifier_fait(char f_FAV,Regle *f_BaseDeRegles,int f_taille,char* &f_FI, int &f_nb_etat_init);