6931 lines
176 KiB
Plaintext
Executable File
6931 lines
176 KiB
Plaintext
Executable File
;
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CALCUL_NOMBRE_JOURNEE
|
|
|
|
SUBSTITUTION : (D) par d4
|
|
(NB) par 5
|
|
|
|
FAITS DEDUITS :
|
|
|
|
d4 NB_JOURNEE 5
|
|
|
|
----------------------------------------- INFERENCE : 1 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CALCUL_NOMBRE_JOURNEE
|
|
|
|
SUBSTITUTION : (D) par d3
|
|
(NB) par 5
|
|
|
|
FAITS DEDUITS :
|
|
|
|
d3 NB_JOURNEE 5
|
|
|
|
----------------------------------------- INFERENCE : 2 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CALCUL_NOMBRE_JOURNEE
|
|
|
|
SUBSTITUTION : (D) par d2
|
|
(NB) par 5
|
|
|
|
FAITS DEDUITS :
|
|
|
|
d2 NB_JOURNEE 5
|
|
|
|
----------------------------------------- INFERENCE : 3 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CALCUL_NOMBRE_JOURNEE
|
|
|
|
SUBSTITUTION : (D) par d1
|
|
(NB) par 5
|
|
|
|
FAITS DEDUITS :
|
|
|
|
d1 NB_JOURNEE 5
|
|
|
|
----------------------------------------- INFERENCE : 4 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CALCUL_NOMBRE_JOURNEE
|
|
|
|
SUBSTITUTION : (D) par d0
|
|
(NB) par 5
|
|
|
|
FAITS DEDUITS :
|
|
|
|
d0 NB_JOURNEE 5
|
|
|
|
----------------------------------------- INFERENCE : 5 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CREER_MATCH
|
|
|
|
SUBSTITUTION : (E1) par LEPROVOST
|
|
(D) par d4
|
|
|
|
FAITS DEDUITS :
|
|
|
|
LEPROVOST JOUE_MATCH MASSON
|
|
LEPROVOST JOUE_MATCH BELLEC
|
|
LEPROVOST JOUE_MATCH BOUESSEL
|
|
LEPROVOST JOUE_MATCH GUEGUENIAT
|
|
|
|
----------------------------------------- INFERENCE : 6 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CREER_MATCH
|
|
|
|
SUBSTITUTION : (E1) par GUEGUENIAT
|
|
(D) par d4
|
|
|
|
FAITS DEDUITS :
|
|
|
|
GUEGUENIAT JOUE_MATCH MASSON
|
|
GUEGUENIAT JOUE_MATCH BELLEC
|
|
GUEGUENIAT JOUE_MATCH BOUESSEL
|
|
|
|
----------------------------------------- INFERENCE : 7 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CREER_MATCH
|
|
|
|
SUBSTITUTION : (E1) par BOUESSEL
|
|
(D) par d4
|
|
|
|
FAITS DEDUITS :
|
|
|
|
BOUESSEL JOUE_MATCH MASSON
|
|
BOUESSEL JOUE_MATCH BELLEC
|
|
|
|
----------------------------------------- INFERENCE : 8 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CREER_MATCH
|
|
|
|
SUBSTITUTION : (E1) par BELLEC
|
|
(D) par d4
|
|
|
|
FAITS DEDUITS :
|
|
|
|
BELLEC JOUE_MATCH MASSON
|
|
|
|
----------------------------------------- INFERENCE : 9 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CREER_MATCH
|
|
|
|
SUBSTITUTION : (E1) par LEFEVRE
|
|
(D) par d3
|
|
|
|
FAITS DEDUITS :
|
|
|
|
LEFEVRE JOUE_MATCH LESTIC
|
|
LEFEVRE JOUE_MATCH MASSON
|
|
LEFEVRE JOUE_MATCH VANDENBOSSCHE
|
|
LEFEVRE JOUE_MATCH SAUVAN
|
|
|
|
----------------------------------------- INFERENCE : 10 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CREER_MATCH
|
|
|
|
SUBSTITUTION : (E1) par SAUVAN
|
|
(D) par d3
|
|
|
|
FAITS DEDUITS :
|
|
|
|
SAUVAN JOUE_MATCH LESTIC
|
|
SAUVAN JOUE_MATCH MASSON
|
|
SAUVAN JOUE_MATCH VANDENBOSSCHE
|
|
|
|
----------------------------------------- INFERENCE : 11 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CREER_MATCH
|
|
|
|
SUBSTITUTION : (E1) par VANDENBOSSCHE
|
|
(D) par d3
|
|
|
|
FAITS DEDUITS :
|
|
|
|
VANDENBOSSCHE JOUE_MATCH LESTIC
|
|
VANDENBOSSCHE JOUE_MATCH MASSON
|
|
|
|
----------------------------------------- INFERENCE : 12 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CREER_MATCH
|
|
|
|
SUBSTITUTION : (E1) par MASSON
|
|
(D) par d4
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 13 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CREER_MATCH
|
|
|
|
SUBSTITUTION : (E1) par MASSON
|
|
(D) par d3
|
|
|
|
FAITS DEDUITS :
|
|
|
|
MASSON JOUE_MATCH LESTIC
|
|
|
|
----------------------------------------- INFERENCE : 14 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CREER_MATCH
|
|
|
|
SUBSTITUTION : (E1) par LESTIC
|
|
(D) par d3
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 15 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CREER_MATCH
|
|
|
|
SUBSTITUTION : (E1) par PEZRON
|
|
(D) par d2
|
|
|
|
FAITS DEDUITS :
|
|
|
|
PEZRON JOUE_MATCH FROMAGEAU
|
|
PEZRON JOUE_MATCH BOZEC
|
|
PEZRON JOUE_MATCH CADORET
|
|
PEZRON JOUE_MATCH LEMOINE
|
|
|
|
----------------------------------------- INFERENCE : 16 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CREER_MATCH
|
|
|
|
SUBSTITUTION : (E1) par LEMOINE
|
|
(D) par d2
|
|
|
|
FAITS DEDUITS :
|
|
|
|
LEMOINE JOUE_MATCH FROMAGEAU
|
|
LEMOINE JOUE_MATCH BOZEC
|
|
LEMOINE JOUE_MATCH CADORET
|
|
|
|
----------------------------------------- INFERENCE : 17 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CREER_MATCH
|
|
|
|
SUBSTITUTION : (E1) par CADORET
|
|
(D) par d2
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CADORET JOUE_MATCH FROMAGEAU
|
|
CADORET JOUE_MATCH BOZEC
|
|
|
|
----------------------------------------- INFERENCE : 18 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CREER_MATCH
|
|
|
|
SUBSTITUTION : (E1) par BOZEC
|
|
(D) par d2
|
|
|
|
FAITS DEDUITS :
|
|
|
|
BOZEC JOUE_MATCH FROMAGEAU
|
|
|
|
----------------------------------------- INFERENCE : 19 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CREER_MATCH
|
|
|
|
SUBSTITUTION : (E1) par CLOITRE
|
|
(D) par d1
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CLOITRE JOUE_MATCH CHAREAU
|
|
CLOITRE JOUE_MATCH TRILLING
|
|
CLOITRE JOUE_MATCH PUJOL
|
|
CLOITRE JOUE_MATCH CALVARIN
|
|
|
|
----------------------------------------- INFERENCE : 20 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CREER_MATCH
|
|
|
|
SUBSTITUTION : (E1) par CALVARIN
|
|
(D) par d1
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CALVARIN JOUE_MATCH CHAREAU
|
|
CALVARIN JOUE_MATCH TRILLING
|
|
CALVARIN JOUE_MATCH PUJOL
|
|
|
|
----------------------------------------- INFERENCE : 21 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CREER_MATCH
|
|
|
|
SUBSTITUTION : (E1) par PUJOL
|
|
(D) par d1
|
|
|
|
FAITS DEDUITS :
|
|
|
|
PUJOL JOUE_MATCH CHAREAU
|
|
PUJOL JOUE_MATCH TRILLING
|
|
|
|
----------------------------------------- INFERENCE : 22 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CREER_MATCH
|
|
|
|
SUBSTITUTION : (E1) par TRILLING
|
|
(D) par d1
|
|
|
|
FAITS DEDUITS :
|
|
|
|
TRILLING JOUE_MATCH CHAREAU
|
|
|
|
----------------------------------------- INFERENCE : 23 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CREER_MATCH
|
|
|
|
SUBSTITUTION : (E1) par CHAREAU
|
|
(D) par d1
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 24 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CREER_MATCH
|
|
|
|
SUBSTITUTION : (E1) par PETETIN
|
|
(D) par d0
|
|
|
|
FAITS DEDUITS :
|
|
|
|
PETETIN JOUE_MATCH FROMAGEAU
|
|
PETETIN JOUE_MATCH BRIEND
|
|
PETETIN JOUE_MATCH CALABRESE
|
|
PETETIN JOUE_MATCH LEMIERE
|
|
|
|
----------------------------------------- INFERENCE : 25 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CREER_MATCH
|
|
|
|
SUBSTITUTION : (E1) par LEMIERE
|
|
(D) par d0
|
|
|
|
FAITS DEDUITS :
|
|
|
|
LEMIERE JOUE_MATCH FROMAGEAU
|
|
LEMIERE JOUE_MATCH BRIEND
|
|
LEMIERE JOUE_MATCH CALABRESE
|
|
|
|
----------------------------------------- INFERENCE : 26 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CREER_MATCH
|
|
|
|
SUBSTITUTION : (E1) par CALABRESE
|
|
(D) par d0
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CALABRESE JOUE_MATCH FROMAGEAU
|
|
CALABRESE JOUE_MATCH BRIEND
|
|
|
|
----------------------------------------- INFERENCE : 27 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CREER_MATCH
|
|
|
|
SUBSTITUTION : (E1) par BRIEND
|
|
(D) par d0
|
|
|
|
FAITS DEDUITS :
|
|
|
|
BRIEND JOUE_MATCH FROMAGEAU
|
|
|
|
----------------------------------------- INFERENCE : 28 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CREER_MATCH
|
|
|
|
SUBSTITUTION : (E1) par FROMAGEAU
|
|
(D) par d2
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 29 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CREER_MATCH
|
|
|
|
SUBSTITUTION : (E1) par FROMAGEAU
|
|
(D) par d0
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 30 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CALCUL_JOURNEE
|
|
|
|
SUBSTITUTION : (E2) par GUEGUENIAT
|
|
(E1) par LEPROVOST
|
|
(D) par d4
|
|
(J_ALLER) par 1
|
|
(NB_JOUR) par 5
|
|
|
|
FAITS DEDUITS :
|
|
|
|
GUEGUENIAT JOUE_CONTRE LEPROVOST
|
|
LEPROVOST JOUE_CONTRE GUEGUENIAT
|
|
REPETITION' 0
|
|
MATCHS JOURNEE 6
|
|
MATCHS JOURNEE 1
|
|
GUEGUENIAT JOUE_JOURNEE 1
|
|
LEPROVOST JOUE_JOURNEE 1
|
|
(GUEGUENIAT JOUE_CONTRE LEPROVOST) JOURNEE 6
|
|
(LEPROVOST JOUE_CONTRE GUEGUENIAT) JOURNEE 1
|
|
LEPROVOST JOUE_MATCH GUEGUENIAT ' INEXISTANT
|
|
|
|
----------------------------------------- INFERENCE : 31 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CALCUL_JOURNEE
|
|
|
|
SUBSTITUTION : (E2) par BELLEC
|
|
(E1) par BOUESSEL
|
|
(D) par d4
|
|
(J_ALLER) par 1
|
|
(NB_JOUR) par 5
|
|
|
|
FAITS DEDUITS :
|
|
|
|
BELLEC JOUE_CONTRE BOUESSEL
|
|
BOUESSEL JOUE_CONTRE BELLEC
|
|
REPETITION' 0
|
|
MATCHS JOURNEE 6
|
|
MATCHS JOURNEE 1
|
|
BELLEC JOUE_JOURNEE 1
|
|
BOUESSEL JOUE_JOURNEE 1
|
|
(BELLEC JOUE_CONTRE BOUESSEL) JOURNEE 6
|
|
(BOUESSEL JOUE_CONTRE BELLEC) JOURNEE 1
|
|
BOUESSEL JOUE_MATCH BELLEC ' INEXISTANT
|
|
|
|
----------------------------------------- INFERENCE : 32 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CALCUL_JOURNEE
|
|
|
|
SUBSTITUTION : (E2) par LESTIC
|
|
(E1) par MASSON
|
|
(D) par d4
|
|
(J_ALLER) par 1
|
|
(NB_JOUR) par 5
|
|
|
|
FAITS DEDUITS :
|
|
|
|
LESTIC JOUE_CONTRE MASSON
|
|
MASSON JOUE_CONTRE LESTIC
|
|
REPETITION' 0
|
|
MATCHS JOURNEE 6
|
|
MATCHS JOURNEE 1
|
|
LESTIC JOUE_JOURNEE 1
|
|
MASSON JOUE_JOURNEE 1
|
|
(LESTIC JOUE_CONTRE MASSON) JOURNEE 6
|
|
(MASSON JOUE_CONTRE LESTIC) JOURNEE 1
|
|
MASSON JOUE_MATCH LESTIC ' INEXISTANT
|
|
|
|
----------------------------------------- INFERENCE : 33 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CALCUL_JOURNEE
|
|
|
|
SUBSTITUTION : (E2) par SAUVAN
|
|
(E1) par LEFEVRE
|
|
(D) par d3
|
|
(J_ALLER) par 1
|
|
(NB_JOUR) par 5
|
|
|
|
FAITS DEDUITS :
|
|
|
|
SAUVAN JOUE_CONTRE LEFEVRE
|
|
LEFEVRE JOUE_CONTRE SAUVAN
|
|
REPETITION' 0
|
|
MATCHS JOURNEE 6
|
|
MATCHS JOURNEE 1
|
|
SAUVAN JOUE_JOURNEE 1
|
|
LEFEVRE JOUE_JOURNEE 1
|
|
(SAUVAN JOUE_CONTRE LEFEVRE) JOURNEE 6
|
|
(LEFEVRE JOUE_CONTRE SAUVAN) JOURNEE 1
|
|
LEFEVRE JOUE_MATCH SAUVAN ' INEXISTANT
|
|
|
|
----------------------------------------- INFERENCE : 34 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CALCUL_JOURNEE
|
|
|
|
SUBSTITUTION : (E2) par LEMOINE
|
|
(E1) par PEZRON
|
|
(D) par d2
|
|
(J_ALLER) par 1
|
|
(NB_JOUR) par 5
|
|
|
|
FAITS DEDUITS :
|
|
|
|
LEMOINE JOUE_CONTRE PEZRON
|
|
PEZRON JOUE_CONTRE LEMOINE
|
|
REPETITION' 0
|
|
MATCHS JOURNEE 6
|
|
MATCHS JOURNEE 1
|
|
LEMOINE JOUE_JOURNEE 1
|
|
PEZRON JOUE_JOURNEE 1
|
|
(LEMOINE JOUE_CONTRE PEZRON) JOURNEE 6
|
|
(PEZRON JOUE_CONTRE LEMOINE) JOURNEE 1
|
|
PEZRON JOUE_MATCH LEMOINE ' INEXISTANT
|
|
|
|
----------------------------------------- INFERENCE : 35 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CALCUL_JOURNEE
|
|
|
|
SUBSTITUTION : (E2) par BOZEC
|
|
(E1) par CADORET
|
|
(D) par d2
|
|
(J_ALLER) par 1
|
|
(NB_JOUR) par 5
|
|
|
|
FAITS DEDUITS :
|
|
|
|
BOZEC JOUE_CONTRE CADORET
|
|
CADORET JOUE_CONTRE BOZEC
|
|
REPETITION' 0
|
|
MATCHS JOURNEE 6
|
|
MATCHS JOURNEE 1
|
|
BOZEC JOUE_JOURNEE 1
|
|
CADORET JOUE_JOURNEE 1
|
|
(BOZEC JOUE_CONTRE CADORET) JOURNEE 6
|
|
(CADORET JOUE_CONTRE BOZEC) JOURNEE 1
|
|
CADORET JOUE_MATCH BOZEC ' INEXISTANT
|
|
|
|
----------------------------------------- INFERENCE : 36 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CALCUL_JOURNEE
|
|
|
|
SUBSTITUTION : (E2) par CALVARIN
|
|
(E1) par CLOITRE
|
|
(D) par d1
|
|
(J_ALLER) par 1
|
|
(NB_JOUR) par 5
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CALVARIN JOUE_CONTRE CLOITRE
|
|
CLOITRE JOUE_CONTRE CALVARIN
|
|
REPETITION' 0
|
|
MATCHS JOURNEE 6
|
|
MATCHS JOURNEE 1
|
|
CALVARIN JOUE_JOURNEE 1
|
|
CLOITRE JOUE_JOURNEE 1
|
|
(CALVARIN JOUE_CONTRE CLOITRE) JOURNEE 6
|
|
(CLOITRE JOUE_CONTRE CALVARIN) JOURNEE 1
|
|
CLOITRE JOUE_MATCH CALVARIN ' INEXISTANT
|
|
|
|
----------------------------------------- INFERENCE : 37 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CALCUL_JOURNEE
|
|
|
|
SUBSTITUTION : (E2) par TRILLING
|
|
(E1) par PUJOL
|
|
(D) par d1
|
|
(J_ALLER) par 1
|
|
(NB_JOUR) par 5
|
|
|
|
FAITS DEDUITS :
|
|
|
|
TRILLING JOUE_CONTRE PUJOL
|
|
PUJOL JOUE_CONTRE TRILLING
|
|
REPETITION' 0
|
|
MATCHS JOURNEE 6
|
|
MATCHS JOURNEE 1
|
|
TRILLING JOUE_JOURNEE 1
|
|
PUJOL JOUE_JOURNEE 1
|
|
(TRILLING JOUE_CONTRE PUJOL) JOURNEE 6
|
|
(PUJOL JOUE_CONTRE TRILLING) JOURNEE 1
|
|
PUJOL JOUE_MATCH TRILLING ' INEXISTANT
|
|
|
|
----------------------------------------- INFERENCE : 38 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CALCUL_JOURNEE
|
|
|
|
SUBSTITUTION : (E2) par LEMIERE
|
|
(E1) par PETETIN
|
|
(D) par d0
|
|
(J_ALLER) par 1
|
|
(NB_JOUR) par 5
|
|
|
|
FAITS DEDUITS :
|
|
|
|
LEMIERE JOUE_CONTRE PETETIN
|
|
PETETIN JOUE_CONTRE LEMIERE
|
|
REPETITION' 0
|
|
MATCHS JOURNEE 6
|
|
MATCHS JOURNEE 1
|
|
LEMIERE JOUE_JOURNEE 1
|
|
PETETIN JOUE_JOURNEE 1
|
|
(LEMIERE JOUE_CONTRE PETETIN) JOURNEE 6
|
|
(PETETIN JOUE_CONTRE LEMIERE) JOURNEE 1
|
|
PETETIN JOUE_MATCH LEMIERE ' INEXISTANT
|
|
|
|
----------------------------------------- INFERENCE : 39 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CALCUL_JOURNEE
|
|
|
|
SUBSTITUTION : (E2) par BRIEND
|
|
(E1) par CALABRESE
|
|
(D) par d0
|
|
(J_ALLER) par 1
|
|
(NB_JOUR) par 5
|
|
|
|
FAITS DEDUITS :
|
|
|
|
BRIEND JOUE_CONTRE CALABRESE
|
|
CALABRESE JOUE_CONTRE BRIEND
|
|
REPETITION' 0
|
|
MATCHS JOURNEE 6
|
|
MATCHS JOURNEE 1
|
|
BRIEND JOUE_JOURNEE 1
|
|
CALABRESE JOUE_JOURNEE 1
|
|
(BRIEND JOUE_CONTRE CALABRESE) JOURNEE 6
|
|
(CALABRESE JOUE_CONTRE BRIEND) JOURNEE 1
|
|
CALABRESE JOUE_MATCH BRIEND ' INEXISTANT
|
|
|
|
----------------------------------------- INFERENCE : 40 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par FROMAGEAU
|
|
(J) par 1
|
|
|
|
FAITS DEDUITS :
|
|
|
|
FROMAGEAU PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 41 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par CHAREAU
|
|
(J) par 1
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CHAREAU PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 42 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par VANDENBOSSCHE
|
|
(J) par 1
|
|
|
|
FAITS DEDUITS :
|
|
|
|
VANDENBOSSCHE PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 43 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CHANGER_JOURNEE
|
|
|
|
SUBSTITUTION : (J) par 1
|
|
|
|
FAITS DEDUITS :
|
|
|
|
REPETITION' 1
|
|
JOUR_COURANT' 2
|
|
|
|
----------------------------------------- INFERENCE : 44 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CALCUL_JOURNEE_PAS_JOUE_E1
|
|
|
|
SUBSTITUTION : (E2) par MASSON
|
|
(D) par d3
|
|
(E1) par VANDENBOSSCHE
|
|
(J_ALLER) par 2
|
|
(NB_JOUR) par 5
|
|
|
|
FAITS DEDUITS :
|
|
|
|
MASSON JOUE_CONTRE VANDENBOSSCHE
|
|
VANDENBOSSCHE JOUE_CONTRE MASSON
|
|
VANDENBOSSCHE PAS_JOUE VRAI ' INEXISTANT
|
|
REPETITION' 0
|
|
MATCHS JOURNEE 7
|
|
MATCHS JOURNEE 2
|
|
MASSON JOUE_JOURNEE 2
|
|
VANDENBOSSCHE JOUE_JOURNEE 2
|
|
(MASSON JOUE_CONTRE VANDENBOSSCHE) JOURNEE 7
|
|
(VANDENBOSSCHE JOUE_CONTRE MASSON) JOURNEE 2
|
|
VANDENBOSSCHE JOUE_MATCH MASSON ' INEXISTANT
|
|
|
|
----------------------------------------- INFERENCE : 45 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CALCUL_JOURNEE_PAS_JOUE_E2
|
|
|
|
SUBSTITUTION : (D) par d1
|
|
(E1) par CLOITRE
|
|
(E2) par CHAREAU
|
|
(J_ALLER) par 2
|
|
(NB_JOUR) par 5
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CHAREAU JOUE_CONTRE CLOITRE
|
|
CLOITRE JOUE_CONTRE CHAREAU
|
|
CHAREAU PAS_JOUE VRAI ' INEXISTANT
|
|
REPETITION' 0
|
|
MATCHS JOURNEE 7
|
|
MATCHS JOURNEE 2
|
|
CHAREAU JOUE_JOURNEE 2
|
|
CLOITRE JOUE_JOURNEE 2
|
|
(CHAREAU JOUE_CONTRE CLOITRE) JOURNEE 7
|
|
(CLOITRE JOUE_CONTRE CHAREAU) JOURNEE 2
|
|
CLOITRE JOUE_MATCH CHAREAU ' INEXISTANT
|
|
|
|
----------------------------------------- INFERENCE : 46 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CALCUL_JOURNEE_PAS_JOUE_E2
|
|
|
|
SUBSTITUTION : (E1) par PEZRON
|
|
(D) par d2
|
|
(E2) par FROMAGEAU
|
|
(J_ALLER) par 2
|
|
(NB_JOUR) par 5
|
|
|
|
FAITS DEDUITS :
|
|
|
|
FROMAGEAU JOUE_CONTRE PEZRON
|
|
PEZRON JOUE_CONTRE FROMAGEAU
|
|
FROMAGEAU PAS_JOUE VRAI ' INEXISTANT
|
|
REPETITION' 0
|
|
MATCHS JOURNEE 7
|
|
MATCHS JOURNEE 2
|
|
FROMAGEAU JOUE_JOURNEE 2
|
|
PEZRON JOUE_JOURNEE 2
|
|
(FROMAGEAU JOUE_CONTRE PEZRON) JOURNEE 7
|
|
(PEZRON JOUE_CONTRE FROMAGEAU) JOURNEE 2
|
|
PEZRON JOUE_MATCH FROMAGEAU ' INEXISTANT
|
|
|
|
----------------------------------------- INFERENCE : 47 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CALCUL_JOURNEE
|
|
|
|
SUBSTITUTION : (E2) par BOUESSEL
|
|
(E1) par LEPROVOST
|
|
(D) par d4
|
|
(J_ALLER) par 2
|
|
(NB_JOUR) par 5
|
|
|
|
FAITS DEDUITS :
|
|
|
|
BOUESSEL JOUE_CONTRE LEPROVOST
|
|
LEPROVOST JOUE_CONTRE BOUESSEL
|
|
REPETITION' 0
|
|
MATCHS JOURNEE 7
|
|
MATCHS JOURNEE 2
|
|
BOUESSEL JOUE_JOURNEE 2
|
|
LEPROVOST JOUE_JOURNEE 2
|
|
(BOUESSEL JOUE_CONTRE LEPROVOST) JOURNEE 7
|
|
(LEPROVOST JOUE_CONTRE BOUESSEL) JOURNEE 2
|
|
LEPROVOST JOUE_MATCH BOUESSEL ' INEXISTANT
|
|
|
|
----------------------------------------- INFERENCE : 48 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CALCUL_JOURNEE
|
|
|
|
SUBSTITUTION : (E2) par BELLEC
|
|
(E1) par GUEGUENIAT
|
|
(D) par d4
|
|
(J_ALLER) par 2
|
|
(NB_JOUR) par 5
|
|
|
|
FAITS DEDUITS :
|
|
|
|
BELLEC JOUE_CONTRE GUEGUENIAT
|
|
GUEGUENIAT JOUE_CONTRE BELLEC
|
|
REPETITION' 0
|
|
MATCHS JOURNEE 7
|
|
MATCHS JOURNEE 2
|
|
BELLEC JOUE_JOURNEE 2
|
|
GUEGUENIAT JOUE_JOURNEE 2
|
|
(BELLEC JOUE_CONTRE GUEGUENIAT) JOURNEE 7
|
|
(GUEGUENIAT JOUE_CONTRE BELLEC) JOURNEE 2
|
|
GUEGUENIAT JOUE_MATCH BELLEC ' INEXISTANT
|
|
|
|
----------------------------------------- INFERENCE : 49 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CALCUL_JOURNEE
|
|
|
|
SUBSTITUTION : (E2) par LESTIC
|
|
(E1) par LEFEVRE
|
|
(D) par d3
|
|
(J_ALLER) par 2
|
|
(NB_JOUR) par 5
|
|
|
|
FAITS DEDUITS :
|
|
|
|
LESTIC JOUE_CONTRE LEFEVRE
|
|
LEFEVRE JOUE_CONTRE LESTIC
|
|
REPETITION' 0
|
|
MATCHS JOURNEE 7
|
|
MATCHS JOURNEE 2
|
|
LESTIC JOUE_JOURNEE 2
|
|
LEFEVRE JOUE_JOURNEE 2
|
|
(LESTIC JOUE_CONTRE LEFEVRE) JOURNEE 7
|
|
(LEFEVRE JOUE_CONTRE LESTIC) JOURNEE 2
|
|
LEFEVRE JOUE_MATCH LESTIC ' INEXISTANT
|
|
|
|
----------------------------------------- INFERENCE : 50 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CALCUL_JOURNEE
|
|
|
|
SUBSTITUTION : (E2) par CADORET
|
|
(E1) par LEMOINE
|
|
(D) par d2
|
|
(J_ALLER) par 2
|
|
(NB_JOUR) par 5
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CADORET JOUE_CONTRE LEMOINE
|
|
LEMOINE JOUE_CONTRE CADORET
|
|
REPETITION' 0
|
|
MATCHS JOURNEE 7
|
|
MATCHS JOURNEE 2
|
|
CADORET JOUE_JOURNEE 2
|
|
LEMOINE JOUE_JOURNEE 2
|
|
(CADORET JOUE_CONTRE LEMOINE) JOURNEE 7
|
|
(LEMOINE JOUE_CONTRE CADORET) JOURNEE 2
|
|
LEMOINE JOUE_MATCH CADORET ' INEXISTANT
|
|
|
|
----------------------------------------- INFERENCE : 51 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CALCUL_JOURNEE
|
|
|
|
SUBSTITUTION : (E2) par PUJOL
|
|
(E1) par CALVARIN
|
|
(D) par d1
|
|
(J_ALLER) par 2
|
|
(NB_JOUR) par 5
|
|
|
|
FAITS DEDUITS :
|
|
|
|
PUJOL JOUE_CONTRE CALVARIN
|
|
CALVARIN JOUE_CONTRE PUJOL
|
|
REPETITION' 0
|
|
MATCHS JOURNEE 7
|
|
MATCHS JOURNEE 2
|
|
PUJOL JOUE_JOURNEE 2
|
|
CALVARIN JOUE_JOURNEE 2
|
|
(PUJOL JOUE_CONTRE CALVARIN) JOURNEE 7
|
|
(CALVARIN JOUE_CONTRE PUJOL) JOURNEE 2
|
|
CALVARIN JOUE_MATCH PUJOL ' INEXISTANT
|
|
|
|
----------------------------------------- INFERENCE : 52 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CALCUL_JOURNEE
|
|
|
|
SUBSTITUTION : (E2) par CALABRESE
|
|
(E1) par PETETIN
|
|
(D) par d0
|
|
(J_ALLER) par 2
|
|
(NB_JOUR) par 5
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CALABRESE JOUE_CONTRE PETETIN
|
|
PETETIN JOUE_CONTRE CALABRESE
|
|
REPETITION' 0
|
|
MATCHS JOURNEE 7
|
|
MATCHS JOURNEE 2
|
|
CALABRESE JOUE_JOURNEE 2
|
|
PETETIN JOUE_JOURNEE 2
|
|
(CALABRESE JOUE_CONTRE PETETIN) JOURNEE 7
|
|
(PETETIN JOUE_CONTRE CALABRESE) JOURNEE 2
|
|
PETETIN JOUE_MATCH CALABRESE ' INEXISTANT
|
|
|
|
----------------------------------------- INFERENCE : 53 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CALCUL_JOURNEE
|
|
|
|
SUBSTITUTION : (E2) par BRIEND
|
|
(E1) par LEMIERE
|
|
(D) par d0
|
|
(J_ALLER) par 2
|
|
(NB_JOUR) par 5
|
|
|
|
FAITS DEDUITS :
|
|
|
|
BRIEND JOUE_CONTRE LEMIERE
|
|
LEMIERE JOUE_CONTRE BRIEND
|
|
REPETITION' 0
|
|
MATCHS JOURNEE 7
|
|
MATCHS JOURNEE 2
|
|
BRIEND JOUE_JOURNEE 2
|
|
LEMIERE JOUE_JOURNEE 2
|
|
(BRIEND JOUE_CONTRE LEMIERE) JOURNEE 7
|
|
(LEMIERE JOUE_CONTRE BRIEND) JOURNEE 2
|
|
LEMIERE JOUE_MATCH BRIEND ' INEXISTANT
|
|
|
|
----------------------------------------- INFERENCE : 54 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par TRILLING
|
|
(J) par 2
|
|
|
|
FAITS DEDUITS :
|
|
|
|
TRILLING PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 55 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par BOZEC
|
|
(J) par 2
|
|
|
|
FAITS DEDUITS :
|
|
|
|
BOZEC PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 56 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par SAUVAN
|
|
(J) par 2
|
|
|
|
FAITS DEDUITS :
|
|
|
|
SAUVAN PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 57 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CHANGER_JOURNEE
|
|
|
|
SUBSTITUTION : (J) par 2
|
|
|
|
FAITS DEDUITS :
|
|
|
|
REPETITION' 1
|
|
JOUR_COURANT' 3
|
|
|
|
----------------------------------------- INFERENCE : 58 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CALCUL_JOURNEE_PAS_JOUE_E1
|
|
|
|
SUBSTITUTION : (E2) par VANDENBOSSCHE
|
|
(E1) par SAUVAN
|
|
(D) par d3
|
|
(J_ALLER) par 3
|
|
(NB_JOUR) par 5
|
|
|
|
FAITS DEDUITS :
|
|
|
|
VANDENBOSSCHE JOUE_CONTRE SAUVAN
|
|
SAUVAN JOUE_CONTRE VANDENBOSSCHE
|
|
SAUVAN PAS_JOUE VRAI ' INEXISTANT
|
|
REPETITION' 0
|
|
MATCHS JOURNEE 8
|
|
MATCHS JOURNEE 3
|
|
VANDENBOSSCHE JOUE_JOURNEE 3
|
|
SAUVAN JOUE_JOURNEE 3
|
|
(VANDENBOSSCHE JOUE_CONTRE SAUVAN) JOURNEE 8
|
|
(SAUVAN JOUE_CONTRE VANDENBOSSCHE) JOURNEE 3
|
|
SAUVAN JOUE_MATCH VANDENBOSSCHE ' INEXISTANT
|
|
|
|
----------------------------------------- INFERENCE : 59 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CALCUL_JOURNEE_PAS_JOUE_E1
|
|
|
|
SUBSTITUTION : (E2) par FROMAGEAU
|
|
(E1) par BOZEC
|
|
(D) par d2
|
|
(J_ALLER) par 3
|
|
(NB_JOUR) par 5
|
|
|
|
FAITS DEDUITS :
|
|
|
|
FROMAGEAU JOUE_CONTRE BOZEC
|
|
BOZEC JOUE_CONTRE FROMAGEAU
|
|
BOZEC PAS_JOUE VRAI ' INEXISTANT
|
|
REPETITION' 0
|
|
MATCHS JOURNEE 8
|
|
MATCHS JOURNEE 3
|
|
FROMAGEAU JOUE_JOURNEE 3
|
|
BOZEC JOUE_JOURNEE 3
|
|
(FROMAGEAU JOUE_CONTRE BOZEC) JOURNEE 8
|
|
(BOZEC JOUE_CONTRE FROMAGEAU) JOURNEE 3
|
|
BOZEC JOUE_MATCH FROMAGEAU ' INEXISTANT
|
|
|
|
----------------------------------------- INFERENCE : 60 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CALCUL_JOURNEE_PAS_JOUE_E1
|
|
|
|
SUBSTITUTION : (E2) par CHAREAU
|
|
(E1) par TRILLING
|
|
(D) par d1
|
|
(J_ALLER) par 3
|
|
(NB_JOUR) par 5
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CHAREAU JOUE_CONTRE TRILLING
|
|
TRILLING JOUE_CONTRE CHAREAU
|
|
TRILLING PAS_JOUE VRAI ' INEXISTANT
|
|
REPETITION' 0
|
|
MATCHS JOURNEE 8
|
|
MATCHS JOURNEE 3
|
|
CHAREAU JOUE_JOURNEE 3
|
|
TRILLING JOUE_JOURNEE 3
|
|
(CHAREAU JOUE_CONTRE TRILLING) JOURNEE 8
|
|
(TRILLING JOUE_CONTRE CHAREAU) JOURNEE 3
|
|
TRILLING JOUE_MATCH CHAREAU ' INEXISTANT
|
|
|
|
----------------------------------------- INFERENCE : 61 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CALCUL_JOURNEE
|
|
|
|
SUBSTITUTION : (E2) par BELLEC
|
|
(E1) par LEPROVOST
|
|
(D) par d4
|
|
(J_ALLER) par 3
|
|
(NB_JOUR) par 5
|
|
|
|
FAITS DEDUITS :
|
|
|
|
BELLEC JOUE_CONTRE LEPROVOST
|
|
LEPROVOST JOUE_CONTRE BELLEC
|
|
REPETITION' 0
|
|
MATCHS JOURNEE 8
|
|
MATCHS JOURNEE 3
|
|
BELLEC JOUE_JOURNEE 3
|
|
LEPROVOST JOUE_JOURNEE 3
|
|
(BELLEC JOUE_CONTRE LEPROVOST) JOURNEE 8
|
|
(LEPROVOST JOUE_CONTRE BELLEC) JOURNEE 3
|
|
LEPROVOST JOUE_MATCH BELLEC ' INEXISTANT
|
|
|
|
----------------------------------------- INFERENCE : 62 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CALCUL_JOURNEE
|
|
|
|
SUBSTITUTION : (E2) par BOUESSEL
|
|
(E1) par GUEGUENIAT
|
|
(D) par d4
|
|
(J_ALLER) par 3
|
|
(NB_JOUR) par 5
|
|
|
|
FAITS DEDUITS :
|
|
|
|
BOUESSEL JOUE_CONTRE GUEGUENIAT
|
|
GUEGUENIAT JOUE_CONTRE BOUESSEL
|
|
REPETITION' 0
|
|
MATCHS JOURNEE 8
|
|
MATCHS JOURNEE 3
|
|
BOUESSEL JOUE_JOURNEE 3
|
|
GUEGUENIAT JOUE_JOURNEE 3
|
|
(BOUESSEL JOUE_CONTRE GUEGUENIAT) JOURNEE 8
|
|
(GUEGUENIAT JOUE_CONTRE BOUESSEL) JOURNEE 3
|
|
GUEGUENIAT JOUE_MATCH BOUESSEL ' INEXISTANT
|
|
|
|
----------------------------------------- INFERENCE : 63 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CALCUL_JOURNEE
|
|
|
|
SUBSTITUTION : (E2) par MASSON
|
|
(E1) par LEFEVRE
|
|
(D) par d3
|
|
(J_ALLER) par 3
|
|
(NB_JOUR) par 5
|
|
|
|
FAITS DEDUITS :
|
|
|
|
MASSON JOUE_CONTRE LEFEVRE
|
|
LEFEVRE JOUE_CONTRE MASSON
|
|
REPETITION' 0
|
|
MATCHS JOURNEE 8
|
|
MATCHS JOURNEE 3
|
|
MASSON JOUE_JOURNEE 3
|
|
LEFEVRE JOUE_JOURNEE 3
|
|
(MASSON JOUE_CONTRE LEFEVRE) JOURNEE 8
|
|
(LEFEVRE JOUE_CONTRE MASSON) JOURNEE 3
|
|
LEFEVRE JOUE_MATCH MASSON ' INEXISTANT
|
|
|
|
----------------------------------------- INFERENCE : 64 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CALCUL_JOURNEE
|
|
|
|
SUBSTITUTION : (E2) par CADORET
|
|
(E1) par PEZRON
|
|
(D) par d2
|
|
(J_ALLER) par 3
|
|
(NB_JOUR) par 5
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CADORET JOUE_CONTRE PEZRON
|
|
PEZRON JOUE_CONTRE CADORET
|
|
REPETITION' 0
|
|
MATCHS JOURNEE 8
|
|
MATCHS JOURNEE 3
|
|
CADORET JOUE_JOURNEE 3
|
|
PEZRON JOUE_JOURNEE 3
|
|
(CADORET JOUE_CONTRE PEZRON) JOURNEE 8
|
|
(PEZRON JOUE_CONTRE CADORET) JOURNEE 3
|
|
PEZRON JOUE_MATCH CADORET ' INEXISTANT
|
|
|
|
----------------------------------------- INFERENCE : 65 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CALCUL_JOURNEE
|
|
|
|
SUBSTITUTION : (E2) par PUJOL
|
|
(E1) par CLOITRE
|
|
(D) par d1
|
|
(J_ALLER) par 3
|
|
(NB_JOUR) par 5
|
|
|
|
FAITS DEDUITS :
|
|
|
|
PUJOL JOUE_CONTRE CLOITRE
|
|
CLOITRE JOUE_CONTRE PUJOL
|
|
REPETITION' 0
|
|
MATCHS JOURNEE 8
|
|
MATCHS JOURNEE 3
|
|
PUJOL JOUE_JOURNEE 3
|
|
CLOITRE JOUE_JOURNEE 3
|
|
(PUJOL JOUE_CONTRE CLOITRE) JOURNEE 8
|
|
(CLOITRE JOUE_CONTRE PUJOL) JOURNEE 3
|
|
CLOITRE JOUE_MATCH PUJOL ' INEXISTANT
|
|
|
|
----------------------------------------- INFERENCE : 66 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CALCUL_JOURNEE
|
|
|
|
SUBSTITUTION : (E2) par BRIEND
|
|
(E1) par PETETIN
|
|
(D) par d0
|
|
(J_ALLER) par 3
|
|
(NB_JOUR) par 5
|
|
|
|
FAITS DEDUITS :
|
|
|
|
BRIEND JOUE_CONTRE PETETIN
|
|
PETETIN JOUE_CONTRE BRIEND
|
|
REPETITION' 0
|
|
MATCHS JOURNEE 8
|
|
MATCHS JOURNEE 3
|
|
BRIEND JOUE_JOURNEE 3
|
|
PETETIN JOUE_JOURNEE 3
|
|
(BRIEND JOUE_CONTRE PETETIN) JOURNEE 8
|
|
(PETETIN JOUE_CONTRE BRIEND) JOURNEE 3
|
|
PETETIN JOUE_MATCH BRIEND ' INEXISTANT
|
|
|
|
----------------------------------------- INFERENCE : 67 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CALCUL_JOURNEE
|
|
|
|
SUBSTITUTION : (E2) par CALABRESE
|
|
(E1) par LEMIERE
|
|
(D) par d0
|
|
(J_ALLER) par 3
|
|
(NB_JOUR) par 5
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CALABRESE JOUE_CONTRE LEMIERE
|
|
LEMIERE JOUE_CONTRE CALABRESE
|
|
REPETITION' 0
|
|
MATCHS JOURNEE 8
|
|
MATCHS JOURNEE 3
|
|
CALABRESE JOUE_JOURNEE 3
|
|
LEMIERE JOUE_JOURNEE 3
|
|
(CALABRESE JOUE_CONTRE LEMIERE) JOURNEE 8
|
|
(LEMIERE JOUE_CONTRE CALABRESE) JOURNEE 3
|
|
LEMIERE JOUE_MATCH CALABRESE ' INEXISTANT
|
|
|
|
----------------------------------------- INFERENCE : 68 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par CALVARIN
|
|
(J) par 3
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CALVARIN PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 69 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par LEMOINE
|
|
(J) par 3
|
|
|
|
FAITS DEDUITS :
|
|
|
|
LEMOINE PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 70 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par LESTIC
|
|
(J) par 3
|
|
|
|
FAITS DEDUITS :
|
|
|
|
LESTIC PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 71 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CHANGER_JOURNEE
|
|
|
|
SUBSTITUTION : (J) par 3
|
|
|
|
FAITS DEDUITS :
|
|
|
|
REPETITION' 1
|
|
JOUR_COURANT' 4
|
|
|
|
----------------------------------------- INFERENCE : 72 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CALCUL_JOURNEE_PAS_JOUE_E1
|
|
|
|
SUBSTITUTION : (E2) par BOZEC
|
|
(E1) par LEMOINE
|
|
(D) par d2
|
|
(J_ALLER) par 4
|
|
(NB_JOUR) par 5
|
|
|
|
FAITS DEDUITS :
|
|
|
|
BOZEC JOUE_CONTRE LEMOINE
|
|
LEMOINE JOUE_CONTRE BOZEC
|
|
LEMOINE PAS_JOUE VRAI ' INEXISTANT
|
|
REPETITION' 0
|
|
MATCHS JOURNEE 9
|
|
MATCHS JOURNEE 4
|
|
BOZEC JOUE_JOURNEE 4
|
|
LEMOINE JOUE_JOURNEE 4
|
|
(BOZEC JOUE_CONTRE LEMOINE) JOURNEE 9
|
|
(LEMOINE JOUE_CONTRE BOZEC) JOURNEE 4
|
|
LEMOINE JOUE_MATCH BOZEC ' INEXISTANT
|
|
|
|
----------------------------------------- INFERENCE : 73 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CALCUL_JOURNEE_PAS_JOUE_E1
|
|
|
|
SUBSTITUTION : (E2) par TRILLING
|
|
(E1) par CALVARIN
|
|
(D) par d1
|
|
(J_ALLER) par 4
|
|
(NB_JOUR) par 5
|
|
|
|
FAITS DEDUITS :
|
|
|
|
TRILLING JOUE_CONTRE CALVARIN
|
|
CALVARIN JOUE_CONTRE TRILLING
|
|
CALVARIN PAS_JOUE VRAI ' INEXISTANT
|
|
REPETITION' 0
|
|
MATCHS JOURNEE 9
|
|
MATCHS JOURNEE 4
|
|
TRILLING JOUE_JOURNEE 4
|
|
CALVARIN JOUE_JOURNEE 4
|
|
(TRILLING JOUE_CONTRE CALVARIN) JOURNEE 9
|
|
(CALVARIN JOUE_CONTRE TRILLING) JOURNEE 4
|
|
CALVARIN JOUE_MATCH TRILLING ' INEXISTANT
|
|
|
|
----------------------------------------- INFERENCE : 74 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CALCUL_JOURNEE_PAS_JOUE_E2
|
|
|
|
SUBSTITUTION : (E2) par LESTIC
|
|
(E1) par SAUVAN
|
|
(D) par d3
|
|
(J_ALLER) par 4
|
|
(NB_JOUR) par 5
|
|
|
|
FAITS DEDUITS :
|
|
|
|
LESTIC JOUE_CONTRE SAUVAN
|
|
SAUVAN JOUE_CONTRE LESTIC
|
|
LESTIC PAS_JOUE VRAI ' INEXISTANT
|
|
REPETITION' 0
|
|
MATCHS JOURNEE 9
|
|
MATCHS JOURNEE 4
|
|
LESTIC JOUE_JOURNEE 4
|
|
SAUVAN JOUE_JOURNEE 4
|
|
(LESTIC JOUE_CONTRE SAUVAN) JOURNEE 9
|
|
(SAUVAN JOUE_CONTRE LESTIC) JOURNEE 4
|
|
SAUVAN JOUE_MATCH LESTIC ' INEXISTANT
|
|
|
|
----------------------------------------- INFERENCE : 75 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CALCUL_JOURNEE
|
|
|
|
SUBSTITUTION : (E2) par MASSON
|
|
(E1) par LEPROVOST
|
|
(D) par d4
|
|
(J_ALLER) par 4
|
|
(NB_JOUR) par 5
|
|
|
|
FAITS DEDUITS :
|
|
|
|
MASSON JOUE_CONTRE LEPROVOST
|
|
LEPROVOST JOUE_CONTRE MASSON
|
|
REPETITION' 0
|
|
MATCHS JOURNEE 9
|
|
MATCHS JOURNEE 4
|
|
MASSON JOUE_JOURNEE 4
|
|
LEPROVOST JOUE_JOURNEE 4
|
|
(MASSON JOUE_CONTRE LEPROVOST) JOURNEE 9
|
|
(LEPROVOST JOUE_CONTRE MASSON) JOURNEE 4
|
|
LEPROVOST JOUE_MATCH MASSON ' INEXISTANT
|
|
|
|
----------------------------------------- INFERENCE : 76 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CALCUL_JOURNEE
|
|
|
|
SUBSTITUTION : (E2) par VANDENBOSSCHE
|
|
(E1) par LEFEVRE
|
|
(D) par d3
|
|
(J_ALLER) par 4
|
|
(NB_JOUR) par 5
|
|
|
|
FAITS DEDUITS :
|
|
|
|
VANDENBOSSCHE JOUE_CONTRE LEFEVRE
|
|
LEFEVRE JOUE_CONTRE VANDENBOSSCHE
|
|
REPETITION' 0
|
|
MATCHS JOURNEE 9
|
|
MATCHS JOURNEE 4
|
|
VANDENBOSSCHE JOUE_JOURNEE 4
|
|
LEFEVRE JOUE_JOURNEE 4
|
|
(VANDENBOSSCHE JOUE_CONTRE LEFEVRE) JOURNEE 9
|
|
(LEFEVRE JOUE_CONTRE VANDENBOSSCHE) JOURNEE 4
|
|
LEFEVRE JOUE_MATCH VANDENBOSSCHE ' INEXISTANT
|
|
|
|
----------------------------------------- INFERENCE : 77 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CALCUL_JOURNEE
|
|
|
|
SUBSTITUTION : (E2) par FROMAGEAU
|
|
(E1) par CADORET
|
|
(D) par d2
|
|
(J_ALLER) par 4
|
|
(NB_JOUR) par 5
|
|
|
|
FAITS DEDUITS :
|
|
|
|
FROMAGEAU JOUE_CONTRE CADORET
|
|
CADORET JOUE_CONTRE FROMAGEAU
|
|
REPETITION' 0
|
|
MATCHS JOURNEE 9
|
|
MATCHS JOURNEE 4
|
|
FROMAGEAU JOUE_JOURNEE 4
|
|
CADORET JOUE_JOURNEE 4
|
|
(FROMAGEAU JOUE_CONTRE CADORET) JOURNEE 9
|
|
(CADORET JOUE_CONTRE FROMAGEAU) JOURNEE 4
|
|
CADORET JOUE_MATCH FROMAGEAU ' INEXISTANT
|
|
|
|
----------------------------------------- INFERENCE : 78 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CALCUL_JOURNEE
|
|
|
|
SUBSTITUTION : (E2) par CHAREAU
|
|
(E1) par PUJOL
|
|
(D) par d1
|
|
(J_ALLER) par 4
|
|
(NB_JOUR) par 5
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CHAREAU JOUE_CONTRE PUJOL
|
|
PUJOL JOUE_CONTRE CHAREAU
|
|
REPETITION' 0
|
|
MATCHS JOURNEE 9
|
|
MATCHS JOURNEE 4
|
|
CHAREAU JOUE_JOURNEE 4
|
|
PUJOL JOUE_JOURNEE 4
|
|
(CHAREAU JOUE_CONTRE PUJOL) JOURNEE 9
|
|
(PUJOL JOUE_CONTRE CHAREAU) JOURNEE 4
|
|
PUJOL JOUE_MATCH CHAREAU ' INEXISTANT
|
|
|
|
----------------------------------------- INFERENCE : 79 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par BRIEND
|
|
(J) par 4
|
|
|
|
FAITS DEDUITS :
|
|
|
|
BRIEND PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 80 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par CALABRESE
|
|
(J) par 4
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CALABRESE PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 81 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par LEMIERE
|
|
(J) par 4
|
|
|
|
FAITS DEDUITS :
|
|
|
|
LEMIERE PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 82 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par PETETIN
|
|
(J) par 4
|
|
|
|
FAITS DEDUITS :
|
|
|
|
PETETIN PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 83 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par CLOITRE
|
|
(J) par 4
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CLOITRE PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 84 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par PEZRON
|
|
(J) par 4
|
|
|
|
FAITS DEDUITS :
|
|
|
|
PEZRON PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 85 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par BELLEC
|
|
(J) par 4
|
|
|
|
FAITS DEDUITS :
|
|
|
|
BELLEC PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 86 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par BOUESSEL
|
|
(J) par 4
|
|
|
|
FAITS DEDUITS :
|
|
|
|
BOUESSEL PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 87 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par GUEGUENIAT
|
|
(J) par 4
|
|
|
|
FAITS DEDUITS :
|
|
|
|
GUEGUENIAT PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 88 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CHANGER_JOURNEE
|
|
|
|
SUBSTITUTION : (J) par 4
|
|
|
|
FAITS DEDUITS :
|
|
|
|
REPETITION' 1
|
|
JOUR_COURANT' 5
|
|
|
|
----------------------------------------- INFERENCE : 89 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CALCUL_JOURNEE_PAS_JOUE_E1
|
|
|
|
SUBSTITUTION : (E2) par MASSON
|
|
(E1) par GUEGUENIAT
|
|
(D) par d4
|
|
(J_ALLER) par 5
|
|
(NB_JOUR) par 5
|
|
|
|
FAITS DEDUITS :
|
|
|
|
MASSON JOUE_CONTRE GUEGUENIAT
|
|
GUEGUENIAT JOUE_CONTRE MASSON
|
|
GUEGUENIAT PAS_JOUE VRAI ' INEXISTANT
|
|
REPETITION' 0
|
|
MATCHS JOURNEE 10
|
|
MATCHS JOURNEE 5
|
|
MASSON JOUE_JOURNEE 5
|
|
GUEGUENIAT JOUE_JOURNEE 5
|
|
(MASSON JOUE_CONTRE GUEGUENIAT) JOURNEE 10
|
|
(GUEGUENIAT JOUE_CONTRE MASSON) JOURNEE 5
|
|
GUEGUENIAT JOUE_MATCH MASSON ' INEXISTANT
|
|
|
|
----------------------------------------- INFERENCE : 90 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CALCUL_JOURNEE_PAS_JOUE_E1
|
|
|
|
SUBSTITUTION : (E2) par BOZEC
|
|
(E1) par PEZRON
|
|
(D) par d2
|
|
(J_ALLER) par 5
|
|
(NB_JOUR) par 5
|
|
|
|
FAITS DEDUITS :
|
|
|
|
BOZEC JOUE_CONTRE PEZRON
|
|
PEZRON JOUE_CONTRE BOZEC
|
|
PEZRON PAS_JOUE VRAI ' INEXISTANT
|
|
REPETITION' 0
|
|
MATCHS JOURNEE 10
|
|
MATCHS JOURNEE 5
|
|
BOZEC JOUE_JOURNEE 5
|
|
PEZRON JOUE_JOURNEE 5
|
|
(BOZEC JOUE_CONTRE PEZRON) JOURNEE 10
|
|
(PEZRON JOUE_CONTRE BOZEC) JOURNEE 5
|
|
PEZRON JOUE_MATCH BOZEC ' INEXISTANT
|
|
|
|
----------------------------------------- INFERENCE : 91 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CALCUL_JOURNEE_PAS_JOUE_E1
|
|
|
|
SUBSTITUTION : (E2) par TRILLING
|
|
(E1) par CLOITRE
|
|
(D) par d1
|
|
(J_ALLER) par 5
|
|
(NB_JOUR) par 5
|
|
|
|
FAITS DEDUITS :
|
|
|
|
TRILLING JOUE_CONTRE CLOITRE
|
|
CLOITRE JOUE_CONTRE TRILLING
|
|
CLOITRE PAS_JOUE VRAI ' INEXISTANT
|
|
REPETITION' 0
|
|
MATCHS JOURNEE 10
|
|
MATCHS JOURNEE 5
|
|
TRILLING JOUE_JOURNEE 5
|
|
CLOITRE JOUE_JOURNEE 5
|
|
(TRILLING JOUE_CONTRE CLOITRE) JOURNEE 10
|
|
(CLOITRE JOUE_CONTRE TRILLING) JOURNEE 5
|
|
CLOITRE JOUE_MATCH TRILLING ' INEXISTANT
|
|
|
|
----------------------------------------- INFERENCE : 92 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CALCUL_JOURNEE_PAS_JOUE_E1
|
|
|
|
SUBSTITUTION : (E2) par FROMAGEAU
|
|
(E1) par PETETIN
|
|
(D) par d0
|
|
(J_ALLER) par 5
|
|
(NB_JOUR) par 5
|
|
|
|
FAITS DEDUITS :
|
|
|
|
FROMAGEAU JOUE_CONTRE PETETIN
|
|
PETETIN JOUE_CONTRE FROMAGEAU
|
|
PETETIN PAS_JOUE VRAI ' INEXISTANT
|
|
REPETITION' 0
|
|
MATCHS JOURNEE 10
|
|
MATCHS JOURNEE 5
|
|
FROMAGEAU JOUE_JOURNEE 5
|
|
PETETIN JOUE_JOURNEE 5
|
|
(FROMAGEAU JOUE_CONTRE PETETIN) JOURNEE 10
|
|
(PETETIN JOUE_CONTRE FROMAGEAU) JOURNEE 5
|
|
PETETIN JOUE_MATCH FROMAGEAU ' INEXISTANT
|
|
|
|
----------------------------------------- INFERENCE : 93 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CALCUL_JOURNEE
|
|
|
|
SUBSTITUTION : (E2) par LESTIC
|
|
(E1) par VANDENBOSSCHE
|
|
(D) par d3
|
|
(J_ALLER) par 5
|
|
(NB_JOUR) par 5
|
|
|
|
FAITS DEDUITS :
|
|
|
|
LESTIC JOUE_CONTRE VANDENBOSSCHE
|
|
VANDENBOSSCHE JOUE_CONTRE LESTIC
|
|
REPETITION' 0
|
|
MATCHS JOURNEE 10
|
|
MATCHS JOURNEE 5
|
|
LESTIC JOUE_JOURNEE 5
|
|
VANDENBOSSCHE JOUE_JOURNEE 5
|
|
(LESTIC JOUE_CONTRE VANDENBOSSCHE) JOURNEE 10
|
|
(VANDENBOSSCHE JOUE_CONTRE LESTIC) JOURNEE 5
|
|
VANDENBOSSCHE JOUE_MATCH LESTIC ' INEXISTANT
|
|
|
|
----------------------------------------- INFERENCE : 94 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CALCUL_JOURNEE
|
|
|
|
SUBSTITUTION : (E2) par CHAREAU
|
|
(E1) par CALVARIN
|
|
(D) par d1
|
|
(J_ALLER) par 5
|
|
(NB_JOUR) par 5
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CHAREAU JOUE_CONTRE CALVARIN
|
|
CALVARIN JOUE_CONTRE CHAREAU
|
|
REPETITION' 0
|
|
MATCHS JOURNEE 10
|
|
MATCHS JOURNEE 5
|
|
CHAREAU JOUE_JOURNEE 5
|
|
CALVARIN JOUE_JOURNEE 5
|
|
(CHAREAU JOUE_CONTRE CALVARIN) JOURNEE 10
|
|
(CALVARIN JOUE_CONTRE CHAREAU) JOURNEE 5
|
|
CALVARIN JOUE_MATCH CHAREAU ' INEXISTANT
|
|
|
|
----------------------------------------- INFERENCE : 95 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par BRIEND
|
|
(J) par 5
|
|
|
|
FAITS DEDUITS :
|
|
|
|
BRIEND PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 96 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par CALABRESE
|
|
(J) par 5
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CALABRESE PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 97 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par LEMIERE
|
|
(J) par 5
|
|
|
|
FAITS DEDUITS :
|
|
|
|
LEMIERE PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 98 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par PUJOL
|
|
(J) par 5
|
|
|
|
FAITS DEDUITS :
|
|
|
|
PUJOL PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 99 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par CADORET
|
|
(J) par 5
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CADORET PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 100 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par LEMOINE
|
|
(J) par 5
|
|
|
|
FAITS DEDUITS :
|
|
|
|
LEMOINE PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 101 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par SAUVAN
|
|
(J) par 5
|
|
|
|
FAITS DEDUITS :
|
|
|
|
SAUVAN PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 102 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par LEFEVRE
|
|
(J) par 5
|
|
|
|
FAITS DEDUITS :
|
|
|
|
LEFEVRE PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 103 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par BELLEC
|
|
(J) par 5
|
|
|
|
FAITS DEDUITS :
|
|
|
|
BELLEC PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 104 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par BOUESSEL
|
|
(J) par 5
|
|
|
|
FAITS DEDUITS :
|
|
|
|
BOUESSEL PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 105 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par LEPROVOST
|
|
(J) par 5
|
|
|
|
FAITS DEDUITS :
|
|
|
|
LEPROVOST PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 106 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CHANGER_JOURNEE
|
|
|
|
SUBSTITUTION : (J) par 5
|
|
|
|
FAITS DEDUITS :
|
|
|
|
REPETITION' 1
|
|
JOUR_COURANT' 6
|
|
|
|
----------------------------------------- INFERENCE : 107 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CALCUL_JOURNEE_PAS_JOUE_E1
|
|
|
|
SUBSTITUTION : (E2) par MASSON
|
|
(E1) par BOUESSEL
|
|
(D) par d4
|
|
(J_ALLER) par 6
|
|
(NB_JOUR) par 5
|
|
|
|
FAITS DEDUITS :
|
|
|
|
MASSON JOUE_CONTRE BOUESSEL
|
|
BOUESSEL JOUE_CONTRE MASSON
|
|
BOUESSEL PAS_JOUE VRAI ' INEXISTANT
|
|
REPETITION' 0
|
|
MATCHS JOURNEE 11
|
|
MATCHS JOURNEE 6
|
|
MASSON JOUE_JOURNEE 6
|
|
BOUESSEL JOUE_JOURNEE 6
|
|
(MASSON JOUE_CONTRE BOUESSEL) JOURNEE 11
|
|
(BOUESSEL JOUE_CONTRE MASSON) JOURNEE 6
|
|
BOUESSEL JOUE_MATCH MASSON ' INEXISTANT
|
|
|
|
----------------------------------------- INFERENCE : 108 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CALCUL_JOURNEE_PAS_JOUE_E1
|
|
|
|
SUBSTITUTION : (E2) par FROMAGEAU
|
|
(E1) par LEMOINE
|
|
(D) par d2
|
|
(J_ALLER) par 6
|
|
(NB_JOUR) par 5
|
|
|
|
FAITS DEDUITS :
|
|
|
|
FROMAGEAU JOUE_CONTRE LEMOINE
|
|
LEMOINE JOUE_CONTRE FROMAGEAU
|
|
LEMOINE PAS_JOUE VRAI ' INEXISTANT
|
|
REPETITION' 0
|
|
MATCHS JOURNEE 11
|
|
MATCHS JOURNEE 6
|
|
FROMAGEAU JOUE_JOURNEE 6
|
|
LEMOINE JOUE_JOURNEE 6
|
|
(FROMAGEAU JOUE_CONTRE LEMOINE) JOURNEE 11
|
|
(LEMOINE JOUE_CONTRE FROMAGEAU) JOURNEE 6
|
|
LEMOINE JOUE_MATCH FROMAGEAU ' INEXISTANT
|
|
|
|
----------------------------------------- INFERENCE : 109 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par BRIEND
|
|
(J) par 6
|
|
|
|
FAITS DEDUITS :
|
|
|
|
BRIEND PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 110 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par CALABRESE
|
|
(J) par 6
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CALABRESE PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 111 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par LEMIERE
|
|
(J) par 6
|
|
|
|
FAITS DEDUITS :
|
|
|
|
LEMIERE PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 112 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par PETETIN
|
|
(J) par 6
|
|
|
|
FAITS DEDUITS :
|
|
|
|
PETETIN PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 113 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par CHAREAU
|
|
(J) par 6
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CHAREAU PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 114 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par TRILLING
|
|
(J) par 6
|
|
|
|
FAITS DEDUITS :
|
|
|
|
TRILLING PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 115 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par PUJOL
|
|
(J) par 6
|
|
|
|
FAITS DEDUITS :
|
|
|
|
PUJOL PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 116 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par CALVARIN
|
|
(J) par 6
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CALVARIN PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 117 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par CLOITRE
|
|
(J) par 6
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CLOITRE PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 118 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par BOZEC
|
|
(J) par 6
|
|
|
|
FAITS DEDUITS :
|
|
|
|
BOZEC PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 119 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par CADORET
|
|
(J) par 6
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CADORET PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 120 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par PEZRON
|
|
(J) par 6
|
|
|
|
FAITS DEDUITS :
|
|
|
|
PEZRON PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 121 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par LESTIC
|
|
(J) par 6
|
|
|
|
FAITS DEDUITS :
|
|
|
|
LESTIC PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 122 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par VANDENBOSSCHE
|
|
(J) par 6
|
|
|
|
FAITS DEDUITS :
|
|
|
|
VANDENBOSSCHE PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 123 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par SAUVAN
|
|
(J) par 6
|
|
|
|
FAITS DEDUITS :
|
|
|
|
SAUVAN PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 124 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par LEFEVRE
|
|
(J) par 6
|
|
|
|
FAITS DEDUITS :
|
|
|
|
LEFEVRE PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 125 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par BELLEC
|
|
(J) par 6
|
|
|
|
FAITS DEDUITS :
|
|
|
|
BELLEC PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 126 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par GUEGUENIAT
|
|
(J) par 6
|
|
|
|
FAITS DEDUITS :
|
|
|
|
GUEGUENIAT PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 127 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par LEPROVOST
|
|
(J) par 6
|
|
|
|
FAITS DEDUITS :
|
|
|
|
LEPROVOST PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 128 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CHANGER_JOURNEE
|
|
|
|
SUBSTITUTION : (J) par 6
|
|
|
|
FAITS DEDUITS :
|
|
|
|
REPETITION' 1
|
|
JOUR_COURANT' 7
|
|
|
|
----------------------------------------- INFERENCE : 129 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CALCUL_JOURNEE_PAS_JOUE_E1
|
|
|
|
SUBSTITUTION : (E2) par MASSON
|
|
(E1) par BELLEC
|
|
(D) par d4
|
|
(J_ALLER) par 7
|
|
(NB_JOUR) par 5
|
|
|
|
FAITS DEDUITS :
|
|
|
|
MASSON JOUE_CONTRE BELLEC
|
|
BELLEC JOUE_CONTRE MASSON
|
|
BELLEC PAS_JOUE VRAI ' INEXISTANT
|
|
REPETITION' 0
|
|
MATCHS JOURNEE 12
|
|
MATCHS JOURNEE 7
|
|
MASSON JOUE_JOURNEE 7
|
|
BELLEC JOUE_JOURNEE 7
|
|
(MASSON JOUE_CONTRE BELLEC) JOURNEE 12
|
|
(BELLEC JOUE_CONTRE MASSON) JOURNEE 7
|
|
BELLEC JOUE_MATCH MASSON ' INEXISTANT
|
|
|
|
----------------------------------------- INFERENCE : 130 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CALCUL_JOURNEE_PAS_JOUE_E1
|
|
|
|
SUBSTITUTION : (E2) par FROMAGEAU
|
|
(E1) par LEMIERE
|
|
(D) par d0
|
|
(J_ALLER) par 7
|
|
(NB_JOUR) par 5
|
|
|
|
FAITS DEDUITS :
|
|
|
|
FROMAGEAU JOUE_CONTRE LEMIERE
|
|
LEMIERE JOUE_CONTRE FROMAGEAU
|
|
LEMIERE PAS_JOUE VRAI ' INEXISTANT
|
|
REPETITION' 0
|
|
MATCHS JOURNEE 12
|
|
MATCHS JOURNEE 7
|
|
FROMAGEAU JOUE_JOURNEE 7
|
|
LEMIERE JOUE_JOURNEE 7
|
|
(FROMAGEAU JOUE_CONTRE LEMIERE) JOURNEE 12
|
|
(LEMIERE JOUE_CONTRE FROMAGEAU) JOURNEE 7
|
|
LEMIERE JOUE_MATCH FROMAGEAU ' INEXISTANT
|
|
|
|
----------------------------------------- INFERENCE : 131 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par BRIEND
|
|
(J) par 7
|
|
|
|
FAITS DEDUITS :
|
|
|
|
BRIEND PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 132 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par CALABRESE
|
|
(J) par 7
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CALABRESE PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 133 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par PETETIN
|
|
(J) par 7
|
|
|
|
FAITS DEDUITS :
|
|
|
|
PETETIN PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 134 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par CHAREAU
|
|
(J) par 7
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CHAREAU PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 135 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par TRILLING
|
|
(J) par 7
|
|
|
|
FAITS DEDUITS :
|
|
|
|
TRILLING PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 136 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par PUJOL
|
|
(J) par 7
|
|
|
|
FAITS DEDUITS :
|
|
|
|
PUJOL PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 137 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par CALVARIN
|
|
(J) par 7
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CALVARIN PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 138 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par CLOITRE
|
|
(J) par 7
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CLOITRE PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 139 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par BOZEC
|
|
(J) par 7
|
|
|
|
FAITS DEDUITS :
|
|
|
|
BOZEC PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 140 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par CADORET
|
|
(J) par 7
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CADORET PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 141 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par LEMOINE
|
|
(J) par 7
|
|
|
|
FAITS DEDUITS :
|
|
|
|
LEMOINE PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 142 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par PEZRON
|
|
(J) par 7
|
|
|
|
FAITS DEDUITS :
|
|
|
|
PEZRON PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 143 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par LESTIC
|
|
(J) par 7
|
|
|
|
FAITS DEDUITS :
|
|
|
|
LESTIC PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 144 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par VANDENBOSSCHE
|
|
(J) par 7
|
|
|
|
FAITS DEDUITS :
|
|
|
|
VANDENBOSSCHE PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 145 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par SAUVAN
|
|
(J) par 7
|
|
|
|
FAITS DEDUITS :
|
|
|
|
SAUVAN PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 146 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par LEFEVRE
|
|
(J) par 7
|
|
|
|
FAITS DEDUITS :
|
|
|
|
LEFEVRE PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 147 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par BOUESSEL
|
|
(J) par 7
|
|
|
|
FAITS DEDUITS :
|
|
|
|
BOUESSEL PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 148 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par GUEGUENIAT
|
|
(J) par 7
|
|
|
|
FAITS DEDUITS :
|
|
|
|
GUEGUENIAT PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 149 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par LEPROVOST
|
|
(J) par 7
|
|
|
|
FAITS DEDUITS :
|
|
|
|
LEPROVOST PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 150 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CHANGER_JOURNEE
|
|
|
|
SUBSTITUTION : (J) par 7
|
|
|
|
FAITS DEDUITS :
|
|
|
|
REPETITION' 1
|
|
JOUR_COURANT' 8
|
|
|
|
----------------------------------------- INFERENCE : 151 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CALCUL_JOURNEE_PAS_JOUE_E1
|
|
|
|
SUBSTITUTION : (E2) par MASSON
|
|
(E1) par SAUVAN
|
|
(D) par d3
|
|
(J_ALLER) par 8
|
|
(NB_JOUR) par 5
|
|
|
|
FAITS DEDUITS :
|
|
|
|
MASSON JOUE_CONTRE SAUVAN
|
|
SAUVAN JOUE_CONTRE MASSON
|
|
SAUVAN PAS_JOUE VRAI ' INEXISTANT
|
|
REPETITION' 0
|
|
MATCHS JOURNEE 13
|
|
MATCHS JOURNEE 8
|
|
MASSON JOUE_JOURNEE 8
|
|
SAUVAN JOUE_JOURNEE 8
|
|
(MASSON JOUE_CONTRE SAUVAN) JOURNEE 13
|
|
(SAUVAN JOUE_CONTRE MASSON) JOURNEE 8
|
|
SAUVAN JOUE_MATCH MASSON ' INEXISTANT
|
|
|
|
----------------------------------------- INFERENCE : 152 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CALCUL_JOURNEE_PAS_JOUE_E1
|
|
|
|
SUBSTITUTION : (E2) par FROMAGEAU
|
|
(E1) par CALABRESE
|
|
(D) par d0
|
|
(J_ALLER) par 8
|
|
(NB_JOUR) par 5
|
|
|
|
FAITS DEDUITS :
|
|
|
|
FROMAGEAU JOUE_CONTRE CALABRESE
|
|
CALABRESE JOUE_CONTRE FROMAGEAU
|
|
CALABRESE PAS_JOUE VRAI ' INEXISTANT
|
|
REPETITION' 0
|
|
MATCHS JOURNEE 13
|
|
MATCHS JOURNEE 8
|
|
FROMAGEAU JOUE_JOURNEE 8
|
|
CALABRESE JOUE_JOURNEE 8
|
|
(FROMAGEAU JOUE_CONTRE CALABRESE) JOURNEE 13
|
|
(CALABRESE JOUE_CONTRE FROMAGEAU) JOURNEE 8
|
|
CALABRESE JOUE_MATCH FROMAGEAU ' INEXISTANT
|
|
|
|
----------------------------------------- INFERENCE : 153 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par BRIEND
|
|
(J) par 8
|
|
|
|
FAITS DEDUITS :
|
|
|
|
BRIEND PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 154 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par LEMIERE
|
|
(J) par 8
|
|
|
|
FAITS DEDUITS :
|
|
|
|
LEMIERE PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 155 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par PETETIN
|
|
(J) par 8
|
|
|
|
FAITS DEDUITS :
|
|
|
|
PETETIN PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 156 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par CHAREAU
|
|
(J) par 8
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CHAREAU PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 157 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par TRILLING
|
|
(J) par 8
|
|
|
|
FAITS DEDUITS :
|
|
|
|
TRILLING PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 158 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par PUJOL
|
|
(J) par 8
|
|
|
|
FAITS DEDUITS :
|
|
|
|
PUJOL PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 159 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par CALVARIN
|
|
(J) par 8
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CALVARIN PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 160 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par CLOITRE
|
|
(J) par 8
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CLOITRE PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 161 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par BOZEC
|
|
(J) par 8
|
|
|
|
FAITS DEDUITS :
|
|
|
|
BOZEC PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 162 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par CADORET
|
|
(J) par 8
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CADORET PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 163 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par LEMOINE
|
|
(J) par 8
|
|
|
|
FAITS DEDUITS :
|
|
|
|
LEMOINE PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 164 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par PEZRON
|
|
(J) par 8
|
|
|
|
FAITS DEDUITS :
|
|
|
|
PEZRON PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 165 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par LESTIC
|
|
(J) par 8
|
|
|
|
FAITS DEDUITS :
|
|
|
|
LESTIC PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 166 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par VANDENBOSSCHE
|
|
(J) par 8
|
|
|
|
FAITS DEDUITS :
|
|
|
|
VANDENBOSSCHE PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 167 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par LEFEVRE
|
|
(J) par 8
|
|
|
|
FAITS DEDUITS :
|
|
|
|
LEFEVRE PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 168 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par BELLEC
|
|
(J) par 8
|
|
|
|
FAITS DEDUITS :
|
|
|
|
BELLEC PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 169 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par BOUESSEL
|
|
(J) par 8
|
|
|
|
FAITS DEDUITS :
|
|
|
|
BOUESSEL PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 170 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par GUEGUENIAT
|
|
(J) par 8
|
|
|
|
FAITS DEDUITS :
|
|
|
|
GUEGUENIAT PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 171 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par LEPROVOST
|
|
(J) par 8
|
|
|
|
FAITS DEDUITS :
|
|
|
|
LEPROVOST PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 172 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CHANGER_JOURNEE
|
|
|
|
SUBSTITUTION : (J) par 8
|
|
|
|
FAITS DEDUITS :
|
|
|
|
REPETITION' 1
|
|
JOUR_COURANT' 9
|
|
|
|
----------------------------------------- INFERENCE : 173 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CALCUL_JOURNEE_PAS_JOUE_E1
|
|
|
|
SUBSTITUTION : (E2) par FROMAGEAU
|
|
(E1) par BRIEND
|
|
(D) par d0
|
|
(J_ALLER) par 9
|
|
(NB_JOUR) par 5
|
|
|
|
FAITS DEDUITS :
|
|
|
|
FROMAGEAU JOUE_CONTRE BRIEND
|
|
BRIEND JOUE_CONTRE FROMAGEAU
|
|
BRIEND PAS_JOUE VRAI ' INEXISTANT
|
|
REPETITION' 0
|
|
MATCHS JOURNEE 14
|
|
MATCHS JOURNEE 9
|
|
FROMAGEAU JOUE_JOURNEE 9
|
|
BRIEND JOUE_JOURNEE 9
|
|
(FROMAGEAU JOUE_CONTRE BRIEND) JOURNEE 14
|
|
(BRIEND JOUE_CONTRE FROMAGEAU) JOURNEE 9
|
|
BRIEND JOUE_MATCH FROMAGEAU ' INEXISTANT
|
|
|
|
----------------------------------------- INFERENCE : 174 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par CALABRESE
|
|
(J) par 9
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CALABRESE PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 175 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par LEMIERE
|
|
(J) par 9
|
|
|
|
FAITS DEDUITS :
|
|
|
|
LEMIERE PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 176 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par PETETIN
|
|
(J) par 9
|
|
|
|
FAITS DEDUITS :
|
|
|
|
PETETIN PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 177 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par CHAREAU
|
|
(J) par 9
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CHAREAU PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 178 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par TRILLING
|
|
(J) par 9
|
|
|
|
FAITS DEDUITS :
|
|
|
|
TRILLING PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 179 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par PUJOL
|
|
(J) par 9
|
|
|
|
FAITS DEDUITS :
|
|
|
|
PUJOL PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 180 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par CALVARIN
|
|
(J) par 9
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CALVARIN PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 181 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par CLOITRE
|
|
(J) par 9
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CLOITRE PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 182 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par BOZEC
|
|
(J) par 9
|
|
|
|
FAITS DEDUITS :
|
|
|
|
BOZEC PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 183 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par CADORET
|
|
(J) par 9
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CADORET PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 184 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par LEMOINE
|
|
(J) par 9
|
|
|
|
FAITS DEDUITS :
|
|
|
|
LEMOINE PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 185 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par PEZRON
|
|
(J) par 9
|
|
|
|
FAITS DEDUITS :
|
|
|
|
PEZRON PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 186 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par LESTIC
|
|
(J) par 9
|
|
|
|
FAITS DEDUITS :
|
|
|
|
LESTIC PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 187 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par MASSON
|
|
(J) par 9
|
|
|
|
FAITS DEDUITS :
|
|
|
|
MASSON PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 188 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par VANDENBOSSCHE
|
|
(J) par 9
|
|
|
|
FAITS DEDUITS :
|
|
|
|
VANDENBOSSCHE PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 189 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par SAUVAN
|
|
(J) par 9
|
|
|
|
FAITS DEDUITS :
|
|
|
|
SAUVAN PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 190 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par LEFEVRE
|
|
(J) par 9
|
|
|
|
FAITS DEDUITS :
|
|
|
|
LEFEVRE PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 191 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par BELLEC
|
|
(J) par 9
|
|
|
|
FAITS DEDUITS :
|
|
|
|
BELLEC PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 192 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par BOUESSEL
|
|
(J) par 9
|
|
|
|
FAITS DEDUITS :
|
|
|
|
BOUESSEL PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 193 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par GUEGUENIAT
|
|
(J) par 9
|
|
|
|
FAITS DEDUITS :
|
|
|
|
GUEGUENIAT PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 194 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PAS_JOUE
|
|
|
|
SUBSTITUTION : (E) par LEPROVOST
|
|
(J) par 9
|
|
|
|
FAITS DEDUITS :
|
|
|
|
LEPROVOST PAS_JOUE VRAI
|
|
|
|
----------------------------------------- INFERENCE : 195 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CHANGER_JOURNEE
|
|
|
|
SUBSTITUTION : (J) par 9
|
|
|
|
FAITS DEDUITS :
|
|
|
|
REPETITION' 1
|
|
JOUR_COURANT' 10
|
|
|
|
----------------------------------------- INFERENCE : 196 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : FIN_CALCUL_JOURNEE
|
|
|
|
FAITS DEDUITS :
|
|
|
|
JOUR_COURANT' 1
|
|
ETAPE' 1
|
|
|
|
----------------------------------------- INFERENCE : 197 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PLACEMENT_MATCH**JOUR_COURANT**LIBRE**PAS_LUNDI
|
|
|
|
SUBSTITUTION : (C) par TREGASTEL_9h_1
|
|
(E1) par CALABRESE
|
|
(E2) par BRIEND
|
|
(VAR1) par (CALABRESE JOUE_CONTRE BRIEND)
|
|
(S) par S1
|
|
(J) par 1
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CALABRESE JOUE_CONTRE BRIEND
|
|
(CALABRESE JOUE_CONTRE BRIEND) JOURNEE 1
|
|
((CALABRESE JOUE_CONTRE BRIEND) JOURNEE 1) PDT_SEM S1
|
|
ETAPE' 2
|
|
BRIEND JOUE_SEM S1
|
|
BRIEND A_JOUE CALABRESE ' INEXISTANT
|
|
CALABRESE JOUE_SEM S1
|
|
CALABRESE A_JOUE BRIEND
|
|
TREGASTEL_9h_1 OCCUPE S1
|
|
(((CALABRESE JOUE_CONTRE BRIEND) JOURNEE 1) PDT_SEM S1) SUR_COURT
|
|
TREGASTEL_9h_1
|
|
|
|
----------------------------------------- INFERENCE : 198 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : MEME_JOUR
|
|
|
|
SUBSTITUTION : (E2) par LEMIERE
|
|
(E1) par PETETIN
|
|
(VAR1) par (PETETIN JOUE_CONTRE LEMIERE)
|
|
(J_COUR) par 1
|
|
|
|
FAITS DEDUITS :
|
|
|
|
ETAPE' 3
|
|
|
|
----------------------------------------- INFERENCE : 199 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**LUNDI**PROPRIETAIRE
|
|
|
|
SUBSTITUTION : (S) par S1
|
|
(J) par 1
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 200 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**LUNDI**LIBRE
|
|
|
|
SUBSTITUTION : (S) par S1
|
|
(J) par 1
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 201 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**PAS_LUNDI**PROPRIETAIRE
|
|
|
|
SUBSTITUTION : (S) par S1
|
|
(J) par 1
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 202 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**PAS_LUNDI**LIBRE
|
|
|
|
SUBSTITUTION : (S) par S1
|
|
(J) par 1
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
|
|
----------------------------------------- INFERENCE : 203 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : MEME_SEMAINE
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CONTINUER_SEMAINE' 0
|
|
ETAPE' 1
|
|
|
|
----------------------------------------- INFERENCE : 204 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PLACEMENT_MATCH**JOUR_COURANT**LIBRE**PAS_LUNDI
|
|
|
|
SUBSTITUTION : (C) par TREGASTEL_9h_2
|
|
(E1) par PETETIN
|
|
(E2) par LEMIERE
|
|
(VAR1) par (PETETIN JOUE_CONTRE LEMIERE)
|
|
(J) par 1
|
|
(S) par S1
|
|
|
|
FAITS DEDUITS :
|
|
|
|
PETETIN JOUE_CONTRE LEMIERE
|
|
(PETETIN JOUE_CONTRE LEMIERE) JOURNEE 1
|
|
((PETETIN JOUE_CONTRE LEMIERE) JOURNEE 1) PDT_SEM S1
|
|
ETAPE' 2
|
|
LEMIERE JOUE_SEM S1
|
|
LEMIERE A_JOUE PETETIN ' INEXISTANT
|
|
PETETIN JOUE_SEM S1
|
|
PETETIN A_JOUE LEMIERE
|
|
TREGASTEL_9h_2 OCCUPE S1
|
|
(((PETETIN JOUE_CONTRE LEMIERE) JOURNEE 1) PDT_SEM S1) SUR_COURT TREGASTEL_9h_2
|
|
|
|
----------------------------------------- INFERENCE : 205 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : MEME_JOUR
|
|
|
|
SUBSTITUTION : (E1) par PUJOL
|
|
(E2) par TRILLING
|
|
(VAR1) par (PUJOL JOUE_CONTRE TRILLING)
|
|
(J_COUR) par 1
|
|
|
|
FAITS DEDUITS :
|
|
|
|
ETAPE' 3
|
|
|
|
----------------------------------------- INFERENCE : 206 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**LUNDI**PROPRIETAIRE
|
|
|
|
SUBSTITUTION : (S) par S1
|
|
(J) par 1
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 207 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**LUNDI**LIBRE
|
|
|
|
SUBSTITUTION : (S) par S1
|
|
(J) par 1
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 208 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**PAS_LUNDI**PROPRIETAIRE
|
|
|
|
SUBSTITUTION : (S) par S1
|
|
(J) par 1
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 209 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**PAS_LUNDI**LIBRE
|
|
|
|
SUBSTITUTION : (S) par S1
|
|
(J) par 1
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
|
|
----------------------------------------- INFERENCE : 210 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : MEME_SEMAINE
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CONTINUER_SEMAINE' 0
|
|
ETAPE' 1
|
|
|
|
----------------------------------------- INFERENCE : 211 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PLACEMENT_MATCH**JOUR_COURANT**LIBRE**PAS_LUNDI
|
|
|
|
SUBSTITUTION : (C) par TREGASTEL_9h_3
|
|
(E1) par PUJOL
|
|
(E2) par TRILLING
|
|
(VAR1) par (PUJOL JOUE_CONTRE TRILLING)
|
|
(S) par S1
|
|
(J) par 1
|
|
|
|
FAITS DEDUITS :
|
|
|
|
PUJOL JOUE_CONTRE TRILLING
|
|
(PUJOL JOUE_CONTRE TRILLING) JOURNEE 1
|
|
((PUJOL JOUE_CONTRE TRILLING) JOURNEE 1) PDT_SEM S1
|
|
ETAPE' 2
|
|
TRILLING JOUE_SEM S1
|
|
TRILLING A_JOUE PUJOL ' INEXISTANT
|
|
PUJOL JOUE_SEM S1
|
|
PUJOL A_JOUE TRILLING
|
|
TREGASTEL_9h_3 OCCUPE S1
|
|
(((PUJOL JOUE_CONTRE TRILLING) JOURNEE 1) PDT_SEM S1) SUR_COURT TREGASTEL_9h_3
|
|
|
|
----------------------------------------- INFERENCE : 212 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : MEME_JOUR
|
|
|
|
SUBSTITUTION : (E1) par CLOITRE
|
|
(E2) par CALVARIN
|
|
(VAR1) par (CLOITRE JOUE_CONTRE CALVARIN)
|
|
(J_COUR) par 1
|
|
|
|
FAITS DEDUITS :
|
|
|
|
ETAPE' 3
|
|
|
|
----------------------------------------- INFERENCE : 213 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**LUNDI**PROPRIETAIRE
|
|
|
|
SUBSTITUTION : (S) par S1
|
|
(J) par 1
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 214 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**LUNDI**LIBRE
|
|
|
|
SUBSTITUTION : (S) par S1
|
|
(J) par 1
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 215 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**PAS_LUNDI**PROPRIETAIRE
|
|
|
|
SUBSTITUTION : (S) par S1
|
|
(J) par 1
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 216 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**PAS_LUNDI**LIBRE
|
|
|
|
SUBSTITUTION : (S) par S1
|
|
(J) par 1
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
|
|
----------------------------------------- INFERENCE : 217 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : MEME_SEMAINE
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CONTINUER_SEMAINE' 0
|
|
ETAPE' 1
|
|
|
|
----------------------------------------- INFERENCE : 218 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PLACEMENT_MATCH**JOUR_COURANT**LIBRE**PAS_LUNDI
|
|
|
|
SUBSTITUTION : (C) par TREGASTEL_9h_4
|
|
(E1) par CLOITRE
|
|
(E2) par CALVARIN
|
|
(VAR1) par (CLOITRE JOUE_CONTRE CALVARIN)
|
|
(J) par 1
|
|
(S) par S1
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CLOITRE JOUE_CONTRE CALVARIN
|
|
(CLOITRE JOUE_CONTRE CALVARIN) JOURNEE 1
|
|
((CLOITRE JOUE_CONTRE CALVARIN) JOURNEE 1) PDT_SEM S1
|
|
ETAPE' 2
|
|
CALVARIN JOUE_SEM S1
|
|
CALVARIN A_JOUE CLOITRE ' INEXISTANT
|
|
CLOITRE JOUE_SEM S1
|
|
CLOITRE A_JOUE CALVARIN
|
|
TREGASTEL_9h_4 OCCUPE S1
|
|
(((CLOITRE JOUE_CONTRE CALVARIN) JOURNEE 1) PDT_SEM S1) SUR_COURT
|
|
TREGASTEL_9h_4
|
|
|
|
----------------------------------------- INFERENCE : 219 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : MEME_JOUR
|
|
|
|
SUBSTITUTION : (E2) par BOZEC
|
|
(E1) par CADORET
|
|
(VAR1) par (CADORET JOUE_CONTRE BOZEC)
|
|
(J_COUR) par 1
|
|
|
|
FAITS DEDUITS :
|
|
|
|
ETAPE' 3
|
|
|
|
----------------------------------------- INFERENCE : 220 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**LUNDI**PROPRIETAIRE
|
|
|
|
SUBSTITUTION : (S) par S1
|
|
(J) par 1
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 221 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**LUNDI**LIBRE
|
|
|
|
SUBSTITUTION : (S) par S1
|
|
(J) par 1
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 222 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**PAS_LUNDI**PROPRIETAIRE
|
|
|
|
SUBSTITUTION : (S) par S1
|
|
(J) par 1
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 223 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**PAS_LUNDI**LIBRE
|
|
|
|
SUBSTITUTION : (S) par S1
|
|
(J) par 1
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
|
|
----------------------------------------- INFERENCE : 224 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : MEME_SEMAINE
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CONTINUER_SEMAINE' 0
|
|
ETAPE' 1
|
|
|
|
----------------------------------------- INFERENCE : 225 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PLACEMENT_MATCH**JOUR_COURANT**LIBRE**PAS_LUNDI
|
|
|
|
SUBSTITUTION : (C) par TREGASTEL_9h_5
|
|
(E1) par CADORET
|
|
(E2) par BOZEC
|
|
(VAR1) par (CADORET JOUE_CONTRE BOZEC)
|
|
(S) par S1
|
|
(J) par 1
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CADORET JOUE_CONTRE BOZEC
|
|
(CADORET JOUE_CONTRE BOZEC) JOURNEE 1
|
|
((CADORET JOUE_CONTRE BOZEC) JOURNEE 1) PDT_SEM S1
|
|
ETAPE' 2
|
|
BOZEC JOUE_SEM S1
|
|
BOZEC A_JOUE CADORET ' INEXISTANT
|
|
CADORET JOUE_SEM S1
|
|
CADORET A_JOUE BOZEC
|
|
TREGASTEL_9h_5 OCCUPE S1
|
|
(((CADORET JOUE_CONTRE BOZEC) JOURNEE 1) PDT_SEM S1) SUR_COURT TREGASTEL_9h_5
|
|
|
|
----------------------------------------- INFERENCE : 226 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : MEME_JOUR
|
|
|
|
SUBSTITUTION : (E2) par LEMOINE
|
|
(E1) par PEZRON
|
|
(VAR1) par (PEZRON JOUE_CONTRE LEMOINE)
|
|
(J_COUR) par 1
|
|
|
|
FAITS DEDUITS :
|
|
|
|
ETAPE' 3
|
|
|
|
----------------------------------------- INFERENCE : 227 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**LUNDI**PROPRIETAIRE
|
|
|
|
SUBSTITUTION : (S) par S1
|
|
(J) par 1
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 228 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**LUNDI**LIBRE
|
|
|
|
SUBSTITUTION : (S) par S1
|
|
(J) par 1
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 229 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**PAS_LUNDI**PROPRIETAIRE
|
|
|
|
SUBSTITUTION : (S) par S1
|
|
(J) par 1
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 230 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**PAS_LUNDI**LIBRE
|
|
|
|
SUBSTITUTION : (S) par S1
|
|
(J) par 1
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
|
|
----------------------------------------- INFERENCE : 231 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : MEME_SEMAINE
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CONTINUER_SEMAINE' 0
|
|
ETAPE' 1
|
|
|
|
----------------------------------------- INFERENCE : 232 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PLACEMENT_MATCH**JOUR_COURANT**LIBRE**PAS_LUNDI
|
|
|
|
SUBSTITUTION : (C) par TREGASTEL_10h30_1
|
|
(E1) par PEZRON
|
|
(E2) par LEMOINE
|
|
(VAR1) par (PEZRON JOUE_CONTRE LEMOINE)
|
|
(J) par 1
|
|
(S) par S1
|
|
|
|
FAITS DEDUITS :
|
|
|
|
PEZRON JOUE_CONTRE LEMOINE
|
|
(PEZRON JOUE_CONTRE LEMOINE) JOURNEE 1
|
|
((PEZRON JOUE_CONTRE LEMOINE) JOURNEE 1) PDT_SEM S1
|
|
ETAPE' 2
|
|
LEMOINE JOUE_SEM S1
|
|
LEMOINE A_JOUE PEZRON ' INEXISTANT
|
|
PEZRON JOUE_SEM S1
|
|
PEZRON A_JOUE LEMOINE
|
|
TREGASTEL_10h30_1 OCCUPE S1
|
|
(((PEZRON JOUE_CONTRE LEMOINE) JOURNEE 1) PDT_SEM S1) SUR_COURT
|
|
TREGASTEL_10h30_1
|
|
|
|
----------------------------------------- INFERENCE : 233 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : MEME_JOUR
|
|
|
|
SUBSTITUTION : (E1) par LEFEVRE
|
|
(E2) par SAUVAN
|
|
(VAR1) par (LEFEVRE JOUE_CONTRE SAUVAN)
|
|
(J_COUR) par 1
|
|
|
|
FAITS DEDUITS :
|
|
|
|
ETAPE' 3
|
|
|
|
----------------------------------------- INFERENCE : 234 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**LUNDI**PROPRIETAIRE
|
|
|
|
SUBSTITUTION : (S) par S1
|
|
(J) par 1
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 235 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**LUNDI**LIBRE
|
|
|
|
SUBSTITUTION : (S) par S1
|
|
(J) par 1
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 236 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**PAS_LUNDI**PROPRIETAIRE
|
|
|
|
SUBSTITUTION : (S) par S1
|
|
(J) par 1
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 237 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**PAS_LUNDI**LIBRE
|
|
|
|
SUBSTITUTION : (S) par S1
|
|
(J) par 1
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
|
|
----------------------------------------- INFERENCE : 238 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : MEME_SEMAINE
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CONTINUER_SEMAINE' 0
|
|
ETAPE' 1
|
|
|
|
----------------------------------------- INFERENCE : 239 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PLACEMENT_MATCH**JOUR_COURANT**LIBRE**PAS_LUNDI
|
|
|
|
SUBSTITUTION : (C) par TREGASTEL_10h30_2
|
|
(E1) par LEFEVRE
|
|
(E2) par SAUVAN
|
|
(VAR1) par (LEFEVRE JOUE_CONTRE SAUVAN)
|
|
(S) par S1
|
|
(J) par 1
|
|
|
|
FAITS DEDUITS :
|
|
|
|
LEFEVRE JOUE_CONTRE SAUVAN
|
|
(LEFEVRE JOUE_CONTRE SAUVAN) JOURNEE 1
|
|
((LEFEVRE JOUE_CONTRE SAUVAN) JOURNEE 1) PDT_SEM S1
|
|
ETAPE' 2
|
|
SAUVAN JOUE_SEM S1
|
|
SAUVAN A_JOUE LEFEVRE ' INEXISTANT
|
|
LEFEVRE JOUE_SEM S1
|
|
LEFEVRE A_JOUE SAUVAN
|
|
TREGASTEL_10h30_2 OCCUPE S1
|
|
(((LEFEVRE JOUE_CONTRE SAUVAN) JOURNEE 1) PDT_SEM S1) SUR_COURT
|
|
TREGASTEL_10h30_2
|
|
|
|
----------------------------------------- INFERENCE : 240 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : MEME_JOUR
|
|
|
|
SUBSTITUTION : (E1) par MASSON
|
|
(E2) par LESTIC
|
|
(VAR1) par (MASSON JOUE_CONTRE LESTIC)
|
|
(J_COUR) par 1
|
|
|
|
FAITS DEDUITS :
|
|
|
|
ETAPE' 3
|
|
|
|
----------------------------------------- INFERENCE : 241 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**LUNDI**PROPRIETAIRE
|
|
|
|
SUBSTITUTION : (S) par S1
|
|
(J) par 1
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 242 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**LUNDI**LIBRE
|
|
|
|
SUBSTITUTION : (S) par S1
|
|
(J) par 1
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 243 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**PAS_LUNDI**PROPRIETAIRE
|
|
|
|
SUBSTITUTION : (S) par S1
|
|
(J) par 1
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 244 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**PAS_LUNDI**LIBRE
|
|
|
|
SUBSTITUTION : (S) par S1
|
|
(J) par 1
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
|
|
----------------------------------------- INFERENCE : 245 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : MEME_SEMAINE
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CONTINUER_SEMAINE' 0
|
|
ETAPE' 1
|
|
|
|
----------------------------------------- INFERENCE : 246 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PLACEMENT_MATCH**JOUR_COURANT**LIBRE**PAS_LUNDI
|
|
|
|
SUBSTITUTION : (C) par TREGASTEL_10h30_3
|
|
(E1) par MASSON
|
|
(E2) par LESTIC
|
|
(VAR1) par (MASSON JOUE_CONTRE LESTIC)
|
|
(J) par 1
|
|
(S) par S1
|
|
|
|
FAITS DEDUITS :
|
|
|
|
MASSON JOUE_CONTRE LESTIC
|
|
(MASSON JOUE_CONTRE LESTIC) JOURNEE 1
|
|
((MASSON JOUE_CONTRE LESTIC) JOURNEE 1) PDT_SEM S1
|
|
ETAPE' 2
|
|
LESTIC JOUE_SEM S1
|
|
LESTIC A_JOUE MASSON ' INEXISTANT
|
|
MASSON JOUE_SEM S1
|
|
MASSON A_JOUE LESTIC
|
|
TREGASTEL_10h30_3 OCCUPE S1
|
|
(((MASSON JOUE_CONTRE LESTIC) JOURNEE 1) PDT_SEM S1) SUR_COURT
|
|
TREGASTEL_10h30_3
|
|
|
|
----------------------------------------- INFERENCE : 247 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : MEME_JOUR
|
|
|
|
SUBSTITUTION : (E2) par BELLEC
|
|
(E1) par BOUESSEL
|
|
(VAR1) par (BOUESSEL JOUE_CONTRE BELLEC)
|
|
(J_COUR) par 1
|
|
|
|
FAITS DEDUITS :
|
|
|
|
ETAPE' 3
|
|
|
|
----------------------------------------- INFERENCE : 248 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**LUNDI**PROPRIETAIRE
|
|
|
|
SUBSTITUTION : (S) par S1
|
|
(J) par 1
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 249 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**LUNDI**LIBRE
|
|
|
|
SUBSTITUTION : (S) par S1
|
|
(J) par 1
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 250 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**PAS_LUNDI**PROPRIETAIRE
|
|
|
|
SUBSTITUTION : (S) par S1
|
|
(J) par 1
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 251 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**PAS_LUNDI**LIBRE
|
|
|
|
SUBSTITUTION : (S) par S1
|
|
(J) par 1
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
|
|
----------------------------------------- INFERENCE : 252 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : MEME_SEMAINE
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CONTINUER_SEMAINE' 0
|
|
ETAPE' 1
|
|
|
|
----------------------------------------- INFERENCE : 253 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PLACEMENT_MATCH**JOUR_COURANT**LIBRE**PAS_LUNDI
|
|
|
|
SUBSTITUTION : (C) par TREGASTEL_10h30_4
|
|
(E1) par BOUESSEL
|
|
(E2) par BELLEC
|
|
(VAR1) par (BOUESSEL JOUE_CONTRE BELLEC)
|
|
(S) par S1
|
|
(J) par 1
|
|
|
|
FAITS DEDUITS :
|
|
|
|
BOUESSEL JOUE_CONTRE BELLEC
|
|
(BOUESSEL JOUE_CONTRE BELLEC) JOURNEE 1
|
|
((BOUESSEL JOUE_CONTRE BELLEC) JOURNEE 1) PDT_SEM S1
|
|
ETAPE' 2
|
|
BELLEC JOUE_SEM S1
|
|
BELLEC A_JOUE BOUESSEL ' INEXISTANT
|
|
BOUESSEL JOUE_SEM S1
|
|
BOUESSEL A_JOUE BELLEC
|
|
TREGASTEL_10h30_4 OCCUPE S1
|
|
(((BOUESSEL JOUE_CONTRE BELLEC) JOURNEE 1) PDT_SEM S1) SUR_COURT
|
|
TREGASTEL_10h30_4
|
|
|
|
----------------------------------------- INFERENCE : 254 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : MEME_JOUR
|
|
|
|
SUBSTITUTION : (E2) par GUEGUENIAT
|
|
(E1) par LEPROVOST
|
|
(VAR1) par (LEPROVOST JOUE_CONTRE GUEGUENIAT)
|
|
(J_COUR) par 1
|
|
|
|
FAITS DEDUITS :
|
|
|
|
ETAPE' 3
|
|
|
|
----------------------------------------- INFERENCE : 255 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**LUNDI**PROPRIETAIRE
|
|
|
|
SUBSTITUTION : (S) par S1
|
|
(J) par 1
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 256 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**LUNDI**LIBRE
|
|
|
|
SUBSTITUTION : (S) par S1
|
|
(J) par 1
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 257 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**PAS_LUNDI**PROPRIETAIRE
|
|
|
|
SUBSTITUTION : (S) par S1
|
|
(J) par 1
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 258 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**PAS_LUNDI**LIBRE
|
|
|
|
SUBSTITUTION : (S) par S1
|
|
(J) par 1
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CONTINUER_SEMAINE' 1
|
|
|
|
----------------------------------------- INFERENCE : 259 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : MEME_SEMAINE
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CONTINUER_SEMAINE' 0
|
|
ETAPE' 1
|
|
|
|
----------------------------------------- INFERENCE : 260 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PLACEMENT_MATCH**JOUR_COURANT**LIBRE**PAS_LUNDI
|
|
|
|
SUBSTITUTION : (C) par TREGASTEL_10h30_5
|
|
(E1) par LEPROVOST
|
|
(E2) par GUEGUENIAT
|
|
(VAR1) par (LEPROVOST JOUE_CONTRE GUEGUENIAT)
|
|
(J) par 1
|
|
(S) par S1
|
|
|
|
FAITS DEDUITS :
|
|
|
|
LEPROVOST JOUE_CONTRE GUEGUENIAT
|
|
(LEPROVOST JOUE_CONTRE GUEGUENIAT) JOURNEE 1
|
|
((LEPROVOST JOUE_CONTRE GUEGUENIAT) JOURNEE 1) PDT_SEM S1
|
|
ETAPE' 2
|
|
GUEGUENIAT JOUE_SEM S1
|
|
GUEGUENIAT A_JOUE LEPROVOST ' INEXISTANT
|
|
LEPROVOST JOUE_SEM S1
|
|
LEPROVOST A_JOUE GUEGUENIAT
|
|
TREGASTEL_10h30_5 OCCUPE S1
|
|
(((LEPROVOST JOUE_CONTRE GUEGUENIAT) JOURNEE 1) PDT_SEM S1) SUR_COURT
|
|
TREGASTEL_10h30_5
|
|
|
|
----------------------------------------- INFERENCE : 261 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : JOUR_SUIVANT
|
|
|
|
SUBSTITUTION : (J_COUR) par 1
|
|
|
|
FAITS DEDUITS :
|
|
|
|
ETAPE' 3
|
|
1 TRAITE VRAI
|
|
JOUR_COURANT' 2
|
|
|
|
----------------------------------------- INFERENCE : 262 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**LUNDI**PROPRIETAIRE
|
|
|
|
SUBSTITUTION : (S) par S1
|
|
(J) par 2
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 263 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**LUNDI**LIBRE
|
|
|
|
SUBSTITUTION : (S) par S1
|
|
(J) par 2
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 264 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**PAS_LUNDI**PROPRIETAIRE
|
|
|
|
SUBSTITUTION : (S) par S1
|
|
(J) par 2
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 265 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**PAS_LUNDI**LIBRE
|
|
|
|
SUBSTITUTION : (S) par S1
|
|
(J) par 2
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 266 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CHANGEMENT_SEMAINE
|
|
|
|
SUBSTITUTION : (S_COUR) par S1
|
|
(S_SVT) par S2
|
|
|
|
FAITS DEDUITS :
|
|
|
|
ETAPE' 1
|
|
SEMAINE_COURANTE' S2
|
|
|
|
----------------------------------------- INFERENCE : 267 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PLACEMENT_MATCH**JOUR_COURANT**LIBRE**PAS_LUNDI
|
|
|
|
SUBSTITUTION : (C) par TREGASTEL_9h_1
|
|
(E1) par LEMIERE
|
|
(E2) par BRIEND
|
|
(VAR1) par (LEMIERE JOUE_CONTRE BRIEND)
|
|
(S) par S2
|
|
(J) par 2
|
|
|
|
FAITS DEDUITS :
|
|
|
|
LEMIERE JOUE_CONTRE BRIEND
|
|
(LEMIERE JOUE_CONTRE BRIEND) JOURNEE 2
|
|
((LEMIERE JOUE_CONTRE BRIEND) JOURNEE 2) PDT_SEM S2
|
|
ETAPE' 2
|
|
BRIEND JOUE_SEM S2
|
|
BRIEND A_JOUE LEMIERE ' INEXISTANT
|
|
LEMIERE JOUE_SEM S2
|
|
LEMIERE A_JOUE BRIEND
|
|
TREGASTEL_9h_1 OCCUPE S2
|
|
(((LEMIERE JOUE_CONTRE BRIEND) JOURNEE 2) PDT_SEM S2) SUR_COURT TREGASTEL_9h_1
|
|
|
|
----------------------------------------- INFERENCE : 268 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : MEME_JOUR
|
|
|
|
SUBSTITUTION : (E2) par CALABRESE
|
|
(E1) par PETETIN
|
|
(VAR1) par (PETETIN JOUE_CONTRE CALABRESE)
|
|
(J_COUR) par 2
|
|
|
|
FAITS DEDUITS :
|
|
|
|
ETAPE' 3
|
|
|
|
----------------------------------------- INFERENCE : 269 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**LUNDI**PROPRIETAIRE
|
|
|
|
SUBSTITUTION : (S) par S2
|
|
(J) par 2
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 270 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**LUNDI**LIBRE
|
|
|
|
SUBSTITUTION : (S) par S2
|
|
(J) par 2
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 271 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**PAS_LUNDI**PROPRIETAIRE
|
|
|
|
SUBSTITUTION : (S) par S2
|
|
(J) par 2
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 272 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**PAS_LUNDI**LIBRE
|
|
|
|
SUBSTITUTION : (S) par S2
|
|
(J) par 2
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
|
|
----------------------------------------- INFERENCE : 273 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : MEME_SEMAINE
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CONTINUER_SEMAINE' 0
|
|
ETAPE' 1
|
|
|
|
----------------------------------------- INFERENCE : 274 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PLACEMENT_MATCH**JOUR_COURANT**LIBRE**PAS_LUNDI
|
|
|
|
SUBSTITUTION : (C) par TREGASTEL_9h_2
|
|
(E1) par PETETIN
|
|
(E2) par CALABRESE
|
|
(VAR1) par (PETETIN JOUE_CONTRE CALABRESE)
|
|
(J) par 2
|
|
(S) par S2
|
|
|
|
FAITS DEDUITS :
|
|
|
|
PETETIN JOUE_CONTRE CALABRESE
|
|
(PETETIN JOUE_CONTRE CALABRESE) JOURNEE 2
|
|
((PETETIN JOUE_CONTRE CALABRESE) JOURNEE 2) PDT_SEM S2
|
|
ETAPE' 2
|
|
CALABRESE JOUE_SEM S2
|
|
CALABRESE A_JOUE PETETIN ' INEXISTANT
|
|
PETETIN JOUE_SEM S2
|
|
PETETIN A_JOUE CALABRESE
|
|
TREGASTEL_9h_2 OCCUPE S2
|
|
(((PETETIN JOUE_CONTRE CALABRESE) JOURNEE 2) PDT_SEM S2) SUR_COURT
|
|
TREGASTEL_9h_2
|
|
|
|
----------------------------------------- INFERENCE : 275 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : MEME_JOUR
|
|
|
|
SUBSTITUTION : (E1) par CALVARIN
|
|
(E2) par PUJOL
|
|
(VAR1) par (CALVARIN JOUE_CONTRE PUJOL)
|
|
(J_COUR) par 2
|
|
|
|
FAITS DEDUITS :
|
|
|
|
ETAPE' 3
|
|
|
|
----------------------------------------- INFERENCE : 276 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**LUNDI**PROPRIETAIRE
|
|
|
|
SUBSTITUTION : (S) par S2
|
|
(J) par 2
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 277 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**LUNDI**LIBRE
|
|
|
|
SUBSTITUTION : (S) par S2
|
|
(J) par 2
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 278 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**PAS_LUNDI**PROPRIETAIRE
|
|
|
|
SUBSTITUTION : (S) par S2
|
|
(J) par 2
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 279 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**PAS_LUNDI**LIBRE
|
|
|
|
SUBSTITUTION : (S) par S2
|
|
(J) par 2
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
|
|
----------------------------------------- INFERENCE : 280 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : MEME_SEMAINE
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CONTINUER_SEMAINE' 0
|
|
ETAPE' 1
|
|
|
|
----------------------------------------- INFERENCE : 281 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PLACEMENT_MATCH**JOUR_COURANT**LIBRE**PAS_LUNDI
|
|
|
|
SUBSTITUTION : (C) par TREGASTEL_9h_3
|
|
(E1) par CALVARIN
|
|
(E2) par PUJOL
|
|
(VAR1) par (CALVARIN JOUE_CONTRE PUJOL)
|
|
(S) par S2
|
|
(J) par 2
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CALVARIN JOUE_CONTRE PUJOL
|
|
(CALVARIN JOUE_CONTRE PUJOL) JOURNEE 2
|
|
((CALVARIN JOUE_CONTRE PUJOL) JOURNEE 2) PDT_SEM S2
|
|
ETAPE' 2
|
|
PUJOL JOUE_SEM S2
|
|
PUJOL A_JOUE CALVARIN ' INEXISTANT
|
|
CALVARIN JOUE_SEM S2
|
|
CALVARIN A_JOUE PUJOL
|
|
TREGASTEL_9h_3 OCCUPE S2
|
|
(((CALVARIN JOUE_CONTRE PUJOL) JOURNEE 2) PDT_SEM S2) SUR_COURT TREGASTEL_9h_3
|
|
|
|
----------------------------------------- INFERENCE : 282 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : MEME_JOUR
|
|
|
|
SUBSTITUTION : (E1) par LEMOINE
|
|
(E2) par CADORET
|
|
(VAR1) par (LEMOINE JOUE_CONTRE CADORET)
|
|
(J_COUR) par 2
|
|
|
|
FAITS DEDUITS :
|
|
|
|
ETAPE' 3
|
|
|
|
----------------------------------------- INFERENCE : 283 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**LUNDI**PROPRIETAIRE
|
|
|
|
SUBSTITUTION : (S) par S2
|
|
(J) par 2
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 284 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**LUNDI**LIBRE
|
|
|
|
SUBSTITUTION : (S) par S2
|
|
(J) par 2
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 285 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**PAS_LUNDI**PROPRIETAIRE
|
|
|
|
SUBSTITUTION : (S) par S2
|
|
(J) par 2
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 286 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**PAS_LUNDI**LIBRE
|
|
|
|
SUBSTITUTION : (S) par S2
|
|
(J) par 2
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
|
|
----------------------------------------- INFERENCE : 287 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : MEME_SEMAINE
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CONTINUER_SEMAINE' 0
|
|
ETAPE' 1
|
|
|
|
----------------------------------------- INFERENCE : 288 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PLACEMENT_MATCH**JOUR_COURANT**LIBRE**PAS_LUNDI
|
|
|
|
SUBSTITUTION : (C) par TREGASTEL_9h_4
|
|
(E1) par LEMOINE
|
|
(E2) par CADORET
|
|
(VAR1) par (LEMOINE JOUE_CONTRE CADORET)
|
|
(J) par 2
|
|
(S) par S2
|
|
|
|
FAITS DEDUITS :
|
|
|
|
LEMOINE JOUE_CONTRE CADORET
|
|
(LEMOINE JOUE_CONTRE CADORET) JOURNEE 2
|
|
((LEMOINE JOUE_CONTRE CADORET) JOURNEE 2) PDT_SEM S2
|
|
ETAPE' 2
|
|
CADORET JOUE_SEM S2
|
|
CADORET A_JOUE LEMOINE ' INEXISTANT
|
|
LEMOINE JOUE_SEM S2
|
|
LEMOINE A_JOUE CADORET
|
|
TREGASTEL_9h_4 OCCUPE S2
|
|
(((LEMOINE JOUE_CONTRE CADORET) JOURNEE 2) PDT_SEM S2) SUR_COURT TREGASTEL_9h_4
|
|
|
|
----------------------------------------- INFERENCE : 289 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : MEME_JOUR
|
|
|
|
SUBSTITUTION : (E2) par LESTIC
|
|
(E1) par LEFEVRE
|
|
(VAR1) par (LEFEVRE JOUE_CONTRE LESTIC)
|
|
(J_COUR) par 2
|
|
|
|
FAITS DEDUITS :
|
|
|
|
ETAPE' 3
|
|
|
|
----------------------------------------- INFERENCE : 290 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**LUNDI**PROPRIETAIRE
|
|
|
|
SUBSTITUTION : (S) par S2
|
|
(J) par 2
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 291 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**LUNDI**LIBRE
|
|
|
|
SUBSTITUTION : (S) par S2
|
|
(J) par 2
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 292 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**PAS_LUNDI**PROPRIETAIRE
|
|
|
|
SUBSTITUTION : (S) par S2
|
|
(J) par 2
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 293 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**PAS_LUNDI**LIBRE
|
|
|
|
SUBSTITUTION : (S) par S2
|
|
(J) par 2
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
|
|
----------------------------------------- INFERENCE : 294 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : MEME_SEMAINE
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CONTINUER_SEMAINE' 0
|
|
ETAPE' 1
|
|
|
|
----------------------------------------- INFERENCE : 295 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PLACEMENT_MATCH**JOUR_COURANT**LIBRE**PAS_LUNDI
|
|
|
|
SUBSTITUTION : (C) par TREGASTEL_9h_5
|
|
(E1) par LEFEVRE
|
|
(E2) par LESTIC
|
|
(VAR1) par (LEFEVRE JOUE_CONTRE LESTIC)
|
|
(S) par S2
|
|
(J) par 2
|
|
|
|
FAITS DEDUITS :
|
|
|
|
LEFEVRE JOUE_CONTRE LESTIC
|
|
(LEFEVRE JOUE_CONTRE LESTIC) JOURNEE 2
|
|
((LEFEVRE JOUE_CONTRE LESTIC) JOURNEE 2) PDT_SEM S2
|
|
ETAPE' 2
|
|
LESTIC JOUE_SEM S2
|
|
LESTIC A_JOUE LEFEVRE ' INEXISTANT
|
|
LEFEVRE JOUE_SEM S2
|
|
LEFEVRE A_JOUE LESTIC
|
|
TREGASTEL_9h_5 OCCUPE S2
|
|
(((LEFEVRE JOUE_CONTRE LESTIC) JOURNEE 2) PDT_SEM S2) SUR_COURT TREGASTEL_9h_5
|
|
|
|
----------------------------------------- INFERENCE : 296 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : MEME_JOUR
|
|
|
|
SUBSTITUTION : (E2) par BELLEC
|
|
(E1) par GUEGUENIAT
|
|
(VAR1) par (GUEGUENIAT JOUE_CONTRE BELLEC)
|
|
(J_COUR) par 2
|
|
|
|
FAITS DEDUITS :
|
|
|
|
ETAPE' 3
|
|
|
|
----------------------------------------- INFERENCE : 297 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**LUNDI**PROPRIETAIRE
|
|
|
|
SUBSTITUTION : (S) par S2
|
|
(J) par 2
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 298 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**LUNDI**LIBRE
|
|
|
|
SUBSTITUTION : (S) par S2
|
|
(J) par 2
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 299 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**PAS_LUNDI**PROPRIETAIRE
|
|
|
|
SUBSTITUTION : (S) par S2
|
|
(J) par 2
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 300 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**PAS_LUNDI**LIBRE
|
|
|
|
SUBSTITUTION : (S) par S2
|
|
(J) par 2
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
|
|
----------------------------------------- INFERENCE : 301 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : MEME_SEMAINE
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CONTINUER_SEMAINE' 0
|
|
ETAPE' 1
|
|
|
|
----------------------------------------- INFERENCE : 302 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PLACEMENT_MATCH**JOUR_COURANT**LIBRE**PAS_LUNDI
|
|
|
|
SUBSTITUTION : (C) par TREGASTEL_10h30_1
|
|
(E1) par GUEGUENIAT
|
|
(E2) par BELLEC
|
|
(VAR1) par (GUEGUENIAT JOUE_CONTRE BELLEC)
|
|
(J) par 2
|
|
(S) par S2
|
|
|
|
FAITS DEDUITS :
|
|
|
|
GUEGUENIAT JOUE_CONTRE BELLEC
|
|
(GUEGUENIAT JOUE_CONTRE BELLEC) JOURNEE 2
|
|
((GUEGUENIAT JOUE_CONTRE BELLEC) JOURNEE 2) PDT_SEM S2
|
|
ETAPE' 2
|
|
BELLEC JOUE_SEM S2
|
|
BELLEC A_JOUE GUEGUENIAT ' INEXISTANT
|
|
GUEGUENIAT JOUE_SEM S2
|
|
GUEGUENIAT A_JOUE BELLEC
|
|
TREGASTEL_10h30_1 OCCUPE S2
|
|
(((GUEGUENIAT JOUE_CONTRE BELLEC) JOURNEE 2) PDT_SEM S2) SUR_COURT
|
|
TREGASTEL_10h30_1
|
|
|
|
----------------------------------------- INFERENCE : 303 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : MEME_JOUR
|
|
|
|
SUBSTITUTION : (E1) par LEPROVOST
|
|
(E2) par BOUESSEL
|
|
(VAR1) par (LEPROVOST JOUE_CONTRE BOUESSEL)
|
|
(J_COUR) par 2
|
|
|
|
FAITS DEDUITS :
|
|
|
|
ETAPE' 3
|
|
|
|
----------------------------------------- INFERENCE : 304 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**LUNDI**PROPRIETAIRE
|
|
|
|
SUBSTITUTION : (S) par S2
|
|
(J) par 2
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 305 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**LUNDI**LIBRE
|
|
|
|
SUBSTITUTION : (S) par S2
|
|
(J) par 2
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 306 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**PAS_LUNDI**PROPRIETAIRE
|
|
|
|
SUBSTITUTION : (S) par S2
|
|
(J) par 2
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 307 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**PAS_LUNDI**LIBRE
|
|
|
|
SUBSTITUTION : (S) par S2
|
|
(J) par 2
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
|
|
----------------------------------------- INFERENCE : 308 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : MEME_SEMAINE
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CONTINUER_SEMAINE' 0
|
|
ETAPE' 1
|
|
|
|
----------------------------------------- INFERENCE : 309 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PLACEMENT_MATCH**JOUR_COURANT**LIBRE**PAS_LUNDI
|
|
|
|
SUBSTITUTION : (C) par TREGASTEL_10h30_2
|
|
(E1) par LEPROVOST
|
|
(E2) par BOUESSEL
|
|
(VAR1) par (LEPROVOST JOUE_CONTRE BOUESSEL)
|
|
(S) par S2
|
|
(J) par 2
|
|
|
|
FAITS DEDUITS :
|
|
|
|
LEPROVOST JOUE_CONTRE BOUESSEL
|
|
(LEPROVOST JOUE_CONTRE BOUESSEL) JOURNEE 2
|
|
((LEPROVOST JOUE_CONTRE BOUESSEL) JOURNEE 2) PDT_SEM S2
|
|
ETAPE' 2
|
|
BOUESSEL JOUE_SEM S2
|
|
BOUESSEL A_JOUE LEPROVOST ' INEXISTANT
|
|
LEPROVOST JOUE_SEM S2
|
|
LEPROVOST A_JOUE BOUESSEL
|
|
TREGASTEL_10h30_2 OCCUPE S2
|
|
(((LEPROVOST JOUE_CONTRE BOUESSEL) JOURNEE 2) PDT_SEM S2) SUR_COURT
|
|
TREGASTEL_10h30_2
|
|
|
|
----------------------------------------- INFERENCE : 310 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : MEME_JOUR
|
|
|
|
SUBSTITUTION : (E1) par PEZRON
|
|
(E2) par FROMAGEAU
|
|
(VAR1) par (PEZRON JOUE_CONTRE FROMAGEAU)
|
|
(J_COUR) par 2
|
|
|
|
FAITS DEDUITS :
|
|
|
|
ETAPE' 3
|
|
|
|
----------------------------------------- INFERENCE : 311 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**LUNDI**PROPRIETAIRE
|
|
|
|
SUBSTITUTION : (S) par S2
|
|
(J) par 2
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 312 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**LUNDI**LIBRE
|
|
|
|
SUBSTITUTION : (S) par S2
|
|
(J) par 2
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 313 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**PAS_LUNDI**PROPRIETAIRE
|
|
|
|
SUBSTITUTION : (S) par S2
|
|
(J) par 2
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 314 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**PAS_LUNDI**LIBRE
|
|
|
|
SUBSTITUTION : (S) par S2
|
|
(J) par 2
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
|
|
----------------------------------------- INFERENCE : 315 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : MEME_SEMAINE
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CONTINUER_SEMAINE' 0
|
|
ETAPE' 1
|
|
|
|
----------------------------------------- INFERENCE : 316 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PLACEMENT_MATCH**JOUR_COURANT**LIBRE**PAS_LUNDI
|
|
|
|
SUBSTITUTION : (C) par TREGASTEL_10h30_3
|
|
(E1) par PEZRON
|
|
(E2) par FROMAGEAU
|
|
(VAR1) par (PEZRON JOUE_CONTRE FROMAGEAU)
|
|
(J) par 2
|
|
(S) par S2
|
|
|
|
FAITS DEDUITS :
|
|
|
|
PEZRON JOUE_CONTRE FROMAGEAU
|
|
(PEZRON JOUE_CONTRE FROMAGEAU) JOURNEE 2
|
|
((PEZRON JOUE_CONTRE FROMAGEAU) JOURNEE 2) PDT_SEM S2
|
|
ETAPE' 2
|
|
FROMAGEAU JOUE_SEM S2
|
|
FROMAGEAU A_JOUE PEZRON ' INEXISTANT
|
|
PEZRON JOUE_SEM S2
|
|
PEZRON A_JOUE FROMAGEAU
|
|
TREGASTEL_10h30_3 OCCUPE S2
|
|
(((PEZRON JOUE_CONTRE FROMAGEAU) JOURNEE 2) PDT_SEM S2) SUR_COURT
|
|
TREGASTEL_10h30_3
|
|
|
|
----------------------------------------- INFERENCE : 317 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : MEME_JOUR
|
|
|
|
SUBSTITUTION : (E2) par CHAREAU
|
|
(E1) par CLOITRE
|
|
(VAR1) par (CLOITRE JOUE_CONTRE CHAREAU)
|
|
(J_COUR) par 2
|
|
|
|
FAITS DEDUITS :
|
|
|
|
ETAPE' 3
|
|
|
|
----------------------------------------- INFERENCE : 318 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**LUNDI**PROPRIETAIRE
|
|
|
|
SUBSTITUTION : (S) par S2
|
|
(J) par 2
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 319 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**LUNDI**LIBRE
|
|
|
|
SUBSTITUTION : (S) par S2
|
|
(J) par 2
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 320 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**PAS_LUNDI**PROPRIETAIRE
|
|
|
|
SUBSTITUTION : (S) par S2
|
|
(J) par 2
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 321 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**PAS_LUNDI**LIBRE
|
|
|
|
SUBSTITUTION : (S) par S2
|
|
(J) par 2
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
|
|
----------------------------------------- INFERENCE : 322 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : MEME_SEMAINE
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CONTINUER_SEMAINE' 0
|
|
ETAPE' 1
|
|
|
|
----------------------------------------- INFERENCE : 323 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PLACEMENT_MATCH**JOUR_COURANT**LIBRE**PAS_LUNDI
|
|
|
|
SUBSTITUTION : (C) par TREGASTEL_10h30_4
|
|
(E1) par CLOITRE
|
|
(E2) par CHAREAU
|
|
(VAR1) par (CLOITRE JOUE_CONTRE CHAREAU)
|
|
(S) par S2
|
|
(J) par 2
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CLOITRE JOUE_CONTRE CHAREAU
|
|
(CLOITRE JOUE_CONTRE CHAREAU) JOURNEE 2
|
|
((CLOITRE JOUE_CONTRE CHAREAU) JOURNEE 2) PDT_SEM S2
|
|
ETAPE' 2
|
|
CHAREAU JOUE_SEM S2
|
|
CHAREAU A_JOUE CLOITRE ' INEXISTANT
|
|
CLOITRE JOUE_SEM S2
|
|
CLOITRE A_JOUE CHAREAU
|
|
TREGASTEL_10h30_4 OCCUPE S2
|
|
(((CLOITRE JOUE_CONTRE CHAREAU) JOURNEE 2) PDT_SEM S2) SUR_COURT
|
|
TREGASTEL_10h30_4
|
|
|
|
----------------------------------------- INFERENCE : 324 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : MEME_JOUR
|
|
|
|
SUBSTITUTION : (E2) par MASSON
|
|
(E1) par VANDENBOSSCHE
|
|
(VAR1) par (VANDENBOSSCHE JOUE_CONTRE MASSON)
|
|
(J_COUR) par 2
|
|
|
|
FAITS DEDUITS :
|
|
|
|
ETAPE' 3
|
|
|
|
----------------------------------------- INFERENCE : 325 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**LUNDI**PROPRIETAIRE
|
|
|
|
SUBSTITUTION : (S) par S2
|
|
(J) par 2
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 326 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**LUNDI**LIBRE
|
|
|
|
SUBSTITUTION : (S) par S2
|
|
(J) par 2
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 327 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**PAS_LUNDI**PROPRIETAIRE
|
|
|
|
SUBSTITUTION : (S) par S2
|
|
(J) par 2
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 328 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**PAS_LUNDI**LIBRE
|
|
|
|
SUBSTITUTION : (S) par S2
|
|
(J) par 2
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CONTINUER_SEMAINE' 1
|
|
|
|
----------------------------------------- INFERENCE : 329 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : MEME_SEMAINE
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CONTINUER_SEMAINE' 0
|
|
ETAPE' 1
|
|
|
|
----------------------------------------- INFERENCE : 330 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PLACEMENT_MATCH**JOUR_COURANT**LIBRE**PAS_LUNDI
|
|
|
|
SUBSTITUTION : (C) par TREGASTEL_10h30_5
|
|
(E1) par VANDENBOSSCHE
|
|
(E2) par MASSON
|
|
(VAR1) par (VANDENBOSSCHE JOUE_CONTRE MASSON)
|
|
(J) par 2
|
|
(S) par S2
|
|
|
|
FAITS DEDUITS :
|
|
|
|
VANDENBOSSCHE JOUE_CONTRE MASSON
|
|
(VANDENBOSSCHE JOUE_CONTRE MASSON) JOURNEE 2
|
|
((VANDENBOSSCHE JOUE_CONTRE MASSON) JOURNEE 2) PDT_SEM S2
|
|
ETAPE' 2
|
|
MASSON JOUE_SEM S2
|
|
MASSON A_JOUE VANDENBOSSCHE ' INEXISTANT
|
|
VANDENBOSSCHE JOUE_SEM S2
|
|
VANDENBOSSCHE A_JOUE MASSON
|
|
TREGASTEL_10h30_5 OCCUPE S2
|
|
(((VANDENBOSSCHE JOUE_CONTRE MASSON) JOURNEE 2) PDT_SEM S2) SUR_COURT
|
|
TREGASTEL_10h30_5
|
|
|
|
----------------------------------------- INFERENCE : 331 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : JOUR_SUIVANT
|
|
|
|
SUBSTITUTION : (J_COUR) par 2
|
|
|
|
FAITS DEDUITS :
|
|
|
|
ETAPE' 3
|
|
2 TRAITE VRAI
|
|
JOUR_COURANT' 3
|
|
|
|
----------------------------------------- INFERENCE : 332 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**LUNDI**PROPRIETAIRE
|
|
|
|
SUBSTITUTION : (S) par S2
|
|
(J) par 3
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 333 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**LUNDI**LIBRE
|
|
|
|
SUBSTITUTION : (S) par S2
|
|
(J) par 3
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 334 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**PAS_LUNDI**PROPRIETAIRE
|
|
|
|
SUBSTITUTION : (S) par S2
|
|
(J) par 3
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 335 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**PAS_LUNDI**LIBRE
|
|
|
|
SUBSTITUTION : (S) par S2
|
|
(J) par 3
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 336 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CHANGEMENT_SEMAINE
|
|
|
|
SUBSTITUTION : (S_COUR) par S2
|
|
(S_SVT) par S3
|
|
|
|
FAITS DEDUITS :
|
|
|
|
ETAPE' 1
|
|
SEMAINE_COURANTE' S3
|
|
|
|
----------------------------------------- INFERENCE : 337 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PLACEMENT_MATCH**JOUR_COURANT**LIBRE**PAS_LUNDI
|
|
|
|
SUBSTITUTION : (C) par TREGASTEL_9h_1
|
|
(E1) par LEMIERE
|
|
(E2) par CALABRESE
|
|
(VAR1) par (LEMIERE JOUE_CONTRE CALABRESE)
|
|
(S) par S3
|
|
(J) par 3
|
|
|
|
FAITS DEDUITS :
|
|
|
|
LEMIERE JOUE_CONTRE CALABRESE
|
|
(LEMIERE JOUE_CONTRE CALABRESE) JOURNEE 3
|
|
((LEMIERE JOUE_CONTRE CALABRESE) JOURNEE 3) PDT_SEM S3
|
|
ETAPE' 2
|
|
CALABRESE JOUE_SEM S3
|
|
CALABRESE A_JOUE LEMIERE ' INEXISTANT
|
|
LEMIERE JOUE_SEM S3
|
|
LEMIERE A_JOUE CALABRESE
|
|
TREGASTEL_9h_1 OCCUPE S3
|
|
(((LEMIERE JOUE_CONTRE CALABRESE) JOURNEE 3) PDT_SEM S3) SUR_COURT
|
|
TREGASTEL_9h_1
|
|
|
|
----------------------------------------- INFERENCE : 338 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : MEME_JOUR
|
|
|
|
SUBSTITUTION : (E2) par BRIEND
|
|
(E1) par PETETIN
|
|
(VAR1) par (PETETIN JOUE_CONTRE BRIEND)
|
|
(J_COUR) par 3
|
|
|
|
FAITS DEDUITS :
|
|
|
|
ETAPE' 3
|
|
|
|
----------------------------------------- INFERENCE : 339 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**LUNDI**PROPRIETAIRE
|
|
|
|
SUBSTITUTION : (S) par S3
|
|
(J) par 3
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 340 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**LUNDI**LIBRE
|
|
|
|
SUBSTITUTION : (S) par S3
|
|
(J) par 3
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 341 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**PAS_LUNDI**PROPRIETAIRE
|
|
|
|
SUBSTITUTION : (S) par S3
|
|
(J) par 3
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 342 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**PAS_LUNDI**LIBRE
|
|
|
|
SUBSTITUTION : (S) par S3
|
|
(J) par 3
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
|
|
----------------------------------------- INFERENCE : 343 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : MEME_SEMAINE
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CONTINUER_SEMAINE' 0
|
|
ETAPE' 1
|
|
|
|
----------------------------------------- INFERENCE : 344 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PLACEMENT_MATCH**JOUR_COURANT**LIBRE**PAS_LUNDI
|
|
|
|
SUBSTITUTION : (C) par TREGASTEL_9h_2
|
|
(E1) par PETETIN
|
|
(E2) par BRIEND
|
|
(VAR1) par (PETETIN JOUE_CONTRE BRIEND)
|
|
(J) par 3
|
|
(S) par S3
|
|
|
|
FAITS DEDUITS :
|
|
|
|
PETETIN JOUE_CONTRE BRIEND
|
|
(PETETIN JOUE_CONTRE BRIEND) JOURNEE 3
|
|
((PETETIN JOUE_CONTRE BRIEND) JOURNEE 3) PDT_SEM S3
|
|
ETAPE' 2
|
|
BRIEND JOUE_SEM S3
|
|
BRIEND A_JOUE PETETIN ' INEXISTANT
|
|
PETETIN JOUE_SEM S3
|
|
PETETIN A_JOUE BRIEND
|
|
TREGASTEL_9h_2 OCCUPE S3
|
|
(((PETETIN JOUE_CONTRE BRIEND) JOURNEE 3) PDT_SEM S3) SUR_COURT TREGASTEL_9h_2
|
|
|
|
----------------------------------------- INFERENCE : 345 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : MEME_JOUR
|
|
|
|
SUBSTITUTION : (E1) par CLOITRE
|
|
(E2) par PUJOL
|
|
(VAR1) par (CLOITRE JOUE_CONTRE PUJOL)
|
|
(J_COUR) par 3
|
|
|
|
FAITS DEDUITS :
|
|
|
|
ETAPE' 3
|
|
|
|
----------------------------------------- INFERENCE : 346 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**LUNDI**PROPRIETAIRE
|
|
|
|
SUBSTITUTION : (S) par S3
|
|
(J) par 3
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 347 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**LUNDI**LIBRE
|
|
|
|
SUBSTITUTION : (S) par S3
|
|
(J) par 3
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 348 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**PAS_LUNDI**PROPRIETAIRE
|
|
|
|
SUBSTITUTION : (S) par S3
|
|
(J) par 3
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 349 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**PAS_LUNDI**LIBRE
|
|
|
|
SUBSTITUTION : (S) par S3
|
|
(J) par 3
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
|
|
----------------------------------------- INFERENCE : 350 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : MEME_SEMAINE
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CONTINUER_SEMAINE' 0
|
|
ETAPE' 1
|
|
|
|
----------------------------------------- INFERENCE : 351 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PLACEMENT_MATCH**JOUR_COURANT**LIBRE**PAS_LUNDI
|
|
|
|
SUBSTITUTION : (C) par TREGASTEL_9h_3
|
|
(E1) par CLOITRE
|
|
(E2) par PUJOL
|
|
(VAR1) par (CLOITRE JOUE_CONTRE PUJOL)
|
|
(S) par S3
|
|
(J) par 3
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CLOITRE JOUE_CONTRE PUJOL
|
|
(CLOITRE JOUE_CONTRE PUJOL) JOURNEE 3
|
|
((CLOITRE JOUE_CONTRE PUJOL) JOURNEE 3) PDT_SEM S3
|
|
ETAPE' 2
|
|
PUJOL JOUE_SEM S3
|
|
PUJOL A_JOUE CLOITRE ' INEXISTANT
|
|
CLOITRE JOUE_SEM S3
|
|
CLOITRE A_JOUE PUJOL
|
|
TREGASTEL_9h_3 OCCUPE S3
|
|
(((CLOITRE JOUE_CONTRE PUJOL) JOURNEE 3) PDT_SEM S3) SUR_COURT TREGASTEL_9h_3
|
|
|
|
----------------------------------------- INFERENCE : 352 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : MEME_JOUR
|
|
|
|
SUBSTITUTION : (E1) par PEZRON
|
|
(E2) par CADORET
|
|
(VAR1) par (PEZRON JOUE_CONTRE CADORET)
|
|
(J_COUR) par 3
|
|
|
|
FAITS DEDUITS :
|
|
|
|
ETAPE' 3
|
|
|
|
----------------------------------------- INFERENCE : 353 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**LUNDI**PROPRIETAIRE
|
|
|
|
SUBSTITUTION : (S) par S3
|
|
(J) par 3
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 354 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**LUNDI**LIBRE
|
|
|
|
SUBSTITUTION : (S) par S3
|
|
(J) par 3
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 355 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**PAS_LUNDI**PROPRIETAIRE
|
|
|
|
SUBSTITUTION : (S) par S3
|
|
(J) par 3
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 356 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**PAS_LUNDI**LIBRE
|
|
|
|
SUBSTITUTION : (S) par S3
|
|
(J) par 3
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
|
|
----------------------------------------- INFERENCE : 357 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : MEME_SEMAINE
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CONTINUER_SEMAINE' 0
|
|
ETAPE' 1
|
|
|
|
----------------------------------------- INFERENCE : 358 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PLACEMENT_MATCH**JOUR_COURANT**LIBRE**PAS_LUNDI
|
|
|
|
SUBSTITUTION : (C) par TREGASTEL_9h_4
|
|
(E1) par PEZRON
|
|
(E2) par CADORET
|
|
(VAR1) par (PEZRON JOUE_CONTRE CADORET)
|
|
(J) par 3
|
|
(S) par S3
|
|
|
|
FAITS DEDUITS :
|
|
|
|
PEZRON JOUE_CONTRE CADORET
|
|
(PEZRON JOUE_CONTRE CADORET) JOURNEE 3
|
|
((PEZRON JOUE_CONTRE CADORET) JOURNEE 3) PDT_SEM S3
|
|
ETAPE' 2
|
|
CADORET JOUE_SEM S3
|
|
CADORET A_JOUE PEZRON ' INEXISTANT
|
|
PEZRON JOUE_SEM S3
|
|
PEZRON A_JOUE CADORET
|
|
TREGASTEL_9h_4 OCCUPE S3
|
|
(((PEZRON JOUE_CONTRE CADORET) JOURNEE 3) PDT_SEM S3) SUR_COURT TREGASTEL_9h_4
|
|
|
|
----------------------------------------- INFERENCE : 359 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : MEME_JOUR
|
|
|
|
SUBSTITUTION : (E2) par MASSON
|
|
(E1) par LEFEVRE
|
|
(VAR1) par (LEFEVRE JOUE_CONTRE MASSON)
|
|
(J_COUR) par 3
|
|
|
|
FAITS DEDUITS :
|
|
|
|
ETAPE' 3
|
|
|
|
----------------------------------------- INFERENCE : 360 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**LUNDI**PROPRIETAIRE
|
|
|
|
SUBSTITUTION : (S) par S3
|
|
(J) par 3
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 361 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**LUNDI**LIBRE
|
|
|
|
SUBSTITUTION : (S) par S3
|
|
(J) par 3
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 362 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**PAS_LUNDI**PROPRIETAIRE
|
|
|
|
SUBSTITUTION : (S) par S3
|
|
(J) par 3
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 363 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**PAS_LUNDI**LIBRE
|
|
|
|
SUBSTITUTION : (S) par S3
|
|
(J) par 3
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
|
|
----------------------------------------- INFERENCE : 364 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : MEME_SEMAINE
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CONTINUER_SEMAINE' 0
|
|
ETAPE' 1
|
|
|
|
----------------------------------------- INFERENCE : 365 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PLACEMENT_MATCH**JOUR_COURANT**LIBRE**PAS_LUNDI
|
|
|
|
SUBSTITUTION : (C) par TREGASTEL_9h_5
|
|
(E1) par LEFEVRE
|
|
(E2) par MASSON
|
|
(VAR1) par (LEFEVRE JOUE_CONTRE MASSON)
|
|
(S) par S3
|
|
(J) par 3
|
|
|
|
FAITS DEDUITS :
|
|
|
|
LEFEVRE JOUE_CONTRE MASSON
|
|
(LEFEVRE JOUE_CONTRE MASSON) JOURNEE 3
|
|
((LEFEVRE JOUE_CONTRE MASSON) JOURNEE 3) PDT_SEM S3
|
|
ETAPE' 2
|
|
MASSON JOUE_SEM S3
|
|
MASSON A_JOUE LEFEVRE ' INEXISTANT
|
|
LEFEVRE JOUE_SEM S3
|
|
LEFEVRE A_JOUE MASSON
|
|
TREGASTEL_9h_5 OCCUPE S3
|
|
(((LEFEVRE JOUE_CONTRE MASSON) JOURNEE 3) PDT_SEM S3) SUR_COURT TREGASTEL_9h_5
|
|
|
|
----------------------------------------- INFERENCE : 366 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : MEME_JOUR
|
|
|
|
SUBSTITUTION : (E2) par BOUESSEL
|
|
(E1) par GUEGUENIAT
|
|
(VAR1) par (GUEGUENIAT JOUE_CONTRE BOUESSEL)
|
|
(J_COUR) par 3
|
|
|
|
FAITS DEDUITS :
|
|
|
|
ETAPE' 3
|
|
|
|
----------------------------------------- INFERENCE : 367 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**LUNDI**PROPRIETAIRE
|
|
|
|
SUBSTITUTION : (S) par S3
|
|
(J) par 3
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 368 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**LUNDI**LIBRE
|
|
|
|
SUBSTITUTION : (S) par S3
|
|
(J) par 3
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 369 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**PAS_LUNDI**PROPRIETAIRE
|
|
|
|
SUBSTITUTION : (S) par S3
|
|
(J) par 3
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 370 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**PAS_LUNDI**LIBRE
|
|
|
|
SUBSTITUTION : (S) par S3
|
|
(J) par 3
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
|
|
----------------------------------------- INFERENCE : 371 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : MEME_SEMAINE
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CONTINUER_SEMAINE' 0
|
|
ETAPE' 1
|
|
|
|
----------------------------------------- INFERENCE : 372 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PLACEMENT_MATCH**JOUR_COURANT**LIBRE**PAS_LUNDI
|
|
|
|
SUBSTITUTION : (C) par TREGASTEL_10h30_1
|
|
(E1) par GUEGUENIAT
|
|
(E2) par BOUESSEL
|
|
(VAR1) par (GUEGUENIAT JOUE_CONTRE BOUESSEL)
|
|
(J) par 3
|
|
(S) par S3
|
|
|
|
FAITS DEDUITS :
|
|
|
|
GUEGUENIAT JOUE_CONTRE BOUESSEL
|
|
(GUEGUENIAT JOUE_CONTRE BOUESSEL) JOURNEE 3
|
|
((GUEGUENIAT JOUE_CONTRE BOUESSEL) JOURNEE 3) PDT_SEM S3
|
|
ETAPE' 2
|
|
BOUESSEL JOUE_SEM S3
|
|
BOUESSEL A_JOUE GUEGUENIAT ' INEXISTANT
|
|
GUEGUENIAT JOUE_SEM S3
|
|
GUEGUENIAT A_JOUE BOUESSEL
|
|
TREGASTEL_10h30_1 OCCUPE S3
|
|
(((GUEGUENIAT JOUE_CONTRE BOUESSEL) JOURNEE 3) PDT_SEM S3) SUR_COURT
|
|
TREGASTEL_10h30_1
|
|
|
|
----------------------------------------- INFERENCE : 373 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : MEME_JOUR
|
|
|
|
SUBSTITUTION : (E1) par LEPROVOST
|
|
(E2) par BELLEC
|
|
(VAR1) par (LEPROVOST JOUE_CONTRE BELLEC)
|
|
(J_COUR) par 3
|
|
|
|
FAITS DEDUITS :
|
|
|
|
ETAPE' 3
|
|
|
|
----------------------------------------- INFERENCE : 374 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**LUNDI**PROPRIETAIRE
|
|
|
|
SUBSTITUTION : (S) par S3
|
|
(J) par 3
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 375 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**LUNDI**LIBRE
|
|
|
|
SUBSTITUTION : (S) par S3
|
|
(J) par 3
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 376 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**PAS_LUNDI**PROPRIETAIRE
|
|
|
|
SUBSTITUTION : (S) par S3
|
|
(J) par 3
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 377 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**PAS_LUNDI**LIBRE
|
|
|
|
SUBSTITUTION : (S) par S3
|
|
(J) par 3
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
|
|
----------------------------------------- INFERENCE : 378 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : MEME_SEMAINE
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CONTINUER_SEMAINE' 0
|
|
ETAPE' 1
|
|
|
|
----------------------------------------- INFERENCE : 379 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PLACEMENT_MATCH**JOUR_COURANT**LIBRE**PAS_LUNDI
|
|
|
|
SUBSTITUTION : (C) par TREGASTEL_10h30_2
|
|
(E1) par LEPROVOST
|
|
(E2) par BELLEC
|
|
(VAR1) par (LEPROVOST JOUE_CONTRE BELLEC)
|
|
(S) par S3
|
|
(J) par 3
|
|
|
|
FAITS DEDUITS :
|
|
|
|
LEPROVOST JOUE_CONTRE BELLEC
|
|
(LEPROVOST JOUE_CONTRE BELLEC) JOURNEE 3
|
|
((LEPROVOST JOUE_CONTRE BELLEC) JOURNEE 3) PDT_SEM S3
|
|
ETAPE' 2
|
|
BELLEC JOUE_SEM S3
|
|
BELLEC A_JOUE LEPROVOST ' INEXISTANT
|
|
LEPROVOST JOUE_SEM S3
|
|
LEPROVOST A_JOUE BELLEC
|
|
TREGASTEL_10h30_2 OCCUPE S3
|
|
(((LEPROVOST JOUE_CONTRE BELLEC) JOURNEE 3) PDT_SEM S3) SUR_COURT
|
|
TREGASTEL_10h30_2
|
|
|
|
----------------------------------------- INFERENCE : 380 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : MEME_JOUR
|
|
|
|
SUBSTITUTION : (E1) par TRILLING
|
|
(E2) par CHAREAU
|
|
(VAR1) par (TRILLING JOUE_CONTRE CHAREAU)
|
|
(J_COUR) par 3
|
|
|
|
FAITS DEDUITS :
|
|
|
|
ETAPE' 3
|
|
|
|
----------------------------------------- INFERENCE : 381 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**LUNDI**PROPRIETAIRE
|
|
|
|
SUBSTITUTION : (S) par S3
|
|
(J) par 3
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 382 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**LUNDI**LIBRE
|
|
|
|
SUBSTITUTION : (S) par S3
|
|
(J) par 3
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 383 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**PAS_LUNDI**PROPRIETAIRE
|
|
|
|
SUBSTITUTION : (S) par S3
|
|
(J) par 3
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 384 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**PAS_LUNDI**LIBRE
|
|
|
|
SUBSTITUTION : (S) par S3
|
|
(J) par 3
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
|
|
----------------------------------------- INFERENCE : 385 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : MEME_SEMAINE
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CONTINUER_SEMAINE' 0
|
|
ETAPE' 1
|
|
|
|
----------------------------------------- INFERENCE : 386 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PLACEMENT_MATCH**JOUR_COURANT**LIBRE**PAS_LUNDI
|
|
|
|
SUBSTITUTION : (C) par TREGASTEL_10h30_3
|
|
(E1) par TRILLING
|
|
(E2) par CHAREAU
|
|
(VAR1) par (TRILLING JOUE_CONTRE CHAREAU)
|
|
(J) par 3
|
|
(S) par S3
|
|
|
|
FAITS DEDUITS :
|
|
|
|
TRILLING JOUE_CONTRE CHAREAU
|
|
(TRILLING JOUE_CONTRE CHAREAU) JOURNEE 3
|
|
((TRILLING JOUE_CONTRE CHAREAU) JOURNEE 3) PDT_SEM S3
|
|
ETAPE' 2
|
|
CHAREAU JOUE_SEM S3
|
|
CHAREAU A_JOUE TRILLING ' INEXISTANT
|
|
TRILLING JOUE_SEM S3
|
|
TRILLING A_JOUE CHAREAU
|
|
TREGASTEL_10h30_3 OCCUPE S3
|
|
(((TRILLING JOUE_CONTRE CHAREAU) JOURNEE 3) PDT_SEM S3) SUR_COURT
|
|
TREGASTEL_10h30_3
|
|
|
|
----------------------------------------- INFERENCE : 387 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : MEME_JOUR
|
|
|
|
SUBSTITUTION : (E2) par FROMAGEAU
|
|
(E1) par BOZEC
|
|
(VAR1) par (BOZEC JOUE_CONTRE FROMAGEAU)
|
|
(J_COUR) par 3
|
|
|
|
FAITS DEDUITS :
|
|
|
|
ETAPE' 3
|
|
|
|
----------------------------------------- INFERENCE : 388 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**LUNDI**PROPRIETAIRE
|
|
|
|
SUBSTITUTION : (S) par S3
|
|
(J) par 3
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 389 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**LUNDI**LIBRE
|
|
|
|
SUBSTITUTION : (S) par S3
|
|
(J) par 3
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 390 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**PAS_LUNDI**PROPRIETAIRE
|
|
|
|
SUBSTITUTION : (S) par S3
|
|
(J) par 3
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 391 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**PAS_LUNDI**LIBRE
|
|
|
|
SUBSTITUTION : (S) par S3
|
|
(J) par 3
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CONTINUER_SEMAINE' 1
|
|
CONTINUER_SEMAINE' 1
|
|
|
|
----------------------------------------- INFERENCE : 392 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : MEME_SEMAINE
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CONTINUER_SEMAINE' 0
|
|
ETAPE' 1
|
|
|
|
----------------------------------------- INFERENCE : 393 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PLACEMENT_MATCH**JOUR_COURANT**LIBRE**PAS_LUNDI
|
|
|
|
SUBSTITUTION : (C) par TREGASTEL_10h30_4
|
|
(E1) par BOZEC
|
|
(E2) par FROMAGEAU
|
|
(VAR1) par (BOZEC JOUE_CONTRE FROMAGEAU)
|
|
(S) par S3
|
|
(J) par 3
|
|
|
|
FAITS DEDUITS :
|
|
|
|
BOZEC JOUE_CONTRE FROMAGEAU
|
|
(BOZEC JOUE_CONTRE FROMAGEAU) JOURNEE 3
|
|
((BOZEC JOUE_CONTRE FROMAGEAU) JOURNEE 3) PDT_SEM S3
|
|
ETAPE' 2
|
|
FROMAGEAU JOUE_SEM S3
|
|
FROMAGEAU A_JOUE BOZEC ' INEXISTANT
|
|
BOZEC JOUE_SEM S3
|
|
BOZEC A_JOUE FROMAGEAU
|
|
TREGASTEL_10h30_4 OCCUPE S3
|
|
(((BOZEC JOUE_CONTRE FROMAGEAU) JOURNEE 3) PDT_SEM S3) SUR_COURT
|
|
TREGASTEL_10h30_4
|
|
|
|
----------------------------------------- INFERENCE : 394 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : MEME_JOUR
|
|
|
|
SUBSTITUTION : (E2) par VANDENBOSSCHE
|
|
(E1) par SAUVAN
|
|
(VAR1) par (SAUVAN JOUE_CONTRE VANDENBOSSCHE)
|
|
(J_COUR) par 3
|
|
|
|
FAITS DEDUITS :
|
|
|
|
ETAPE' 3
|
|
|
|
----------------------------------------- INFERENCE : 395 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**LUNDI**PROPRIETAIRE
|
|
|
|
SUBSTITUTION : (S) par S3
|
|
(J) par 3
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 396 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**LUNDI**LIBRE
|
|
|
|
SUBSTITUTION : (S) par S3
|
|
(J) par 3
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 397 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**PAS_LUNDI**PROPRIETAIRE
|
|
|
|
SUBSTITUTION : (S) par S3
|
|
(J) par 3
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 398 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**PAS_LUNDI**LIBRE
|
|
|
|
SUBSTITUTION : (S) par S3
|
|
(J) par 3
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CONTINUER_SEMAINE' 1
|
|
|
|
----------------------------------------- INFERENCE : 399 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : MEME_SEMAINE
|
|
|
|
FAITS DEDUITS :
|
|
|
|
CONTINUER_SEMAINE' 0
|
|
ETAPE' 1
|
|
|
|
----------------------------------------- INFERENCE : 400 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : PLACEMENT_MATCH**JOUR_COURANT**LIBRE**PAS_LUNDI
|
|
|
|
SUBSTITUTION : (C) par TREGASTEL_10h30_5
|
|
(E1) par SAUVAN
|
|
(E2) par VANDENBOSSCHE
|
|
(VAR1) par (SAUVAN JOUE_CONTRE VANDENBOSSCHE)
|
|
(J) par 3
|
|
(S) par S3
|
|
|
|
FAITS DEDUITS :
|
|
|
|
SAUVAN JOUE_CONTRE VANDENBOSSCHE
|
|
(SAUVAN JOUE_CONTRE VANDENBOSSCHE) JOURNEE 3
|
|
((SAUVAN JOUE_CONTRE VANDENBOSSCHE) JOURNEE 3) PDT_SEM S3
|
|
ETAPE' 2
|
|
VANDENBOSSCHE JOUE_SEM S3
|
|
VANDENBOSSCHE A_JOUE SAUVAN ' INEXISTANT
|
|
SAUVAN JOUE_SEM S3
|
|
SAUVAN A_JOUE VANDENBOSSCHE
|
|
TREGASTEL_10h30_5 OCCUPE S3
|
|
(((SAUVAN JOUE_CONTRE VANDENBOSSCHE) JOURNEE 3) PDT_SEM S3) SUR_COURT
|
|
TREGASTEL_10h30_5
|
|
|
|
----------------------------------------- INFERENCE : 401 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : JOUR_SUIVANT
|
|
|
|
SUBSTITUTION : (J_COUR) par 3
|
|
|
|
FAITS DEDUITS :
|
|
|
|
ETAPE' 3
|
|
3 TRAITE VRAI
|
|
JOUR_COURANT' 4
|
|
|
|
----------------------------------------- INFERENCE : 402 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**LUNDI**PROPRIETAIRE
|
|
|
|
SUBSTITUTION : (S) par S3
|
|
(J) par 4
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 403 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**LUNDI**LIBRE
|
|
|
|
SUBSTITUTION : (S) par S3
|
|
(J) par 4
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 404 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**PAS_LUNDI**PROPRIETAIRE
|
|
|
|
SUBSTITUTION : (S) par S3
|
|
(J) par 4
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 405 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : RESTE_MATCH_SEMAINE**PAS_LUNDI**LIBRE
|
|
|
|
SUBSTITUTION : (S) par S3
|
|
(J) par 4
|
|
|
|
FAITS DEDUITS :
|
|
|
|
|
|
----------------------------------------- INFERENCE : 406 ----------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
DEMONSTRATION issue de la REGLE : CHANGEMENT_SEMAINE
|
|
|
|
SUBSTITUTION : (S_COUR) par S3
|
|
(S_SVT) par S1
|
|
|
|
FAITS DEDUITS :
|
|
|
|
ETAPE' 1
|
|
SEMAINE_COURANTE' S1
|
|
|
|
----------------------------------------- INFERENCE : 407 ----------------
|
|
|
|
********************************************************************************
|
|
|
|
INFERENCES
|
|
----------
|
|
|
|
--------------------------------------------------------------------------------
|
|
Nombre d'inferences : 407
|
|
|
|
Duree de chargement de la Base Compilee : 0.00 s
|
|
Duree de chargement de la Base de Faits : 0.00 s
|
|
Duree de l'execution des inferences : 0.00 s
|
|
Duree totale : 0.00 s
|
|
--------------------------------------------------------------------------------
|
|
|
|
BASE DE FAITS FINALE
|
|
--------------------
|
|
|
|
--------------------------------------------------------------------------------
|
|
Nombre total d'objets : 750
|
|
Nombre de triplets : 678
|
|
|
|
Nombre d'objets en place 1 : 0
|
|
Nombre d'objets en place 2 : 16
|
|
Nombre d'objets en place 3 : 0
|
|
Nombre d'objets en place statut : 10
|
|
--------------------------------------------------------------------------------
|
|
|
|
;
|
|
|
|
;
|
|
Faits statiques :
|
|
-----------------
|
|
;
|
|
DERNIER_JOUR' 15
|
|
FROMAGEAU' EQUIPE
|
|
BRIEND' EQUIPE
|
|
CALABRESE' EQUIPE
|
|
LEMIERE' EQUIPE
|
|
PETETIN' EQUIPE
|
|
CHAREAU' EQUIPE
|
|
TRILLING' EQUIPE
|
|
PUJOL' EQUIPE
|
|
CALVARIN' EQUIPE
|
|
CLOITRE' EQUIPE
|
|
BOZEC' EQUIPE
|
|
CADORET' EQUIPE
|
|
LEMOINE' EQUIPE
|
|
PEZRON' EQUIPE
|
|
LESTIC' EQUIPE
|
|
MASSON' EQUIPE
|
|
VANDENBOSSCHE' EQUIPE
|
|
SAUVAN' EQUIPE
|
|
LEFEVRE' EQUIPE
|
|
BELLEC' EQUIPE
|
|
BOUESSEL' EQUIPE
|
|
GUEGUENIAT' EQUIPE
|
|
LEPROVOST' EQUIPE
|
|
d0 NB_EQUIPE 5
|
|
FROMAGEAU JOUE_DIV d0
|
|
BRIEND JOUE_DIV d0
|
|
CALABRESE JOUE_DIV d0
|
|
LEMIERE JOUE_DIV d0
|
|
PETETIN JOUE_DIV d0
|
|
d1 NB_EQUIPE 5
|
|
CHAREAU JOUE_DIV d1
|
|
TRILLING JOUE_DIV d1
|
|
PUJOL JOUE_DIV d1
|
|
CALVARIN JOUE_DIV d1
|
|
CLOITRE JOUE_DIV d1
|
|
d2 NB_EQUIPE 5
|
|
BOZEC JOUE_DIV d2
|
|
CADORET JOUE_DIV d2
|
|
FROMAGEAU JOUE_DIV d2
|
|
LEMOINE JOUE_DIV d2
|
|
PEZRON JOUE_DIV d2
|
|
d3 NB_EQUIPE 5
|
|
LESTIC JOUE_DIV d3
|
|
MASSON JOUE_DIV d3
|
|
VANDENBOSSCHE JOUE_DIV d3
|
|
SAUVAN JOUE_DIV d3
|
|
LEFEVRE JOUE_DIV d3
|
|
d4 NB_EQUIPE 5
|
|
BELLEC JOUE_DIV d4
|
|
BOUESSEL JOUE_DIV d4
|
|
MASSON JOUE_DIV d4
|
|
GUEGUENIAT JOUE_DIV d4
|
|
LEPROVOST JOUE_DIV d4
|
|
TREGASTEL_9h_1' COURT
|
|
TREGASTEL_9h_2' COURT
|
|
TREGASTEL_9h_3' COURT
|
|
TREGASTEL_9h_4' COURT
|
|
TREGASTEL_9h_5' COURT
|
|
TREGASTEL_10h30_1' COURT
|
|
TREGASTEL_10h30_2' COURT
|
|
TREGASTEL_10h30_3' COURT
|
|
TREGASTEL_10h30_4' COURT
|
|
TREGASTEL_10h30_5' COURT
|
|
TREGASTEL_12h_1' COURT
|
|
TREGASTEL_12h_2' COURT
|
|
TREGASTEL_12h_3' COURT
|
|
TREGASTEL_12h_4' COURT
|
|
TREGASTEL_12h_5' COURT
|
|
TREGASTEL_13h30_1' COURT
|
|
TREGASTEL_13h30_2' COURT
|
|
TREGASTEL_13h30_3' COURT
|
|
TREGASTEL_13h30_4' COURT
|
|
TREGASTEL_13h30_5' COURT
|
|
TREGASTEL_15h_1' COURT
|
|
TREGASTEL_15h_2' COURT
|
|
TREGASTEL_15h_3' COURT
|
|
TREGASTEL_15h_4' COURT
|
|
TREGASTEL_15h_5' COURT
|
|
TREGASTEL_16h30_1' COURT
|
|
TREGASTEL_16h30_2' COURT
|
|
TREGASTEL_16h30_3' COURT
|
|
TREGASTEL_16h30_4' COURT
|
|
TREGASTEL_16h30_5' COURT
|
|
TREGASTEL_18h_1' COURT
|
|
TREGASTEL_18h_2' COURT
|
|
TREGASTEL_18h_3' COURT
|
|
TREGASTEL_18h_4' COURT
|
|
TREGASTEL_18h_5' COURT
|
|
TREGASTEL_19h30_1' COURT
|
|
TREGASTEL_19h30_2' COURT
|
|
TREGASTEL_19h30_3' COURT
|
|
TREGASTEL_19h30_4' COURT
|
|
TREGASTEL_19h30_5' COURT
|
|
TREGASTEL_9h_1 DAY SAMEDI
|
|
TREGASTEL_9h_2 DAY SAMEDI
|
|
TREGASTEL_9h_3 DAY SAMEDI
|
|
TREGASTEL_9h_4 DAY SAMEDI
|
|
TREGASTEL_9h_5 DAY SAMEDI
|
|
TREGASTEL_10h30_1 DAY SAMEDI
|
|
TREGASTEL_10h30_2 DAY SAMEDI
|
|
TREGASTEL_10h30_3 DAY SAMEDI
|
|
TREGASTEL_10h30_4 DAY SAMEDI
|
|
TREGASTEL_10h30_5 DAY SAMEDI
|
|
TREGASTEL_12h_1 DAY SAMEDI
|
|
TREGASTEL_12h_2 DAY SAMEDI
|
|
TREGASTEL_12h_3 DAY SAMEDI
|
|
TREGASTEL_12h_4 DAY SAMEDI
|
|
TREGASTEL_12h_5 DAY SAMEDI
|
|
TREGASTEL_13h30_1 DAY SAMEDI
|
|
TREGASTEL_13h30_2 DAY SAMEDI
|
|
TREGASTEL_13h30_3 DAY SAMEDI
|
|
TREGASTEL_13h30_4 DAY SAMEDI
|
|
TREGASTEL_13h30_5 DAY SAMEDI
|
|
TREGASTEL_15h_1 DAY SAMEDI
|
|
TREGASTEL_15h_2 DAY SAMEDI
|
|
TREGASTEL_15h_3 DAY SAMEDI
|
|
TREGASTEL_15h_4 DAY SAMEDI
|
|
TREGASTEL_15h_5 DAY SAMEDI
|
|
TREGASTEL_16h30_1 DAY SAMEDI
|
|
TREGASTEL_16h30_2 DAY SAMEDI
|
|
TREGASTEL_16h30_3 DAY SAMEDI
|
|
TREGASTEL_16h30_4 DAY SAMEDI
|
|
TREGASTEL_16h30_5 DAY SAMEDI
|
|
TREGASTEL_18h_1 DAY SAMEDI
|
|
TREGASTEL_18h_2 DAY SAMEDI
|
|
TREGASTEL_18h_3 DAY SAMEDI
|
|
TREGASTEL_18h_4 DAY SAMEDI
|
|
TREGASTEL_18h_5 DAY SAMEDI
|
|
TREGASTEL_19h30_1 DAY SAMEDI
|
|
TREGASTEL_19h30_2 DAY SAMEDI
|
|
TREGASTEL_19h30_3 DAY SAMEDI
|
|
TREGASTEL_19h30_4 DAY SAMEDI
|
|
TREGASTEL_19h30_5 DAY SAMEDI
|
|
S3' SEMAINE
|
|
S2' SEMAINE
|
|
S1' SEMAINE
|
|
S3 SUIT S2
|
|
S2 SUIT S1
|
|
S1 SUIT S3
|
|
;
|
|
Faits deduits (dynamiques ou generes) :
|
|
---------------------------------------
|
|
;
|
|
ETAPE' 1
|
|
JOUR_COURANT' 4
|
|
REPETITION' 1
|
|
SEMAINE_COURANTE' S1
|
|
CONTINUER_SEMAINE' 0
|
|
d4 NB_JOURNEE 5
|
|
d3 NB_JOURNEE 5
|
|
d2 NB_JOURNEE 5
|
|
d1 NB_JOURNEE 5
|
|
d0 NB_JOURNEE 5
|
|
MATCHS JOURNEE 6
|
|
MATCHS JOURNEE 1
|
|
GUEGUENIAT JOUE_JOURNEE 1
|
|
LEPROVOST JOUE_JOURNEE 1
|
|
(GUEGUENIAT JOUE_CONTRE LEPROVOST) JOURNEE 6
|
|
BELLEC JOUE_JOURNEE 1
|
|
BOUESSEL JOUE_JOURNEE 1
|
|
(BELLEC JOUE_CONTRE BOUESSEL) JOURNEE 6
|
|
LESTIC JOUE_JOURNEE 1
|
|
MASSON JOUE_JOURNEE 1
|
|
(LESTIC JOUE_CONTRE MASSON) JOURNEE 6
|
|
SAUVAN JOUE_JOURNEE 1
|
|
LEFEVRE JOUE_JOURNEE 1
|
|
(SAUVAN JOUE_CONTRE LEFEVRE) JOURNEE 6
|
|
LEMOINE JOUE_JOURNEE 1
|
|
PEZRON JOUE_JOURNEE 1
|
|
(LEMOINE JOUE_CONTRE PEZRON) JOURNEE 6
|
|
BOZEC JOUE_JOURNEE 1
|
|
CADORET JOUE_JOURNEE 1
|
|
(BOZEC JOUE_CONTRE CADORET) JOURNEE 6
|
|
CALVARIN JOUE_JOURNEE 1
|
|
CLOITRE JOUE_JOURNEE 1
|
|
(CALVARIN JOUE_CONTRE CLOITRE) JOURNEE 6
|
|
TRILLING JOUE_JOURNEE 1
|
|
PUJOL JOUE_JOURNEE 1
|
|
(TRILLING JOUE_CONTRE PUJOL) JOURNEE 6
|
|
LEMIERE JOUE_JOURNEE 1
|
|
PETETIN JOUE_JOURNEE 1
|
|
(LEMIERE JOUE_CONTRE PETETIN) JOURNEE 6
|
|
BRIEND JOUE_JOURNEE 1
|
|
CALABRESE JOUE_JOURNEE 1
|
|
(BRIEND JOUE_CONTRE CALABRESE) JOURNEE 6
|
|
CHAREAU PAS_JOUE VRAI
|
|
VANDENBOSSCHE PAS_JOUE VRAI
|
|
MATCHS JOURNEE 7
|
|
MATCHS JOURNEE 2
|
|
MASSON JOUE_JOURNEE 2
|
|
VANDENBOSSCHE JOUE_JOURNEE 2
|
|
(MASSON JOUE_CONTRE VANDENBOSSCHE) JOURNEE 7
|
|
CHAREAU JOUE_JOURNEE 2
|
|
CLOITRE JOUE_JOURNEE 2
|
|
(CHAREAU JOUE_CONTRE CLOITRE) JOURNEE 7
|
|
FROMAGEAU JOUE_JOURNEE 2
|
|
PEZRON JOUE_JOURNEE 2
|
|
(FROMAGEAU JOUE_CONTRE PEZRON) JOURNEE 7
|
|
BOUESSEL JOUE_JOURNEE 2
|
|
LEPROVOST JOUE_JOURNEE 2
|
|
(BOUESSEL JOUE_CONTRE LEPROVOST) JOURNEE 7
|
|
BELLEC JOUE_JOURNEE 2
|
|
GUEGUENIAT JOUE_JOURNEE 2
|
|
(BELLEC JOUE_CONTRE GUEGUENIAT) JOURNEE 7
|
|
LESTIC JOUE_JOURNEE 2
|
|
LEFEVRE JOUE_JOURNEE 2
|
|
(LESTIC JOUE_CONTRE LEFEVRE) JOURNEE 7
|
|
CADORET JOUE_JOURNEE 2
|
|
LEMOINE JOUE_JOURNEE 2
|
|
(CADORET JOUE_CONTRE LEMOINE) JOURNEE 7
|
|
PUJOL JOUE_JOURNEE 2
|
|
CALVARIN JOUE_JOURNEE 2
|
|
(PUJOL JOUE_CONTRE CALVARIN) JOURNEE 7
|
|
CALABRESE JOUE_JOURNEE 2
|
|
PETETIN JOUE_JOURNEE 2
|
|
(CALABRESE JOUE_CONTRE PETETIN) JOURNEE 7
|
|
BRIEND JOUE_JOURNEE 2
|
|
LEMIERE JOUE_JOURNEE 2
|
|
(BRIEND JOUE_CONTRE LEMIERE) JOURNEE 7
|
|
TRILLING PAS_JOUE VRAI
|
|
BOZEC PAS_JOUE VRAI
|
|
SAUVAN PAS_JOUE VRAI
|
|
MATCHS JOURNEE 8
|
|
MATCHS JOURNEE 3
|
|
VANDENBOSSCHE JOUE_JOURNEE 3
|
|
SAUVAN JOUE_JOURNEE 3
|
|
(VANDENBOSSCHE JOUE_CONTRE SAUVAN) JOURNEE 8
|
|
FROMAGEAU JOUE_JOURNEE 3
|
|
BOZEC JOUE_JOURNEE 3
|
|
(FROMAGEAU JOUE_CONTRE BOZEC) JOURNEE 8
|
|
CHAREAU JOUE_JOURNEE 3
|
|
TRILLING JOUE_JOURNEE 3
|
|
(CHAREAU JOUE_CONTRE TRILLING) JOURNEE 8
|
|
BELLEC JOUE_JOURNEE 3
|
|
LEPROVOST JOUE_JOURNEE 3
|
|
(BELLEC JOUE_CONTRE LEPROVOST) JOURNEE 8
|
|
BOUESSEL JOUE_JOURNEE 3
|
|
GUEGUENIAT JOUE_JOURNEE 3
|
|
(BOUESSEL JOUE_CONTRE GUEGUENIAT) JOURNEE 8
|
|
MASSON JOUE_JOURNEE 3
|
|
LEFEVRE JOUE_JOURNEE 3
|
|
(MASSON JOUE_CONTRE LEFEVRE) JOURNEE 8
|
|
CADORET JOUE_JOURNEE 3
|
|
PEZRON JOUE_JOURNEE 3
|
|
(CADORET JOUE_CONTRE PEZRON) JOURNEE 8
|
|
PUJOL JOUE_JOURNEE 3
|
|
CLOITRE JOUE_JOURNEE 3
|
|
(PUJOL JOUE_CONTRE CLOITRE) JOURNEE 8
|
|
BRIEND JOUE_JOURNEE 3
|
|
PETETIN JOUE_JOURNEE 3
|
|
(BRIEND JOUE_CONTRE PETETIN) JOURNEE 8
|
|
CALABRESE JOUE_JOURNEE 3
|
|
LEMIERE JOUE_JOURNEE 3
|
|
(CALABRESE JOUE_CONTRE LEMIERE) JOURNEE 8
|
|
CALVARIN PAS_JOUE VRAI
|
|
LEMOINE PAS_JOUE VRAI
|
|
LESTIC PAS_JOUE VRAI
|
|
MATCHS JOURNEE 9
|
|
MATCHS JOURNEE 4
|
|
BOZEC JOUE_JOURNEE 4
|
|
LEMOINE JOUE_JOURNEE 4
|
|
(BOZEC JOUE_CONTRE LEMOINE) JOURNEE 9
|
|
(LEMOINE JOUE_CONTRE BOZEC) JOURNEE 4
|
|
TRILLING JOUE_JOURNEE 4
|
|
CALVARIN JOUE_JOURNEE 4
|
|
(TRILLING JOUE_CONTRE CALVARIN) JOURNEE 9
|
|
(CALVARIN JOUE_CONTRE TRILLING) JOURNEE 4
|
|
LESTIC JOUE_JOURNEE 4
|
|
SAUVAN JOUE_JOURNEE 4
|
|
(LESTIC JOUE_CONTRE SAUVAN) JOURNEE 9
|
|
(SAUVAN JOUE_CONTRE LESTIC) JOURNEE 4
|
|
MASSON JOUE_JOURNEE 4
|
|
LEPROVOST JOUE_JOURNEE 4
|
|
(MASSON JOUE_CONTRE LEPROVOST) JOURNEE 9
|
|
(LEPROVOST JOUE_CONTRE MASSON) JOURNEE 4
|
|
VANDENBOSSCHE JOUE_JOURNEE 4
|
|
LEFEVRE JOUE_JOURNEE 4
|
|
(VANDENBOSSCHE JOUE_CONTRE LEFEVRE) JOURNEE 9
|
|
(LEFEVRE JOUE_CONTRE VANDENBOSSCHE) JOURNEE 4
|
|
FROMAGEAU JOUE_JOURNEE 4
|
|
CADORET JOUE_JOURNEE 4
|
|
(FROMAGEAU JOUE_CONTRE CADORET) JOURNEE 9
|
|
(CADORET JOUE_CONTRE FROMAGEAU) JOURNEE 4
|
|
CHAREAU JOUE_JOURNEE 4
|
|
PUJOL JOUE_JOURNEE 4
|
|
(CHAREAU JOUE_CONTRE PUJOL) JOURNEE 9
|
|
(PUJOL JOUE_CONTRE CHAREAU) JOURNEE 4
|
|
CALABRESE PAS_JOUE VRAI
|
|
LEMIERE PAS_JOUE VRAI
|
|
PETETIN PAS_JOUE VRAI
|
|
CLOITRE PAS_JOUE VRAI
|
|
PEZRON PAS_JOUE VRAI
|
|
BELLEC PAS_JOUE VRAI
|
|
BOUESSEL PAS_JOUE VRAI
|
|
GUEGUENIAT PAS_JOUE VRAI
|
|
MATCHS JOURNEE 10
|
|
MATCHS JOURNEE 5
|
|
MASSON JOUE_JOURNEE 5
|
|
GUEGUENIAT JOUE_JOURNEE 5
|
|
(MASSON JOUE_CONTRE GUEGUENIAT) JOURNEE 10
|
|
(GUEGUENIAT JOUE_CONTRE MASSON) JOURNEE 5
|
|
BOZEC JOUE_JOURNEE 5
|
|
PEZRON JOUE_JOURNEE 5
|
|
(BOZEC JOUE_CONTRE PEZRON) JOURNEE 10
|
|
(PEZRON JOUE_CONTRE BOZEC) JOURNEE 5
|
|
TRILLING JOUE_JOURNEE 5
|
|
CLOITRE JOUE_JOURNEE 5
|
|
(TRILLING JOUE_CONTRE CLOITRE) JOURNEE 10
|
|
(CLOITRE JOUE_CONTRE TRILLING) JOURNEE 5
|
|
FROMAGEAU JOUE_JOURNEE 5
|
|
PETETIN JOUE_JOURNEE 5
|
|
(FROMAGEAU JOUE_CONTRE PETETIN) JOURNEE 10
|
|
(PETETIN JOUE_CONTRE FROMAGEAU) JOURNEE 5
|
|
LESTIC JOUE_JOURNEE 5
|
|
VANDENBOSSCHE JOUE_JOURNEE 5
|
|
(LESTIC JOUE_CONTRE VANDENBOSSCHE) JOURNEE 10
|
|
(VANDENBOSSCHE JOUE_CONTRE LESTIC) JOURNEE 5
|
|
CHAREAU JOUE_JOURNEE 5
|
|
CALVARIN JOUE_JOURNEE 5
|
|
(CHAREAU JOUE_CONTRE CALVARIN) JOURNEE 10
|
|
(CALVARIN JOUE_CONTRE CHAREAU) JOURNEE 5
|
|
PUJOL PAS_JOUE VRAI
|
|
CADORET PAS_JOUE VRAI
|
|
LEFEVRE PAS_JOUE VRAI
|
|
LEPROVOST PAS_JOUE VRAI
|
|
MATCHS JOURNEE 11
|
|
MASSON JOUE_JOURNEE 6
|
|
BOUESSEL JOUE_JOURNEE 6
|
|
(MASSON JOUE_CONTRE BOUESSEL) JOURNEE 11
|
|
(BOUESSEL JOUE_CONTRE MASSON) JOURNEE 6
|
|
FROMAGEAU JOUE_JOURNEE 6
|
|
LEMOINE JOUE_JOURNEE 6
|
|
(FROMAGEAU JOUE_CONTRE LEMOINE) JOURNEE 11
|
|
(LEMOINE JOUE_CONTRE FROMAGEAU) JOURNEE 6
|
|
MATCHS JOURNEE 12
|
|
MASSON JOUE_JOURNEE 7
|
|
BELLEC JOUE_JOURNEE 7
|
|
(MASSON JOUE_CONTRE BELLEC) JOURNEE 12
|
|
(BELLEC JOUE_CONTRE MASSON) JOURNEE 7
|
|
FROMAGEAU JOUE_JOURNEE 7
|
|
LEMIERE JOUE_JOURNEE 7
|
|
(FROMAGEAU JOUE_CONTRE LEMIERE) JOURNEE 12
|
|
(LEMIERE JOUE_CONTRE FROMAGEAU) JOURNEE 7
|
|
MATCHS JOURNEE 13
|
|
MASSON JOUE_JOURNEE 8
|
|
SAUVAN JOUE_JOURNEE 8
|
|
(MASSON JOUE_CONTRE SAUVAN) JOURNEE 13
|
|
(SAUVAN JOUE_CONTRE MASSON) JOURNEE 8
|
|
FROMAGEAU JOUE_JOURNEE 8
|
|
CALABRESE JOUE_JOURNEE 8
|
|
(FROMAGEAU JOUE_CONTRE CALABRESE) JOURNEE 13
|
|
(CALABRESE JOUE_CONTRE FROMAGEAU) JOURNEE 8
|
|
MATCHS JOURNEE 14
|
|
FROMAGEAU JOUE_JOURNEE 9
|
|
BRIEND JOUE_JOURNEE 9
|
|
(FROMAGEAU JOUE_CONTRE BRIEND) JOURNEE 14
|
|
(BRIEND JOUE_CONTRE FROMAGEAU) JOURNEE 9
|
|
MASSON PAS_JOUE VRAI
|
|
BRIEND JOUE_SEM S1
|
|
CALABRESE JOUE_SEM S1
|
|
CALABRESE A_JOUE BRIEND
|
|
TREGASTEL_9h_1 OCCUPE S1
|
|
(((CALABRESE JOUE_CONTRE BRIEND) JOURNEE 1) PDT_SEM S1) SUR_COURT
|
|
TREGASTEL_9h_1
|
|
LEMIERE JOUE_SEM S1
|
|
PETETIN JOUE_SEM S1
|
|
PETETIN A_JOUE LEMIERE
|
|
TREGASTEL_9h_2 OCCUPE S1
|
|
(((PETETIN JOUE_CONTRE LEMIERE) JOURNEE 1) PDT_SEM S1) SUR_COURT TREGASTEL_9h_2
|
|
TRILLING JOUE_SEM S1
|
|
PUJOL JOUE_SEM S1
|
|
PUJOL A_JOUE TRILLING
|
|
TREGASTEL_9h_3 OCCUPE S1
|
|
(((PUJOL JOUE_CONTRE TRILLING) JOURNEE 1) PDT_SEM S1) SUR_COURT TREGASTEL_9h_3
|
|
CALVARIN JOUE_SEM S1
|
|
CLOITRE JOUE_SEM S1
|
|
CLOITRE A_JOUE CALVARIN
|
|
TREGASTEL_9h_4 OCCUPE S1
|
|
(((CLOITRE JOUE_CONTRE CALVARIN) JOURNEE 1) PDT_SEM S1) SUR_COURT
|
|
TREGASTEL_9h_4
|
|
BOZEC JOUE_SEM S1
|
|
CADORET JOUE_SEM S1
|
|
CADORET A_JOUE BOZEC
|
|
TREGASTEL_9h_5 OCCUPE S1
|
|
(((CADORET JOUE_CONTRE BOZEC) JOURNEE 1) PDT_SEM S1) SUR_COURT TREGASTEL_9h_5
|
|
LEMOINE JOUE_SEM S1
|
|
PEZRON JOUE_SEM S1
|
|
PEZRON A_JOUE LEMOINE
|
|
TREGASTEL_10h30_1 OCCUPE S1
|
|
(((PEZRON JOUE_CONTRE LEMOINE) JOURNEE 1) PDT_SEM S1) SUR_COURT
|
|
TREGASTEL_10h30_1
|
|
SAUVAN JOUE_SEM S1
|
|
LEFEVRE JOUE_SEM S1
|
|
LEFEVRE A_JOUE SAUVAN
|
|
TREGASTEL_10h30_2 OCCUPE S1
|
|
(((LEFEVRE JOUE_CONTRE SAUVAN) JOURNEE 1) PDT_SEM S1) SUR_COURT
|
|
TREGASTEL_10h30_2
|
|
LESTIC JOUE_SEM S1
|
|
MASSON JOUE_SEM S1
|
|
MASSON A_JOUE LESTIC
|
|
TREGASTEL_10h30_3 OCCUPE S1
|
|
(((MASSON JOUE_CONTRE LESTIC) JOURNEE 1) PDT_SEM S1) SUR_COURT
|
|
TREGASTEL_10h30_3
|
|
BELLEC JOUE_SEM S1
|
|
BOUESSEL JOUE_SEM S1
|
|
BOUESSEL A_JOUE BELLEC
|
|
TREGASTEL_10h30_4 OCCUPE S1
|
|
(((BOUESSEL JOUE_CONTRE BELLEC) JOURNEE 1) PDT_SEM S1) SUR_COURT
|
|
TREGASTEL_10h30_4
|
|
GUEGUENIAT JOUE_SEM S1
|
|
LEPROVOST JOUE_SEM S1
|
|
LEPROVOST A_JOUE GUEGUENIAT
|
|
TREGASTEL_10h30_5 OCCUPE S1
|
|
(((LEPROVOST JOUE_CONTRE GUEGUENIAT) JOURNEE 1) PDT_SEM S1) SUR_COURT
|
|
TREGASTEL_10h30_5
|
|
1 TRAITE VRAI
|
|
BRIEND JOUE_SEM S2
|
|
LEMIERE JOUE_SEM S2
|
|
LEMIERE A_JOUE BRIEND
|
|
TREGASTEL_9h_1 OCCUPE S2
|
|
(((LEMIERE JOUE_CONTRE BRIEND) JOURNEE 2) PDT_SEM S2) SUR_COURT TREGASTEL_9h_1
|
|
CALABRESE JOUE_SEM S2
|
|
PETETIN JOUE_SEM S2
|
|
PETETIN A_JOUE CALABRESE
|
|
TREGASTEL_9h_2 OCCUPE S2
|
|
(((PETETIN JOUE_CONTRE CALABRESE) JOURNEE 2) PDT_SEM S2) SUR_COURT
|
|
TREGASTEL_9h_2
|
|
PUJOL JOUE_SEM S2
|
|
CALVARIN JOUE_SEM S2
|
|
CALVARIN A_JOUE PUJOL
|
|
TREGASTEL_9h_3 OCCUPE S2
|
|
(((CALVARIN JOUE_CONTRE PUJOL) JOURNEE 2) PDT_SEM S2) SUR_COURT TREGASTEL_9h_3
|
|
CADORET JOUE_SEM S2
|
|
LEMOINE JOUE_SEM S2
|
|
LEMOINE A_JOUE CADORET
|
|
TREGASTEL_9h_4 OCCUPE S2
|
|
(((LEMOINE JOUE_CONTRE CADORET) JOURNEE 2) PDT_SEM S2) SUR_COURT TREGASTEL_9h_4
|
|
LESTIC JOUE_SEM S2
|
|
LEFEVRE JOUE_SEM S2
|
|
LEFEVRE A_JOUE LESTIC
|
|
TREGASTEL_9h_5 OCCUPE S2
|
|
(((LEFEVRE JOUE_CONTRE LESTIC) JOURNEE 2) PDT_SEM S2) SUR_COURT TREGASTEL_9h_5
|
|
BELLEC JOUE_SEM S2
|
|
GUEGUENIAT JOUE_SEM S2
|
|
GUEGUENIAT A_JOUE BELLEC
|
|
TREGASTEL_10h30_1 OCCUPE S2
|
|
(((GUEGUENIAT JOUE_CONTRE BELLEC) JOURNEE 2) PDT_SEM S2) SUR_COURT
|
|
TREGASTEL_10h30_1
|
|
BOUESSEL JOUE_SEM S2
|
|
LEPROVOST JOUE_SEM S2
|
|
LEPROVOST A_JOUE BOUESSEL
|
|
TREGASTEL_10h30_2 OCCUPE S2
|
|
(((LEPROVOST JOUE_CONTRE BOUESSEL) JOURNEE 2) PDT_SEM S2) SUR_COURT
|
|
TREGASTEL_10h30_2
|
|
FROMAGEAU JOUE_SEM S2
|
|
PEZRON JOUE_SEM S2
|
|
PEZRON A_JOUE FROMAGEAU
|
|
TREGASTEL_10h30_3 OCCUPE S2
|
|
(((PEZRON JOUE_CONTRE FROMAGEAU) JOURNEE 2) PDT_SEM S2) SUR_COURT
|
|
TREGASTEL_10h30_3
|
|
CHAREAU JOUE_SEM S2
|
|
CLOITRE JOUE_SEM S2
|
|
CLOITRE A_JOUE CHAREAU
|
|
TREGASTEL_10h30_4 OCCUPE S2
|
|
(((CLOITRE JOUE_CONTRE CHAREAU) JOURNEE 2) PDT_SEM S2) SUR_COURT
|
|
TREGASTEL_10h30_4
|
|
MASSON JOUE_SEM S2
|
|
VANDENBOSSCHE JOUE_SEM S2
|
|
VANDENBOSSCHE A_JOUE MASSON
|
|
TREGASTEL_10h30_5 OCCUPE S2
|
|
(((VANDENBOSSCHE JOUE_CONTRE MASSON) JOURNEE 2) PDT_SEM S2) SUR_COURT
|
|
TREGASTEL_10h30_5
|
|
2 TRAITE VRAI
|
|
CALABRESE JOUE_SEM S3
|
|
LEMIERE JOUE_SEM S3
|
|
LEMIERE A_JOUE CALABRESE
|
|
TREGASTEL_9h_1 OCCUPE S3
|
|
(((LEMIERE JOUE_CONTRE CALABRESE) JOURNEE 3) PDT_SEM S3) SUR_COURT
|
|
TREGASTEL_9h_1
|
|
BRIEND JOUE_SEM S3
|
|
PETETIN JOUE_SEM S3
|
|
PETETIN A_JOUE BRIEND
|
|
TREGASTEL_9h_2 OCCUPE S3
|
|
(((PETETIN JOUE_CONTRE BRIEND) JOURNEE 3) PDT_SEM S3) SUR_COURT TREGASTEL_9h_2
|
|
PUJOL JOUE_SEM S3
|
|
CLOITRE JOUE_SEM S3
|
|
CLOITRE A_JOUE PUJOL
|
|
TREGASTEL_9h_3 OCCUPE S3
|
|
(((CLOITRE JOUE_CONTRE PUJOL) JOURNEE 3) PDT_SEM S3) SUR_COURT TREGASTEL_9h_3
|
|
CADORET JOUE_SEM S3
|
|
PEZRON JOUE_SEM S3
|
|
PEZRON A_JOUE CADORET
|
|
TREGASTEL_9h_4 OCCUPE S3
|
|
(((PEZRON JOUE_CONTRE CADORET) JOURNEE 3) PDT_SEM S3) SUR_COURT TREGASTEL_9h_4
|
|
MASSON JOUE_SEM S3
|
|
LEFEVRE JOUE_SEM S3
|
|
LEFEVRE A_JOUE MASSON
|
|
TREGASTEL_9h_5 OCCUPE S3
|
|
(((LEFEVRE JOUE_CONTRE MASSON) JOURNEE 3) PDT_SEM S3) SUR_COURT TREGASTEL_9h_5
|
|
BOUESSEL JOUE_SEM S3
|
|
GUEGUENIAT JOUE_SEM S3
|
|
GUEGUENIAT A_JOUE BOUESSEL
|
|
TREGASTEL_10h30_1 OCCUPE S3
|
|
(((GUEGUENIAT JOUE_CONTRE BOUESSEL) JOURNEE 3) PDT_SEM S3) SUR_COURT
|
|
TREGASTEL_10h30_1
|
|
BELLEC JOUE_SEM S3
|
|
LEPROVOST JOUE_SEM S3
|
|
LEPROVOST A_JOUE BELLEC
|
|
TREGASTEL_10h30_2 OCCUPE S3
|
|
(((LEPROVOST JOUE_CONTRE BELLEC) JOURNEE 3) PDT_SEM S3) SUR_COURT
|
|
TREGASTEL_10h30_2
|
|
CHAREAU JOUE_SEM S3
|
|
TRILLING JOUE_SEM S3
|
|
TRILLING A_JOUE CHAREAU
|
|
TREGASTEL_10h30_3 OCCUPE S3
|
|
(((TRILLING JOUE_CONTRE CHAREAU) JOURNEE 3) PDT_SEM S3) SUR_COURT
|
|
TREGASTEL_10h30_3
|
|
FROMAGEAU JOUE_SEM S3
|
|
BOZEC JOUE_SEM S3
|
|
BOZEC A_JOUE FROMAGEAU
|
|
TREGASTEL_10h30_4 OCCUPE S3
|
|
(((BOZEC JOUE_CONTRE FROMAGEAU) JOURNEE 3) PDT_SEM S3) SUR_COURT
|
|
TREGASTEL_10h30_4
|
|
VANDENBOSSCHE JOUE_SEM S3
|
|
SAUVAN JOUE_SEM S3
|
|
SAUVAN A_JOUE VANDENBOSSCHE
|
|
TREGASTEL_10h30_5 OCCUPE S3
|
|
(((SAUVAN JOUE_CONTRE VANDENBOSSCHE) JOURNEE 3) PDT_SEM S3) SUR_COURT
|
|
TREGASTEL_10h30_5
|
|
3 TRAITE VRAI
|
|
|