; -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E1) par sagem (E2) par asptt4 (D) par d3 FAITS DEDUITS : sagem ALLE asptt4 ' FAUX sagem VS asptt4 ----------------------------------------- INFERENCE : 1 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E1) par lucent (E2) par asptt4 (D) par d3 FAITS DEDUITS : lucent ALLE asptt4 ' FAUX lucent VS asptt4 ----------------------------------------- INFERENCE : 2 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E1) par transpac2 (E2) par asptt4 (D) par d3 FAITS DEDUITS : transpac2 ALLE asptt4 ' FAUX transpac2 VS asptt4 ----------------------------------------- INFERENCE : 3 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E1) par asul (E2) par asptt4 (D) par d3 FAITS DEDUITS : asul ALLE asptt4 ' FAUX asul VS asptt4 ----------------------------------------- INFERENCE : 4 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E1) par asac2 (E2) par asptt4 (D) par d3 FAITS DEDUITS : asac2 ALLE asptt4 ' FAUX asac2 VS asptt4 ----------------------------------------- INFERENCE : 5 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E1) par asptt4 (E2) par sagem (D) par d3 FAITS DEDUITS : asptt4 ALLE sagem ' FAUX asptt4 VS sagem ----------------------------------------- INFERENCE : 6 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E1) par lucent (E2) par sagem (D) par d3 FAITS DEDUITS : lucent ALLE sagem ' FAUX lucent VS sagem ----------------------------------------- INFERENCE : 7 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E1) par transpac2 (E2) par sagem (D) par d3 FAITS DEDUITS : transpac2 ALLE sagem ' FAUX transpac2 VS sagem ----------------------------------------- INFERENCE : 8 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E1) par asul (E2) par sagem (D) par d3 FAITS DEDUITS : asul ALLE sagem ' FAUX asul VS sagem ----------------------------------------- INFERENCE : 9 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E1) par asac2 (E2) par sagem (D) par d3 FAITS DEDUITS : asac2 ALLE sagem ' FAUX asac2 VS sagem ----------------------------------------- INFERENCE : 10 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E1) par asptt4 (E2) par lucent (D) par d3 FAITS DEDUITS : asptt4 ALLE lucent ' FAUX asptt4 VS lucent ----------------------------------------- INFERENCE : 11 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E1) par sagem (E2) par lucent (D) par d3 FAITS DEDUITS : sagem ALLE lucent ' FAUX sagem VS lucent ----------------------------------------- INFERENCE : 12 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E1) par transpac2 (E2) par lucent (D) par d3 FAITS DEDUITS : transpac2 ALLE lucent ' FAUX transpac2 VS lucent ----------------------------------------- INFERENCE : 13 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E1) par asul (E2) par lucent (D) par d3 FAITS DEDUITS : asul ALLE lucent ' FAUX asul VS lucent ----------------------------------------- INFERENCE : 14 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E1) par asac2 (E2) par lucent (D) par d3 FAITS DEDUITS : asac2 ALLE lucent ' FAUX asac2 VS lucent ----------------------------------------- INFERENCE : 15 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E1) par asptt4 (E2) par transpac2 (D) par d3 FAITS DEDUITS : asptt4 ALLE transpac2 ' FAUX asptt4 VS transpac2 ----------------------------------------- INFERENCE : 16 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E1) par sagem (E2) par transpac2 (D) par d3 FAITS DEDUITS : sagem ALLE transpac2 ' FAUX sagem VS transpac2 ----------------------------------------- INFERENCE : 17 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E1) par lucent (E2) par transpac2 (D) par d3 FAITS DEDUITS : lucent ALLE transpac2 ' FAUX lucent VS transpac2 ----------------------------------------- INFERENCE : 18 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E1) par asul (E2) par transpac2 (D) par d3 FAITS DEDUITS : asul ALLE transpac2 ' FAUX asul VS transpac2 ----------------------------------------- INFERENCE : 19 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E1) par asac2 (E2) par transpac2 (D) par d3 FAITS DEDUITS : asac2 ALLE transpac2 ' FAUX asac2 VS transpac2 ----------------------------------------- INFERENCE : 20 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E1) par asptt4 (E2) par asul (D) par d3 FAITS DEDUITS : asptt4 ALLE asul ' FAUX asptt4 VS asul ----------------------------------------- INFERENCE : 21 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E1) par sagem (E2) par asul (D) par d3 FAITS DEDUITS : sagem ALLE asul ' FAUX sagem VS asul ----------------------------------------- INFERENCE : 22 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E1) par lucent (E2) par asul (D) par d3 FAITS DEDUITS : lucent ALLE asul ' FAUX lucent VS asul ----------------------------------------- INFERENCE : 23 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E1) par transpac2 (E2) par asul (D) par d3 FAITS DEDUITS : transpac2 ALLE asul ' FAUX transpac2 VS asul ----------------------------------------- INFERENCE : 24 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E1) par asac2 (E2) par asul (D) par d3 FAITS DEDUITS : asac2 ALLE asul ' FAUX asac2 VS asul ----------------------------------------- INFERENCE : 25 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E1) par asptt4 (E2) par asac2 (D) par d3 FAITS DEDUITS : asptt4 ALLE asac2 ' FAUX asptt4 VS asac2 ----------------------------------------- INFERENCE : 26 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E1) par sagem (E2) par asac2 (D) par d3 FAITS DEDUITS : sagem ALLE asac2 ' FAUX sagem VS asac2 ----------------------------------------- INFERENCE : 27 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E1) par lucent (E2) par asac2 (D) par d3 FAITS DEDUITS : lucent ALLE asac2 ' FAUX lucent VS asac2 ----------------------------------------- INFERENCE : 28 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E1) par transpac2 (E2) par asac2 (D) par d3 FAITS DEDUITS : transpac2 ALLE asac2 ' FAUX transpac2 VS asac2 ----------------------------------------- INFERENCE : 29 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E1) par asul (E2) par asac2 (D) par d3 FAITS DEDUITS : asul ALLE asac2 ' FAUX asul VS asac2 ----------------------------------------- INFERENCE : 30 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E2) par asptt2 (E1) par asptt3 (D) par d2 FAITS DEDUITS : asptt3 ALLE asptt2 ' FAUX asptt3 VS asptt2 ----------------------------------------- INFERENCE : 31 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E2) par p.liberales3 (E1) par asptt3 (D) par d2 FAITS DEDUITS : asptt3 ALLE p.liberales3 ' FAUX asptt3 VS p.liberales3 ----------------------------------------- INFERENCE : 32 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E2) par tml (E1) par asptt3 (D) par d2 FAITS DEDUITS : asptt3 ALLE tml ' FAUX asptt3 VS tml ----------------------------------------- INFERENCE : 33 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E2) par airtria (E1) par asptt3 (D) par d2 FAITS DEDUITS : asptt3 ALLE airtria ' FAUX asptt3 VS airtria ----------------------------------------- INFERENCE : 34 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E2) par transpac1 (E1) par asptt3 (D) par d2 FAITS DEDUITS : asptt3 ALLE transpac1 ' FAUX asptt3 VS transpac1 ----------------------------------------- INFERENCE : 35 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E2) par asptt3 (E1) par asptt2 (D) par d2 FAITS DEDUITS : asptt2 ALLE asptt3 ' FAUX asptt2 VS asptt3 ----------------------------------------- INFERENCE : 36 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E2) par p.liberales3 (E1) par asptt2 (D) par d2 FAITS DEDUITS : asptt2 ALLE p.liberales3 ' FAUX asptt2 VS p.liberales3 ----------------------------------------- INFERENCE : 37 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E2) par tml (E1) par asptt2 (D) par d2 FAITS DEDUITS : asptt2 ALLE tml ' FAUX asptt2 VS tml ----------------------------------------- INFERENCE : 38 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E2) par airtria (E1) par asptt2 (D) par d2 FAITS DEDUITS : asptt2 ALLE airtria ' FAUX asptt2 VS airtria ----------------------------------------- INFERENCE : 39 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E2) par transpac1 (E1) par asptt2 (D) par d2 FAITS DEDUITS : asptt2 ALLE transpac1 ' FAUX asptt2 VS transpac1 ----------------------------------------- INFERENCE : 40 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E2) par asptt3 (E1) par p.liberales3 (D) par d2 FAITS DEDUITS : p.liberales3 ALLE asptt3 ' FAUX p.liberales3 VS asptt3 ----------------------------------------- INFERENCE : 41 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E2) par asptt2 (E1) par p.liberales3 (D) par d2 FAITS DEDUITS : p.liberales3 ALLE asptt2 ' FAUX p.liberales3 VS asptt2 ----------------------------------------- INFERENCE : 42 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E2) par tml (E1) par p.liberales3 (D) par d2 FAITS DEDUITS : p.liberales3 ALLE tml ' FAUX p.liberales3 VS tml ----------------------------------------- INFERENCE : 43 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E2) par airtria (E1) par p.liberales3 (D) par d2 FAITS DEDUITS : p.liberales3 ALLE airtria ' FAUX p.liberales3 VS airtria ----------------------------------------- INFERENCE : 44 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E2) par transpac1 (E1) par p.liberales3 (D) par d2 FAITS DEDUITS : p.liberales3 ALLE transpac1 ' FAUX p.liberales3 VS transpac1 ----------------------------------------- INFERENCE : 45 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E2) par asptt3 (E1) par tml (D) par d2 FAITS DEDUITS : tml ALLE asptt3 ' FAUX tml VS asptt3 ----------------------------------------- INFERENCE : 46 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E2) par asptt2 (E1) par tml (D) par d2 FAITS DEDUITS : tml ALLE asptt2 ' FAUX tml VS asptt2 ----------------------------------------- INFERENCE : 47 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E2) par p.liberales3 (E1) par tml (D) par d2 FAITS DEDUITS : tml ALLE p.liberales3 ' FAUX tml VS p.liberales3 ----------------------------------------- INFERENCE : 48 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E2) par airtria (E1) par tml (D) par d2 FAITS DEDUITS : tml ALLE airtria ' FAUX tml VS airtria ----------------------------------------- INFERENCE : 49 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E2) par transpac1 (E1) par tml (D) par d2 FAITS DEDUITS : tml ALLE transpac1 ' FAUX tml VS transpac1 ----------------------------------------- INFERENCE : 50 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E2) par asptt3 (E1) par airtria (D) par d2 FAITS DEDUITS : airtria ALLE asptt3 ' FAUX airtria VS asptt3 ----------------------------------------- INFERENCE : 51 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E2) par asptt2 (E1) par airtria (D) par d2 FAITS DEDUITS : airtria ALLE asptt2 ' FAUX airtria VS asptt2 ----------------------------------------- INFERENCE : 52 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E2) par p.liberales3 (E1) par airtria (D) par d2 FAITS DEDUITS : airtria ALLE p.liberales3 ' FAUX airtria VS p.liberales3 ----------------------------------------- INFERENCE : 53 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E2) par tml (E1) par airtria (D) par d2 FAITS DEDUITS : airtria ALLE tml ' FAUX airtria VS tml ----------------------------------------- INFERENCE : 54 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E2) par transpac1 (E1) par airtria (D) par d2 FAITS DEDUITS : airtria ALLE transpac1 ' FAUX airtria VS transpac1 ----------------------------------------- INFERENCE : 55 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E2) par asptt3 (E1) par transpac1 (D) par d2 FAITS DEDUITS : transpac1 ALLE asptt3 ' FAUX transpac1 VS asptt3 ----------------------------------------- INFERENCE : 56 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E2) par asptt2 (E1) par transpac1 (D) par d2 FAITS DEDUITS : transpac1 ALLE asptt2 ' FAUX transpac1 VS asptt2 ----------------------------------------- INFERENCE : 57 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E2) par p.liberales3 (E1) par transpac1 (D) par d2 FAITS DEDUITS : transpac1 ALLE p.liberales3 ' FAUX transpac1 VS p.liberales3 ----------------------------------------- INFERENCE : 58 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E2) par tml (E1) par transpac1 (D) par d2 FAITS DEDUITS : transpac1 ALLE tml ' FAUX transpac1 VS tml ----------------------------------------- INFERENCE : 59 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E2) par airtria (E1) par transpac1 (D) par d2 FAITS DEDUITS : transpac1 ALLE airtria ' FAUX transpac1 VS airtria ----------------------------------------- INFERENCE : 60 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E1) par p.liberales1 (E2) par p.liberales2 (D) par d1 FAITS DEDUITS : p.liberales1 ALLE p.liberales2 ' FAUX p.liberales1 VS p.liberales2 ----------------------------------------- INFERENCE : 61 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E1) par atscaf (E2) par p.liberales2 (D) par d1 FAITS DEDUITS : atscaf ALLE p.liberales2 ' FAUX atscaf VS p.liberales2 ----------------------------------------- INFERENCE : 62 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E1) par asptt1 (E2) par p.liberales2 (D) par d1 FAITS DEDUITS : asptt1 ALLE p.liberales2 ' FAUX asptt1 VS p.liberales2 ----------------------------------------- INFERENCE : 63 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E1) par asac1 (E2) par p.liberales2 (D) par d1 FAITS DEDUITS : asac1 ALLE p.liberales2 ' FAUX asac1 VS p.liberales2 ----------------------------------------- INFERENCE : 64 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E1) par amst (E2) par p.liberales2 (D) par d1 FAITS DEDUITS : amst ALLE p.liberales2 ' FAUX amst VS p.liberales2 ----------------------------------------- INFERENCE : 65 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E1) par p.liberales2 (E2) par p.liberales1 (D) par d1 FAITS DEDUITS : p.liberales2 ALLE p.liberales1 ' FAUX p.liberales2 VS p.liberales1 ----------------------------------------- INFERENCE : 66 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E1) par atscaf (E2) par p.liberales1 (D) par d1 FAITS DEDUITS : atscaf ALLE p.liberales1 ' FAUX atscaf VS p.liberales1 ----------------------------------------- INFERENCE : 67 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E1) par asptt1 (E2) par p.liberales1 (D) par d1 FAITS DEDUITS : asptt1 ALLE p.liberales1 ' FAUX asptt1 VS p.liberales1 ----------------------------------------- INFERENCE : 68 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E1) par asac1 (E2) par p.liberales1 (D) par d1 FAITS DEDUITS : asac1 ALLE p.liberales1 ' FAUX asac1 VS p.liberales1 ----------------------------------------- INFERENCE : 69 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E1) par amst (E2) par p.liberales1 (D) par d1 FAITS DEDUITS : amst ALLE p.liberales1 ' FAUX amst VS p.liberales1 ----------------------------------------- INFERENCE : 70 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E1) par p.liberales2 (E2) par atscaf (D) par d1 FAITS DEDUITS : p.liberales2 ALLE atscaf ' FAUX p.liberales2 VS atscaf ----------------------------------------- INFERENCE : 71 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E1) par p.liberales1 (E2) par atscaf (D) par d1 FAITS DEDUITS : p.liberales1 ALLE atscaf ' FAUX p.liberales1 VS atscaf ----------------------------------------- INFERENCE : 72 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E1) par asptt1 (E2) par atscaf (D) par d1 FAITS DEDUITS : asptt1 ALLE atscaf ' FAUX asptt1 VS atscaf ----------------------------------------- INFERENCE : 73 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E1) par asac1 (E2) par atscaf (D) par d1 FAITS DEDUITS : asac1 ALLE atscaf ' FAUX asac1 VS atscaf ----------------------------------------- INFERENCE : 74 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E1) par amst (E2) par atscaf (D) par d1 FAITS DEDUITS : amst ALLE atscaf ' FAUX amst VS atscaf ----------------------------------------- INFERENCE : 75 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E1) par p.liberales2 (E2) par asptt1 (D) par d1 FAITS DEDUITS : p.liberales2 ALLE asptt1 ' FAUX p.liberales2 VS asptt1 ----------------------------------------- INFERENCE : 76 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E1) par p.liberales1 (E2) par asptt1 (D) par d1 FAITS DEDUITS : p.liberales1 ALLE asptt1 ' FAUX p.liberales1 VS asptt1 ----------------------------------------- INFERENCE : 77 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E1) par atscaf (E2) par asptt1 (D) par d1 FAITS DEDUITS : atscaf ALLE asptt1 ' FAUX atscaf VS asptt1 ----------------------------------------- INFERENCE : 78 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E1) par asac1 (E2) par asptt1 (D) par d1 FAITS DEDUITS : asac1 ALLE asptt1 ' FAUX asac1 VS asptt1 ----------------------------------------- INFERENCE : 79 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E1) par amst (E2) par asptt1 (D) par d1 FAITS DEDUITS : amst ALLE asptt1 ' FAUX amst VS asptt1 ----------------------------------------- INFERENCE : 80 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E1) par p.liberales2 (E2) par asac1 (D) par d1 FAITS DEDUITS : p.liberales2 ALLE asac1 ' FAUX p.liberales2 VS asac1 ----------------------------------------- INFERENCE : 81 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E1) par p.liberales1 (E2) par asac1 (D) par d1 FAITS DEDUITS : p.liberales1 ALLE asac1 ' FAUX p.liberales1 VS asac1 ----------------------------------------- INFERENCE : 82 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E1) par atscaf (E2) par asac1 (D) par d1 FAITS DEDUITS : atscaf ALLE asac1 ' FAUX atscaf VS asac1 ----------------------------------------- INFERENCE : 83 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E1) par asptt1 (E2) par asac1 (D) par d1 FAITS DEDUITS : asptt1 ALLE asac1 ' FAUX asptt1 VS asac1 ----------------------------------------- INFERENCE : 84 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E1) par amst (E2) par asac1 (D) par d1 FAITS DEDUITS : amst ALLE asac1 ' FAUX amst VS asac1 ----------------------------------------- INFERENCE : 85 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E1) par p.liberales2 (E2) par amst (D) par d1 FAITS DEDUITS : p.liberales2 ALLE amst ' FAUX p.liberales2 VS amst ----------------------------------------- INFERENCE : 86 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E1) par p.liberales1 (E2) par amst (D) par d1 FAITS DEDUITS : p.liberales1 ALLE amst ' FAUX p.liberales1 VS amst ----------------------------------------- INFERENCE : 87 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E1) par atscaf (E2) par amst (D) par d1 FAITS DEDUITS : atscaf ALLE amst ' FAUX atscaf VS amst ----------------------------------------- INFERENCE : 88 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E1) par asptt1 (E2) par amst (D) par d1 FAITS DEDUITS : asptt1 ALLE amst ' FAUX asptt1 VS amst ----------------------------------------- INFERENCE : 89 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E1) par asac1 (E2) par amst (D) par d1 FAITS DEDUITS : asac1 ALLE amst ' FAUX asac1 VS amst ----------------------------------------- INFERENCE : 90 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E2) par asptt1f (E1) par asptt2f (D) par d0 FAITS DEDUITS : asptt2f ALLE asptt1f ' FAUX asptt2f VS asptt1f ----------------------------------------- INFERENCE : 91 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E2) par asulf (E1) par asptt2f (D) par d0 FAITS DEDUITS : asptt2f ALLE asulf ' FAUX asptt2f VS asulf ----------------------------------------- INFERENCE : 92 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E2) par asac2f (E1) par asptt2f (D) par d0 FAITS DEDUITS : asptt2f ALLE asac2f ' FAUX asptt2f VS asac2f ----------------------------------------- INFERENCE : 93 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E2) par asac1f (E1) par asptt2f (D) par d0 FAITS DEDUITS : asptt2f ALLE asac1f ' FAUX asptt2f VS asac1f ----------------------------------------- INFERENCE : 94 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E2) par amst2f (E1) par asptt2f (D) par d0 FAITS DEDUITS : asptt2f ALLE amst2f ' FAUX asptt2f VS amst2f ----------------------------------------- INFERENCE : 95 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E2) par amst1f (E1) par asptt2f (D) par d0 FAITS DEDUITS : asptt2f ALLE amst1f ' FAUX asptt2f VS amst1f ----------------------------------------- INFERENCE : 96 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E2) par asptt2f (E1) par asptt1f (D) par d0 FAITS DEDUITS : asptt1f ALLE asptt2f ' FAUX asptt1f VS asptt2f ----------------------------------------- INFERENCE : 97 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E2) par asulf (E1) par asptt1f (D) par d0 FAITS DEDUITS : asptt1f ALLE asulf ' FAUX asptt1f VS asulf ----------------------------------------- INFERENCE : 98 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E2) par asac2f (E1) par asptt1f (D) par d0 FAITS DEDUITS : asptt1f ALLE asac2f ' FAUX asptt1f VS asac2f ----------------------------------------- INFERENCE : 99 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E2) par asac1f (E1) par asptt1f (D) par d0 FAITS DEDUITS : asptt1f ALLE asac1f ' FAUX asptt1f VS asac1f ----------------------------------------- INFERENCE : 100 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E2) par amst2f (E1) par asptt1f (D) par d0 FAITS DEDUITS : asptt1f ALLE amst2f ' FAUX asptt1f VS amst2f ----------------------------------------- INFERENCE : 101 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E2) par amst1f (E1) par asptt1f (D) par d0 FAITS DEDUITS : asptt1f ALLE amst1f ' FAUX asptt1f VS amst1f ----------------------------------------- INFERENCE : 102 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E2) par asptt2f (E1) par asulf (D) par d0 FAITS DEDUITS : asulf ALLE asptt2f ' FAUX asulf VS asptt2f ----------------------------------------- INFERENCE : 103 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E2) par asptt1f (E1) par asulf (D) par d0 FAITS DEDUITS : asulf ALLE asptt1f ' FAUX asulf VS asptt1f ----------------------------------------- INFERENCE : 104 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E2) par asac2f (E1) par asulf (D) par d0 FAITS DEDUITS : asulf ALLE asac2f ' FAUX asulf VS asac2f ----------------------------------------- INFERENCE : 105 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E2) par asac1f (E1) par asulf (D) par d0 FAITS DEDUITS : asulf ALLE asac1f ' FAUX asulf VS asac1f ----------------------------------------- INFERENCE : 106 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E2) par amst2f (E1) par asulf (D) par d0 FAITS DEDUITS : asulf ALLE amst2f ' FAUX asulf VS amst2f ----------------------------------------- INFERENCE : 107 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E2) par amst1f (E1) par asulf (D) par d0 FAITS DEDUITS : asulf ALLE amst1f ' FAUX asulf VS amst1f ----------------------------------------- INFERENCE : 108 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E2) par asptt2f (E1) par asac2f (D) par d0 FAITS DEDUITS : asac2f ALLE asptt2f ' FAUX asac2f VS asptt2f ----------------------------------------- INFERENCE : 109 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E2) par asptt1f (E1) par asac2f (D) par d0 FAITS DEDUITS : asac2f ALLE asptt1f ' FAUX asac2f VS asptt1f ----------------------------------------- INFERENCE : 110 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E2) par asulf (E1) par asac2f (D) par d0 FAITS DEDUITS : asac2f ALLE asulf ' FAUX asac2f VS asulf ----------------------------------------- INFERENCE : 111 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E2) par asac1f (E1) par asac2f (D) par d0 FAITS DEDUITS : asac2f ALLE asac1f ' FAUX asac2f VS asac1f ----------------------------------------- INFERENCE : 112 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E2) par amst2f (E1) par asac2f (D) par d0 FAITS DEDUITS : asac2f ALLE amst2f ' FAUX asac2f VS amst2f ----------------------------------------- INFERENCE : 113 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E2) par amst1f (E1) par asac2f (D) par d0 FAITS DEDUITS : asac2f ALLE amst1f ' FAUX asac2f VS amst1f ----------------------------------------- INFERENCE : 114 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E2) par asptt2f (E1) par asac1f (D) par d0 FAITS DEDUITS : asac1f ALLE asptt2f ' FAUX asac1f VS asptt2f ----------------------------------------- INFERENCE : 115 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E2) par asptt1f (E1) par asac1f (D) par d0 FAITS DEDUITS : asac1f ALLE asptt1f ' FAUX asac1f VS asptt1f ----------------------------------------- INFERENCE : 116 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E2) par asulf (E1) par asac1f (D) par d0 FAITS DEDUITS : asac1f ALLE asulf ' FAUX asac1f VS asulf ----------------------------------------- INFERENCE : 117 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E2) par asac2f (E1) par asac1f (D) par d0 FAITS DEDUITS : asac1f ALLE asac2f ' FAUX asac1f VS asac2f ----------------------------------------- INFERENCE : 118 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E2) par amst2f (E1) par asac1f (D) par d0 FAITS DEDUITS : asac1f ALLE amst2f ' FAUX asac1f VS amst2f ----------------------------------------- INFERENCE : 119 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E2) par amst1f (E1) par asac1f (D) par d0 FAITS DEDUITS : asac1f ALLE amst1f ' FAUX asac1f VS amst1f ----------------------------------------- INFERENCE : 120 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E2) par asptt2f (E1) par amst2f (D) par d0 FAITS DEDUITS : amst2f ALLE asptt2f ' FAUX amst2f VS asptt2f ----------------------------------------- INFERENCE : 121 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E2) par asptt1f (E1) par amst2f (D) par d0 FAITS DEDUITS : amst2f ALLE asptt1f ' FAUX amst2f VS asptt1f ----------------------------------------- INFERENCE : 122 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E2) par asulf (E1) par amst2f (D) par d0 FAITS DEDUITS : amst2f ALLE asulf ' FAUX amst2f VS asulf ----------------------------------------- INFERENCE : 123 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E2) par asac2f (E1) par amst2f (D) par d0 FAITS DEDUITS : amst2f ALLE asac2f ' FAUX amst2f VS asac2f ----------------------------------------- INFERENCE : 124 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E2) par asac1f (E1) par amst2f (D) par d0 FAITS DEDUITS : amst2f ALLE asac1f ' FAUX amst2f VS asac1f ----------------------------------------- INFERENCE : 125 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E2) par amst1f (E1) par amst2f (D) par d0 FAITS DEDUITS : amst2f ALLE amst1f ' FAUX amst2f VS amst1f ----------------------------------------- INFERENCE : 126 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E2) par asptt2f (E1) par amst1f (D) par d0 FAITS DEDUITS : amst1f ALLE asptt2f ' FAUX amst1f VS asptt2f ----------------------------------------- INFERENCE : 127 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E2) par asptt1f (E1) par amst1f (D) par d0 FAITS DEDUITS : amst1f ALLE asptt1f ' FAUX amst1f VS asptt1f ----------------------------------------- INFERENCE : 128 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E2) par asulf (E1) par amst1f (D) par d0 FAITS DEDUITS : amst1f ALLE asulf ' FAUX amst1f VS asulf ----------------------------------------- INFERENCE : 129 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E2) par asac2f (E1) par amst1f (D) par d0 FAITS DEDUITS : amst1f ALLE asac2f ' FAUX amst1f VS asac2f ----------------------------------------- INFERENCE : 130 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E2) par asac1f (E1) par amst1f (D) par d0 FAITS DEDUITS : amst1f ALLE asac1f ' FAUX amst1f VS asac1f ----------------------------------------- INFERENCE : 131 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : QUI_CONTRE_QUI SUBSTITUTION : (E2) par amst2f (E1) par amst1f (D) par d0 FAITS DEDUITS : amst1f ALLE amst2f ' FAUX amst1f VS amst2f ----------------------------------------- INFERENCE : 132 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par sagem (E2) par asptt4 FAITS DEDUITS : sagem ALLE asptt4 sagem ALLE asptt4 ----------------------------------------- INFERENCE : 133 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par lucent (E2) par asptt4 FAITS DEDUITS : lucent ALLE asptt4 lucent ALLE asptt4 ----------------------------------------- INFERENCE : 134 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par transpac2 (E2) par asptt4 FAITS DEDUITS : transpac2 ALLE asptt4 transpac2 ALLE asptt4 ----------------------------------------- INFERENCE : 135 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par asul (E2) par asptt4 FAITS DEDUITS : asul ALLE asptt4 asul ALLE asptt4 ----------------------------------------- INFERENCE : 136 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par asac2 (E2) par asptt4 FAITS DEDUITS : asac2 ALLE asptt4 asac2 ALLE asptt4 ----------------------------------------- INFERENCE : 137 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par lucent (E2) par sagem FAITS DEDUITS : lucent ALLE sagem lucent ALLE sagem ----------------------------------------- INFERENCE : 138 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par transpac2 (E2) par sagem FAITS DEDUITS : transpac2 ALLE sagem transpac2 ALLE sagem ----------------------------------------- INFERENCE : 139 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par asul (E2) par sagem FAITS DEDUITS : asul ALLE sagem asul ALLE sagem ----------------------------------------- INFERENCE : 140 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par asac2 (E2) par sagem FAITS DEDUITS : asac2 ALLE sagem asac2 ALLE sagem ----------------------------------------- INFERENCE : 141 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par transpac2 (E2) par lucent FAITS DEDUITS : transpac2 ALLE lucent transpac2 ALLE lucent ----------------------------------------- INFERENCE : 142 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par asul (E2) par lucent FAITS DEDUITS : asul ALLE lucent asul ALLE lucent ----------------------------------------- INFERENCE : 143 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par asac2 (E2) par lucent FAITS DEDUITS : asac2 ALLE lucent asac2 ALLE lucent ----------------------------------------- INFERENCE : 144 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par asul (E2) par transpac2 FAITS DEDUITS : asul ALLE transpac2 asul ALLE transpac2 ----------------------------------------- INFERENCE : 145 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par asac2 (E2) par transpac2 FAITS DEDUITS : asac2 ALLE transpac2 asac2 ALLE transpac2 ----------------------------------------- INFERENCE : 146 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par asac2 (E2) par asul FAITS DEDUITS : asac2 ALLE asul asac2 ALLE asul ----------------------------------------- INFERENCE : 147 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par asptt2 (E2) par asptt3 FAITS DEDUITS : asptt2 ALLE asptt3 asptt2 ALLE asptt3 ----------------------------------------- INFERENCE : 148 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par p.liberales3 (E2) par asptt3 FAITS DEDUITS : p.liberales3 ALLE asptt3 p.liberales3 ALLE asptt3 ----------------------------------------- INFERENCE : 149 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par tml (E2) par asptt3 FAITS DEDUITS : tml ALLE asptt3 tml ALLE asptt3 ----------------------------------------- INFERENCE : 150 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par airtria (E2) par asptt3 FAITS DEDUITS : airtria ALLE asptt3 airtria ALLE asptt3 ----------------------------------------- INFERENCE : 151 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par transpac1 (E2) par asptt3 FAITS DEDUITS : transpac1 ALLE asptt3 transpac1 ALLE asptt3 ----------------------------------------- INFERENCE : 152 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par p.liberales3 (E2) par asptt2 FAITS DEDUITS : p.liberales3 ALLE asptt2 p.liberales3 ALLE asptt2 ----------------------------------------- INFERENCE : 153 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par tml (E2) par asptt2 FAITS DEDUITS : tml ALLE asptt2 tml ALLE asptt2 ----------------------------------------- INFERENCE : 154 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par airtria (E2) par asptt2 FAITS DEDUITS : airtria ALLE asptt2 airtria ALLE asptt2 ----------------------------------------- INFERENCE : 155 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par transpac1 (E2) par asptt2 FAITS DEDUITS : transpac1 ALLE asptt2 transpac1 ALLE asptt2 ----------------------------------------- INFERENCE : 156 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par tml (E2) par p.liberales3 FAITS DEDUITS : tml ALLE p.liberales3 tml ALLE p.liberales3 ----------------------------------------- INFERENCE : 157 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par airtria (E2) par p.liberales3 FAITS DEDUITS : airtria ALLE p.liberales3 airtria ALLE p.liberales3 ----------------------------------------- INFERENCE : 158 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par transpac1 (E2) par p.liberales3 FAITS DEDUITS : transpac1 ALLE p.liberales3 transpac1 ALLE p.liberales3 ----------------------------------------- INFERENCE : 159 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par airtria (E2) par tml FAITS DEDUITS : airtria ALLE tml airtria ALLE tml ----------------------------------------- INFERENCE : 160 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par transpac1 (E2) par tml FAITS DEDUITS : transpac1 ALLE tml transpac1 ALLE tml ----------------------------------------- INFERENCE : 161 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par transpac1 (E2) par airtria FAITS DEDUITS : transpac1 ALLE airtria transpac1 ALLE airtria ----------------------------------------- INFERENCE : 162 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par p.liberales1 (E2) par p.liberales2 FAITS DEDUITS : p.liberales1 ALLE p.liberales2 p.liberales1 ALLE p.liberales2 ----------------------------------------- INFERENCE : 163 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par atscaf (E2) par p.liberales2 FAITS DEDUITS : atscaf ALLE p.liberales2 atscaf ALLE p.liberales2 ----------------------------------------- INFERENCE : 164 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par asptt1 (E2) par p.liberales2 FAITS DEDUITS : asptt1 ALLE p.liberales2 asptt1 ALLE p.liberales2 ----------------------------------------- INFERENCE : 165 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par asac1 (E2) par p.liberales2 FAITS DEDUITS : asac1 ALLE p.liberales2 asac1 ALLE p.liberales2 ----------------------------------------- INFERENCE : 166 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par amst (E2) par p.liberales2 FAITS DEDUITS : amst ALLE p.liberales2 amst ALLE p.liberales2 ----------------------------------------- INFERENCE : 167 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par atscaf (E2) par p.liberales1 FAITS DEDUITS : atscaf ALLE p.liberales1 atscaf ALLE p.liberales1 ----------------------------------------- INFERENCE : 168 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par asptt1 (E2) par p.liberales1 FAITS DEDUITS : asptt1 ALLE p.liberales1 asptt1 ALLE p.liberales1 ----------------------------------------- INFERENCE : 169 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par asac1 (E2) par p.liberales1 FAITS DEDUITS : asac1 ALLE p.liberales1 asac1 ALLE p.liberales1 ----------------------------------------- INFERENCE : 170 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par amst (E2) par p.liberales1 FAITS DEDUITS : amst ALLE p.liberales1 amst ALLE p.liberales1 ----------------------------------------- INFERENCE : 171 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par asptt1 (E2) par atscaf FAITS DEDUITS : asptt1 ALLE atscaf asptt1 ALLE atscaf ----------------------------------------- INFERENCE : 172 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par asac1 (E2) par atscaf FAITS DEDUITS : asac1 ALLE atscaf asac1 ALLE atscaf ----------------------------------------- INFERENCE : 173 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par amst (E2) par atscaf FAITS DEDUITS : amst ALLE atscaf amst ALLE atscaf ----------------------------------------- INFERENCE : 174 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par asac1 (E2) par asptt1 FAITS DEDUITS : asac1 ALLE asptt1 asac1 ALLE asptt1 ----------------------------------------- INFERENCE : 175 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par amst (E2) par asptt1 FAITS DEDUITS : amst ALLE asptt1 amst ALLE asptt1 ----------------------------------------- INFERENCE : 176 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par amst (E2) par asac1 FAITS DEDUITS : amst ALLE asac1 amst ALLE asac1 ----------------------------------------- INFERENCE : 177 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par asptt1f (E2) par asptt2f FAITS DEDUITS : asptt1f ALLE asptt2f asptt1f ALLE asptt2f ----------------------------------------- INFERENCE : 178 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par asulf (E2) par asptt2f FAITS DEDUITS : asulf ALLE asptt2f asulf ALLE asptt2f ----------------------------------------- INFERENCE : 179 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par asac2f (E2) par asptt2f FAITS DEDUITS : asac2f ALLE asptt2f asac2f ALLE asptt2f ----------------------------------------- INFERENCE : 180 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par asac1f (E2) par asptt2f FAITS DEDUITS : asac1f ALLE asptt2f asac1f ALLE asptt2f ----------------------------------------- INFERENCE : 181 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par amst2f (E2) par asptt2f FAITS DEDUITS : amst2f ALLE asptt2f amst2f ALLE asptt2f ----------------------------------------- INFERENCE : 182 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par amst1f (E2) par asptt2f FAITS DEDUITS : amst1f ALLE asptt2f amst1f ALLE asptt2f ----------------------------------------- INFERENCE : 183 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par asulf (E2) par asptt1f FAITS DEDUITS : asulf ALLE asptt1f asulf ALLE asptt1f ----------------------------------------- INFERENCE : 184 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par asac2f (E2) par asptt1f FAITS DEDUITS : asac2f ALLE asptt1f asac2f ALLE asptt1f ----------------------------------------- INFERENCE : 185 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par asac1f (E2) par asptt1f FAITS DEDUITS : asac1f ALLE asptt1f asac1f ALLE asptt1f ----------------------------------------- INFERENCE : 186 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par amst2f (E2) par asptt1f FAITS DEDUITS : amst2f ALLE asptt1f amst2f ALLE asptt1f ----------------------------------------- INFERENCE : 187 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par amst1f (E2) par asptt1f FAITS DEDUITS : amst1f ALLE asptt1f amst1f ALLE asptt1f ----------------------------------------- INFERENCE : 188 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par asac2f (E2) par asulf FAITS DEDUITS : asac2f ALLE asulf asac2f ALLE asulf ----------------------------------------- INFERENCE : 189 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par asac1f (E2) par asulf FAITS DEDUITS : asac1f ALLE asulf asac1f ALLE asulf ----------------------------------------- INFERENCE : 190 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par amst2f (E2) par asulf FAITS DEDUITS : amst2f ALLE asulf amst2f ALLE asulf ----------------------------------------- INFERENCE : 191 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par amst1f (E2) par asulf FAITS DEDUITS : amst1f ALLE asulf amst1f ALLE asulf ----------------------------------------- INFERENCE : 192 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par asac1f (E2) par asac2f FAITS DEDUITS : asac1f ALLE asac2f asac1f ALLE asac2f ----------------------------------------- INFERENCE : 193 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par amst2f (E2) par asac2f FAITS DEDUITS : amst2f ALLE asac2f amst2f ALLE asac2f ----------------------------------------- INFERENCE : 194 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par amst1f (E2) par asac2f FAITS DEDUITS : amst1f ALLE asac2f amst1f ALLE asac2f ----------------------------------------- INFERENCE : 195 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par amst2f (E2) par asac1f FAITS DEDUITS : amst2f ALLE asac1f amst2f ALLE asac1f ----------------------------------------- INFERENCE : 196 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par amst1f (E2) par asac1f FAITS DEDUITS : amst1f ALLE asac1f amst1f ALLE asac1f ----------------------------------------- INFERENCE : 197 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par amst1f (E2) par amst2f FAITS DEDUITS : amst1f ALLE amst2f amst1f ALLE amst2f ----------------------------------------- INFERENCE : 198 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E1) par sagem (E2) par asptt4 FAITS DEDUITS : asptt4 RALLEZ sagem asptt4 RALLEZ sagem ----------------------------------------- INFERENCE : 199 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E1) par lucent (E2) par asptt4 FAITS DEDUITS : asptt4 RALLEZ lucent asptt4 RALLEZ lucent ----------------------------------------- INFERENCE : 200 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E1) par transpac2 (E2) par asptt4 FAITS DEDUITS : asptt4 RALLEZ transpac2 asptt4 RALLEZ transpac2 ----------------------------------------- INFERENCE : 201 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E1) par asul (E2) par asptt4 FAITS DEDUITS : asptt4 RALLEZ asul asptt4 RALLEZ asul ----------------------------------------- INFERENCE : 202 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E1) par asac2 (E2) par asptt4 FAITS DEDUITS : asptt4 RALLEZ asac2 asptt4 RALLEZ asac2 ----------------------------------------- INFERENCE : 203 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E1) par lucent (E2) par sagem FAITS DEDUITS : sagem RALLEZ lucent sagem RALLEZ lucent ----------------------------------------- INFERENCE : 204 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E1) par transpac2 (E2) par sagem FAITS DEDUITS : sagem RALLEZ transpac2 sagem RALLEZ transpac2 ----------------------------------------- INFERENCE : 205 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E1) par asul (E2) par sagem FAITS DEDUITS : sagem RALLEZ asul sagem RALLEZ asul ----------------------------------------- INFERENCE : 206 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E1) par asac2 (E2) par sagem FAITS DEDUITS : sagem RALLEZ asac2 sagem RALLEZ asac2 ----------------------------------------- INFERENCE : 207 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E1) par transpac2 (E2) par lucent FAITS DEDUITS : lucent RALLEZ transpac2 lucent RALLEZ transpac2 ----------------------------------------- INFERENCE : 208 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E1) par asul (E2) par lucent FAITS DEDUITS : lucent RALLEZ asul lucent RALLEZ asul ----------------------------------------- INFERENCE : 209 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E1) par asac2 (E2) par lucent FAITS DEDUITS : lucent RALLEZ asac2 lucent RALLEZ asac2 ----------------------------------------- INFERENCE : 210 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E1) par asul (E2) par transpac2 FAITS DEDUITS : transpac2 RALLEZ asul transpac2 RALLEZ asul ----------------------------------------- INFERENCE : 211 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E1) par asac2 (E2) par transpac2 FAITS DEDUITS : transpac2 RALLEZ asac2 transpac2 RALLEZ asac2 ----------------------------------------- INFERENCE : 212 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E1) par asac2 (E2) par asul FAITS DEDUITS : asul RALLEZ asac2 asul RALLEZ asac2 ----------------------------------------- INFERENCE : 213 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E1) par asptt2 (E2) par asptt3 FAITS DEDUITS : asptt3 RALLEZ asptt2 asptt3 RALLEZ asptt2 ----------------------------------------- INFERENCE : 214 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E1) par p.liberales3 (E2) par asptt3 FAITS DEDUITS : asptt3 RALLEZ p.liberales3 asptt3 RALLEZ p.liberales3 ----------------------------------------- INFERENCE : 215 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E1) par tml (E2) par asptt3 FAITS DEDUITS : asptt3 RALLEZ tml asptt3 RALLEZ tml ----------------------------------------- INFERENCE : 216 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E1) par airtria (E2) par asptt3 FAITS DEDUITS : asptt3 RALLEZ airtria asptt3 RALLEZ airtria ----------------------------------------- INFERENCE : 217 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E1) par transpac1 (E2) par asptt3 FAITS DEDUITS : asptt3 RALLEZ transpac1 asptt3 RALLEZ transpac1 ----------------------------------------- INFERENCE : 218 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E1) par p.liberales3 (E2) par asptt2 FAITS DEDUITS : asptt2 RALLEZ p.liberales3 asptt2 RALLEZ p.liberales3 ----------------------------------------- INFERENCE : 219 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E1) par tml (E2) par asptt2 FAITS DEDUITS : asptt2 RALLEZ tml asptt2 RALLEZ tml ----------------------------------------- INFERENCE : 220 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E1) par airtria (E2) par asptt2 FAITS DEDUITS : asptt2 RALLEZ airtria asptt2 RALLEZ airtria ----------------------------------------- INFERENCE : 221 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E1) par transpac1 (E2) par asptt2 FAITS DEDUITS : asptt2 RALLEZ transpac1 asptt2 RALLEZ transpac1 ----------------------------------------- INFERENCE : 222 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E1) par tml (E2) par p.liberales3 FAITS DEDUITS : p.liberales3 RALLEZ tml p.liberales3 RALLEZ tml ----------------------------------------- INFERENCE : 223 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E1) par airtria (E2) par p.liberales3 FAITS DEDUITS : p.liberales3 RALLEZ airtria p.liberales3 RALLEZ airtria ----------------------------------------- INFERENCE : 224 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E1) par transpac1 (E2) par p.liberales3 FAITS DEDUITS : p.liberales3 RALLEZ transpac1 p.liberales3 RALLEZ transpac1 ----------------------------------------- INFERENCE : 225 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E1) par airtria (E2) par tml FAITS DEDUITS : tml RALLEZ airtria tml RALLEZ airtria ----------------------------------------- INFERENCE : 226 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E1) par transpac1 (E2) par tml FAITS DEDUITS : tml RALLEZ transpac1 tml RALLEZ transpac1 ----------------------------------------- INFERENCE : 227 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E1) par transpac1 (E2) par airtria FAITS DEDUITS : airtria RALLEZ transpac1 airtria RALLEZ transpac1 ----------------------------------------- INFERENCE : 228 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E1) par p.liberales1 (E2) par p.liberales2 FAITS DEDUITS : p.liberales2 RALLEZ p.liberales1 p.liberales2 RALLEZ p.liberales1 ----------------------------------------- INFERENCE : 229 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E1) par atscaf (E2) par p.liberales2 FAITS DEDUITS : p.liberales2 RALLEZ atscaf p.liberales2 RALLEZ atscaf ----------------------------------------- INFERENCE : 230 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E1) par asptt1 (E2) par p.liberales2 FAITS DEDUITS : p.liberales2 RALLEZ asptt1 p.liberales2 RALLEZ asptt1 ----------------------------------------- INFERENCE : 231 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E1) par asac1 (E2) par p.liberales2 FAITS DEDUITS : p.liberales2 RALLEZ asac1 p.liberales2 RALLEZ asac1 ----------------------------------------- INFERENCE : 232 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E1) par amst (E2) par p.liberales2 FAITS DEDUITS : p.liberales2 RALLEZ amst p.liberales2 RALLEZ amst ----------------------------------------- INFERENCE : 233 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E1) par atscaf (E2) par p.liberales1 FAITS DEDUITS : p.liberales1 RALLEZ atscaf p.liberales1 RALLEZ atscaf ----------------------------------------- INFERENCE : 234 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E1) par asptt1 (E2) par p.liberales1 FAITS DEDUITS : p.liberales1 RALLEZ asptt1 p.liberales1 RALLEZ asptt1 ----------------------------------------- INFERENCE : 235 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E1) par asac1 (E2) par p.liberales1 FAITS DEDUITS : p.liberales1 RALLEZ asac1 p.liberales1 RALLEZ asac1 ----------------------------------------- INFERENCE : 236 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E1) par amst (E2) par p.liberales1 FAITS DEDUITS : p.liberales1 RALLEZ amst p.liberales1 RALLEZ amst ----------------------------------------- INFERENCE : 237 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E1) par asptt1 (E2) par atscaf FAITS DEDUITS : atscaf RALLEZ asptt1 atscaf RALLEZ asptt1 ----------------------------------------- INFERENCE : 238 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E1) par asac1 (E2) par atscaf FAITS DEDUITS : atscaf RALLEZ asac1 atscaf RALLEZ asac1 ----------------------------------------- INFERENCE : 239 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E1) par amst (E2) par atscaf FAITS DEDUITS : atscaf RALLEZ amst atscaf RALLEZ amst ----------------------------------------- INFERENCE : 240 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E1) par asac1 (E2) par asptt1 FAITS DEDUITS : asptt1 RALLEZ asac1 asptt1 RALLEZ asac1 ----------------------------------------- INFERENCE : 241 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E1) par amst (E2) par asptt1 FAITS DEDUITS : asptt1 RALLEZ amst asptt1 RALLEZ amst ----------------------------------------- INFERENCE : 242 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E1) par amst (E2) par asac1 FAITS DEDUITS : asac1 RALLEZ amst asac1 RALLEZ amst ----------------------------------------- INFERENCE : 243 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E1) par asptt1f (E2) par asptt2f FAITS DEDUITS : asptt2f RALLEZ asptt1f asptt2f RALLEZ asptt1f ----------------------------------------- INFERENCE : 244 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E1) par asulf (E2) par asptt2f FAITS DEDUITS : asptt2f RALLEZ asulf asptt2f RALLEZ asulf ----------------------------------------- INFERENCE : 245 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E1) par asac2f (E2) par asptt2f FAITS DEDUITS : asptt2f RALLEZ asac2f asptt2f RALLEZ asac2f ----------------------------------------- INFERENCE : 246 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E1) par asac1f (E2) par asptt2f FAITS DEDUITS : asptt2f RALLEZ asac1f asptt2f RALLEZ asac1f ----------------------------------------- INFERENCE : 247 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E1) par amst2f (E2) par asptt2f FAITS DEDUITS : asptt2f RALLEZ amst2f asptt2f RALLEZ amst2f ----------------------------------------- INFERENCE : 248 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E1) par amst1f (E2) par asptt2f FAITS DEDUITS : asptt2f RALLEZ amst1f asptt2f RALLEZ amst1f ----------------------------------------- INFERENCE : 249 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E1) par asulf (E2) par asptt1f FAITS DEDUITS : asptt1f RALLEZ asulf asptt1f RALLEZ asulf ----------------------------------------- INFERENCE : 250 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E1) par asac2f (E2) par asptt1f FAITS DEDUITS : asptt1f RALLEZ asac2f asptt1f RALLEZ asac2f ----------------------------------------- INFERENCE : 251 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E1) par asac1f (E2) par asptt1f FAITS DEDUITS : asptt1f RALLEZ asac1f asptt1f RALLEZ asac1f ----------------------------------------- INFERENCE : 252 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E1) par amst2f (E2) par asptt1f FAITS DEDUITS : asptt1f RALLEZ amst2f asptt1f RALLEZ amst2f ----------------------------------------- INFERENCE : 253 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E1) par amst1f (E2) par asptt1f FAITS DEDUITS : asptt1f RALLEZ amst1f asptt1f RALLEZ amst1f ----------------------------------------- INFERENCE : 254 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E1) par asac2f (E2) par asulf FAITS DEDUITS : asulf RALLEZ asac2f asulf RALLEZ asac2f ----------------------------------------- INFERENCE : 255 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E1) par asac1f (E2) par asulf FAITS DEDUITS : asulf RALLEZ asac1f asulf RALLEZ asac1f ----------------------------------------- INFERENCE : 256 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E1) par amst2f (E2) par asulf FAITS DEDUITS : asulf RALLEZ amst2f asulf RALLEZ amst2f ----------------------------------------- INFERENCE : 257 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E1) par amst1f (E2) par asulf FAITS DEDUITS : asulf RALLEZ amst1f asulf RALLEZ amst1f ----------------------------------------- INFERENCE : 258 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E1) par asac1f (E2) par asac2f FAITS DEDUITS : asac2f RALLEZ asac1f asac2f RALLEZ asac1f ----------------------------------------- INFERENCE : 259 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E1) par amst2f (E2) par asac2f FAITS DEDUITS : asac2f RALLEZ amst2f asac2f RALLEZ amst2f ----------------------------------------- INFERENCE : 260 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E1) par amst1f (E2) par asac2f FAITS DEDUITS : asac2f RALLEZ amst1f asac2f RALLEZ amst1f ----------------------------------------- INFERENCE : 261 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E1) par amst2f (E2) par asac1f FAITS DEDUITS : asac1f RALLEZ amst2f asac1f RALLEZ amst2f ----------------------------------------- INFERENCE : 262 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E1) par amst1f (E2) par asac1f FAITS DEDUITS : asac1f RALLEZ amst1f asac1f RALLEZ amst1f ----------------------------------------- INFERENCE : 263 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E1) par amst1f (E2) par amst2f FAITS DEDUITS : amst2f RALLEZ amst1f amst2f RALLEZ amst1f ----------------------------------------- INFERENCE : 264 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : SAISON_ALLE SUBSTITUTION : (N) par 40 (E2) par asptt3 (E1) par airtria (T) par court_penvenan (VAR2) par C6 (VAR1) par date4 (J) par jeudi (H) par 19 FAITS DEDUITS : asptt3 NE_JOUE_PAS 40 asptt3 NE_JOUE_PAS 40 ' FAUX airtria NE_JOUE_PAS 40 airtria NE_JOUE_PAS 40 ' FAUX jeudi A 19 : date4 court_penvenan DISPONIBLE date4 : C6 C6 UTILISABLE 40 C6 UTILISABLE 40 ' FAUX airtria ALLE asptt3 airtria ALLE asptt3 ' FAUX airtria VS asptt3 airtria VS asptt3 ' FAUX ----------------------------------------- INFERENCE : 265 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : SAISON_ALLE SUBSTITUTION : (N) par 41 (E2) par asptt2 (E1) par airtria (T) par court_penvenan (VAR2) par C6 (VAR1) par date4 (J) par jeudi (H) par 19 FAITS DEDUITS : asptt2 NE_JOUE_PAS 41 asptt2 NE_JOUE_PAS 41 ' FAUX airtria NE_JOUE_PAS 41 airtria NE_JOUE_PAS 41 ' FAUX jeudi A 19 : date4 court_penvenan DISPONIBLE date4 : C6 C6 UTILISABLE 41 C6 UTILISABLE 41 ' FAUX airtria ALLE asptt2 airtria ALLE asptt2 ' FAUX airtria VS asptt2 airtria VS asptt2 ' FAUX ----------------------------------------- INFERENCE : 266 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : SAISON_ALLE SUBSTITUTION : (N) par 42 (E2) par tml (E1) par airtria (T) par court_penvenan (VAR2) par C6 (VAR1) par date4 (J) par jeudi (H) par 19 FAITS DEDUITS : tml NE_JOUE_PAS 42 tml NE_JOUE_PAS 42 ' FAUX airtria NE_JOUE_PAS 42 airtria NE_JOUE_PAS 42 ' FAUX jeudi A 19 : date4 court_penvenan DISPONIBLE date4 : C6 C6 UTILISABLE 42 C6 UTILISABLE 42 ' FAUX airtria ALLE tml airtria ALLE tml ' FAUX airtria VS tml airtria VS tml ' FAUX ----------------------------------------- INFERENCE : 267 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : SAISON_ALLE SUBSTITUTION : (N) par 43 (E2) par p.liberales2 (E1) par amst (T) par court_penvenan (VAR2) par C6 (VAR1) par date4 (J) par jeudi (H) par 19 FAITS DEDUITS : p.liberales2 NE_JOUE_PAS 43 p.liberales2 NE_JOUE_PAS 43 ' FAUX amst NE_JOUE_PAS 43 amst NE_JOUE_PAS 43 ' FAUX jeudi A 19 : date4 court_penvenan DISPONIBLE date4 : C6 C6 UTILISABLE 43 C6 UTILISABLE 43 ' FAUX amst ALLE p.liberales2 amst ALLE p.liberales2 ' FAUX amst VS p.liberales2 amst VS p.liberales2 ' FAUX ----------------------------------------- INFERENCE : 268 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : SAISON_ALLE SUBSTITUTION : (N) par 45 (E2) par p.liberales1 (E1) par amst (T) par court_penvenan (VAR2) par C6 (VAR1) par date4 (J) par jeudi (H) par 19 FAITS DEDUITS : p.liberales1 NE_JOUE_PAS 45 p.liberales1 NE_JOUE_PAS 45 ' FAUX amst NE_JOUE_PAS 45 amst NE_JOUE_PAS 45 ' FAUX jeudi A 19 : date4 court_penvenan DISPONIBLE date4 : C6 C6 UTILISABLE 45 C6 UTILISABLE 45 ' FAUX amst ALLE p.liberales1 amst ALLE p.liberales1 ' FAUX amst VS p.liberales1 amst VS p.liberales1 ' FAUX ----------------------------------------- INFERENCE : 269 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : SAISON_ALLE SUBSTITUTION : (N) par 46 (E2) par atscaf (E1) par amst (T) par court_penvenan (VAR2) par C6 (VAR1) par date4 (J) par jeudi (H) par 19 FAITS DEDUITS : atscaf NE_JOUE_PAS 46 atscaf NE_JOUE_PAS 46 ' FAUX amst NE_JOUE_PAS 46 amst NE_JOUE_PAS 46 ' FAUX jeudi A 19 : date4 court_penvenan DISPONIBLE date4 : C6 C6 UTILISABLE 46 C6 UTILISABLE 46 ' FAUX amst ALLE atscaf amst ALLE atscaf ' FAUX amst VS atscaf amst VS atscaf ' FAUX ----------------------------------------- INFERENCE : 270 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : SAISON_ALLE SUBSTITUTION : (N) par 47 (E2) par asptt1 (E1) par amst (T) par court_penvenan (VAR2) par C6 (VAR1) par date4 (J) par jeudi (H) par 19 FAITS DEDUITS : asptt1 NE_JOUE_PAS 47 asptt1 NE_JOUE_PAS 47 ' FAUX amst NE_JOUE_PAS 47 amst NE_JOUE_PAS 47 ' FAUX jeudi A 19 : date4 court_penvenan DISPONIBLE date4 : C6 C6 UTILISABLE 47 C6 UTILISABLE 47 ' FAUX amst ALLE asptt1 amst ALLE asptt1 ' FAUX amst VS asptt1 amst VS asptt1 ' FAUX ----------------------------------------- INFERENCE : 271 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : SAISON_ALLE SUBSTITUTION : (N) par 48 (E2) par asac1 (E1) par amst (T) par court_penvenan (VAR2) par C6 (VAR1) par date4 (J) par jeudi (H) par 19 FAITS DEDUITS : asac1 NE_JOUE_PAS 48 asac1 NE_JOUE_PAS 48 ' FAUX amst NE_JOUE_PAS 48 amst NE_JOUE_PAS 48 ' FAUX jeudi A 19 : date4 court_penvenan DISPONIBLE date4 : C6 C6 UTILISABLE 48 C6 UTILISABLE 48 ' FAUX amst ALLE asac1 amst ALLE asac1 ' FAUX amst VS asac1 amst VS asac1 ' FAUX ----------------------------------------- INFERENCE : 272 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : SAISON_ALLE SUBSTITUTION : (N) par 49 (E2) par asptt2f (E1) par amst2f (T) par court_penvenan (VAR2) par C6 (VAR1) par date4 (J) par jeudi (H) par 19 FAITS DEDUITS : asptt2f NE_JOUE_PAS 49 asptt2f NE_JOUE_PAS 49 ' FAUX amst2f NE_JOUE_PAS 49 amst2f NE_JOUE_PAS 49 ' FAUX jeudi A 19 : date4 court_penvenan DISPONIBLE date4 : C6 C6 UTILISABLE 49 C6 UTILISABLE 49 ' FAUX amst2f ALLE asptt2f amst2f ALLE asptt2f ' FAUX amst2f VS asptt2f amst2f VS asptt2f ' FAUX ----------------------------------------- INFERENCE : 273 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : SAISON_ALLE SUBSTITUTION : (N) par 50 (E2) par asptt1f (E1) par amst2f (T) par court_penvenan (VAR2) par C6 (VAR1) par date4 (J) par jeudi (H) par 19 FAITS DEDUITS : asptt1f NE_JOUE_PAS 50 asptt1f NE_JOUE_PAS 50 ' FAUX amst2f NE_JOUE_PAS 50 amst2f NE_JOUE_PAS 50 ' FAUX jeudi A 19 : date4 court_penvenan DISPONIBLE date4 : C6 C6 UTILISABLE 50 C6 UTILISABLE 50 ' FAUX amst2f ALLE asptt1f amst2f ALLE asptt1f ' FAUX amst2f VS asptt1f amst2f VS asptt1f ' FAUX ----------------------------------------- INFERENCE : 274 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : SAISON_ALLE SUBSTITUTION : (E1) par sagem (E2) par asptt4 (N) par 40 (T) par court_perros (VAR2) par C5 (VAR1) par date5 (J) par jeudi (H) par 20 FAITS DEDUITS : asptt4 NE_JOUE_PAS 40 asptt4 NE_JOUE_PAS 40 ' FAUX sagem NE_JOUE_PAS 40 sagem NE_JOUE_PAS 40 ' FAUX jeudi A 20 : date5 court_perros DISPONIBLE date5 : C5 C5 UTILISABLE 40 C5 UTILISABLE 40 ' FAUX sagem ALLE asptt4 sagem ALLE asptt4 ' FAUX sagem VS asptt4 sagem VS asptt4 ' FAUX ----------------------------------------- INFERENCE : 275 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : SAISON_ALLE SUBSTITUTION : (E2) par asptt4 (E1) par lucent (N) par 41 (T) par court_perros (VAR2) par C5 (VAR1) par date5 (J) par jeudi (H) par 20 FAITS DEDUITS : asptt4 NE_JOUE_PAS 41 asptt4 NE_JOUE_PAS 41 ' FAUX lucent NE_JOUE_PAS 41 lucent NE_JOUE_PAS 41 ' FAUX jeudi A 20 : date5 court_perros DISPONIBLE date5 : C5 C5 UTILISABLE 41 C5 UTILISABLE 41 ' FAUX lucent ALLE asptt4 lucent ALLE asptt4 ' FAUX lucent VS asptt4 lucent VS asptt4 ' FAUX ----------------------------------------- INFERENCE : 276 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : SAISON_ALLE SUBSTITUTION : (E1) par transpac2 (E2) par asptt4 (N) par 42 (T) par court_perros (VAR2) par C5 (VAR1) par date5 (J) par jeudi (H) par 20 FAITS DEDUITS : asptt4 NE_JOUE_PAS 42 asptt4 NE_JOUE_PAS 42 ' FAUX transpac2 NE_JOUE_PAS 42 transpac2 NE_JOUE_PAS 42 ' FAUX jeudi A 20 : date5 court_perros DISPONIBLE date5 : C5 C5 UTILISABLE 42 C5 UTILISABLE 42 ' FAUX transpac2 ALLE asptt4 transpac2 ALLE asptt4 ' FAUX transpac2 VS asptt4 transpac2 VS asptt4 ' FAUX ----------------------------------------- INFERENCE : 277 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : SAISON_ALLE SUBSTITUTION : (E2) par sagem (E1) par lucent (N) par 43 (T) par court_perros (VAR2) par C5 (VAR1) par date5 (J) par jeudi (H) par 20 FAITS DEDUITS : sagem NE_JOUE_PAS 43 sagem NE_JOUE_PAS 43 ' FAUX lucent NE_JOUE_PAS 43 lucent NE_JOUE_PAS 43 ' FAUX jeudi A 20 : date5 court_perros DISPONIBLE date5 : C5 C5 UTILISABLE 43 C5 UTILISABLE 43 ' FAUX lucent ALLE sagem lucent ALLE sagem ' FAUX lucent VS sagem lucent VS sagem ' FAUX ----------------------------------------- INFERENCE : 278 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : SAISON_ALLE SUBSTITUTION : (E2) par sagem (E1) par transpac2 (N) par 45 (T) par court_perros (VAR2) par C5 (VAR1) par date5 (J) par jeudi (H) par 20 FAITS DEDUITS : sagem NE_JOUE_PAS 45 sagem NE_JOUE_PAS 45 ' FAUX transpac2 NE_JOUE_PAS 45 transpac2 NE_JOUE_PAS 45 ' FAUX jeudi A 20 : date5 court_perros DISPONIBLE date5 : C5 C5 UTILISABLE 45 C5 UTILISABLE 45 ' FAUX transpac2 ALLE sagem transpac2 ALLE sagem ' FAUX transpac2 VS sagem transpac2 VS sagem ' FAUX ----------------------------------------- INFERENCE : 279 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : SAISON_ALLE SUBSTITUTION : (E1) par asul (E2) par asptt4 (N) par 46 (T) par court_perros (VAR2) par C5 (VAR1) par date5 (J) par jeudi (H) par 20 FAITS DEDUITS : asptt4 NE_JOUE_PAS 46 asptt4 NE_JOUE_PAS 46 ' FAUX asul NE_JOUE_PAS 46 asul NE_JOUE_PAS 46 ' FAUX jeudi A 20 : date5 court_perros DISPONIBLE date5 : C5 C5 UTILISABLE 46 C5 UTILISABLE 46 ' FAUX asul ALLE asptt4 asul ALLE asptt4 ' FAUX asul VS asptt4 asul VS asptt4 ' FAUX ----------------------------------------- INFERENCE : 280 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : SAISON_ALLE SUBSTITUTION : (E2) par lucent (E1) par transpac2 (N) par 47 (T) par court_perros (VAR2) par C5 (VAR1) par date5 (J) par jeudi (H) par 20 FAITS DEDUITS : lucent NE_JOUE_PAS 47 lucent NE_JOUE_PAS 47 ' FAUX transpac2 NE_JOUE_PAS 47 transpac2 NE_JOUE_PAS 47 ' FAUX jeudi A 20 : date5 court_perros DISPONIBLE date5 : C5 C5 UTILISABLE 47 C5 UTILISABLE 47 ' FAUX transpac2 ALLE lucent transpac2 ALLE lucent ' FAUX transpac2 VS lucent transpac2 VS lucent ' FAUX ----------------------------------------- INFERENCE : 281 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : SAISON_ALLE SUBSTITUTION : (E2) par sagem (E1) par asul (N) par 48 (T) par court_perros (VAR2) par C5 (VAR1) par date5 (J) par jeudi (H) par 20 FAITS DEDUITS : sagem NE_JOUE_PAS 48 sagem NE_JOUE_PAS 48 ' FAUX asul NE_JOUE_PAS 48 asul NE_JOUE_PAS 48 ' FAUX jeudi A 20 : date5 court_perros DISPONIBLE date5 : C5 C5 UTILISABLE 48 C5 UTILISABLE 48 ' FAUX asul ALLE sagem asul ALLE sagem ' FAUX asul VS sagem asul VS sagem ' FAUX ----------------------------------------- INFERENCE : 282 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : SAISON_ALLE SUBSTITUTION : (E1) par asac2 (E2) par asptt4 (N) par 49 (T) par court_perros (VAR2) par C5 (VAR1) par date5 (J) par jeudi (H) par 20 FAITS DEDUITS : asptt4 NE_JOUE_PAS 49 asptt4 NE_JOUE_PAS 49 ' FAUX asac2 NE_JOUE_PAS 49 asac2 NE_JOUE_PAS 49 ' FAUX jeudi A 20 : date5 court_perros DISPONIBLE date5 : C5 C5 UTILISABLE 49 C5 UTILISABLE 49 ' FAUX asac2 ALLE asptt4 asac2 ALLE asptt4 ' FAUX asac2 VS asptt4 asac2 VS asptt4 ' FAUX ----------------------------------------- INFERENCE : 283 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : SAISON_ALLE SUBSTITUTION : (E1) par asac2 (E2) par sagem (N) par 50 (T) par court_perros (VAR2) par C5 (VAR1) par date5 (J) par jeudi (H) par 20 FAITS DEDUITS : sagem NE_JOUE_PAS 50 sagem NE_JOUE_PAS 50 ' FAUX asac2 NE_JOUE_PAS 50 asac2 NE_JOUE_PAS 50 ' FAUX jeudi A 20 : date5 court_perros DISPONIBLE date5 : C5 C5 UTILISABLE 50 C5 UTILISABLE 50 ' FAUX asac2 ALLE sagem asac2 ALLE sagem ' FAUX asac2 VS sagem asac2 VS sagem ' FAUX ----------------------------------------- INFERENCE : 284 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : SAISON_ALLE SUBSTITUTION : (E1) par asul (E2) par lucent (N) par 40 (T) par court_lycee (VAR2) par C7 (VAR1) par date5 (J) par jeudi (H) par 20 FAITS DEDUITS : lucent NE_JOUE_PAS 40 lucent NE_JOUE_PAS 40 ' FAUX asul NE_JOUE_PAS 40 asul NE_JOUE_PAS 40 ' FAUX jeudi A 20 : date5 court_lycee DISPONIBLE date5 : C7 C7 UTILISABLE 40 C7 UTILISABLE 40 ' FAUX asul ALLE lucent asul ALLE lucent ' FAUX asul VS lucent asul VS lucent ' FAUX ----------------------------------------- INFERENCE : 285 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : SAISON_ALLE SUBSTITUTION : (E2) par transpac2 (E1) par asul (N) par 41 (T) par court_lycee (VAR2) par C7 (VAR1) par date5 (J) par jeudi (H) par 20 FAITS DEDUITS : transpac2 NE_JOUE_PAS 41 transpac2 NE_JOUE_PAS 41 ' FAUX asul NE_JOUE_PAS 41 asul NE_JOUE_PAS 41 ' FAUX jeudi A 20 : date5 court_lycee DISPONIBLE date5 : C7 C7 UTILISABLE 41 C7 UTILISABLE 41 ' FAUX asul ALLE transpac2 asul ALLE transpac2 ' FAUX asul VS transpac2 asul VS transpac2 ' FAUX ----------------------------------------- INFERENCE : 286 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : SAISON_ALLE SUBSTITUTION : (E2) par lucent (E1) par asac2 (N) par 42 (T) par court_lycee (VAR2) par C7 (VAR1) par date5 (J) par jeudi (H) par 20 FAITS DEDUITS : lucent NE_JOUE_PAS 42 lucent NE_JOUE_PAS 42 ' FAUX asac2 NE_JOUE_PAS 42 asac2 NE_JOUE_PAS 42 ' FAUX jeudi A 20 : date5 court_lycee DISPONIBLE date5 : C7 C7 UTILISABLE 42 C7 UTILISABLE 42 ' FAUX asac2 ALLE lucent asac2 ALLE lucent ' FAUX asac2 VS lucent asac2 VS lucent ' FAUX ----------------------------------------- INFERENCE : 287 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : SAISON_ALLE SUBSTITUTION : (E1) par asac2 (E2) par transpac2 (N) par 43 (T) par court_lycee (VAR2) par C7 (VAR1) par date5 (J) par jeudi (H) par 20 FAITS DEDUITS : transpac2 NE_JOUE_PAS 43 transpac2 NE_JOUE_PAS 43 ' FAUX asac2 NE_JOUE_PAS 43 asac2 NE_JOUE_PAS 43 ' FAUX jeudi A 20 : date5 court_lycee DISPONIBLE date5 : C7 C7 UTILISABLE 43 C7 UTILISABLE 43 ' FAUX asac2 ALLE transpac2 asac2 ALLE transpac2 ' FAUX asac2 VS transpac2 asac2 VS transpac2 ' FAUX ----------------------------------------- INFERENCE : 288 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : SAISON_ALLE SUBSTITUTION : (E1) par asac2 (E2) par asul (N) par 45 (T) par court_lycee (VAR2) par C7 (VAR1) par date5 (J) par jeudi (H) par 20 FAITS DEDUITS : asul NE_JOUE_PAS 45 asul NE_JOUE_PAS 45 ' FAUX asac2 NE_JOUE_PAS 45 asac2 NE_JOUE_PAS 45 ' FAUX jeudi A 20 : date5 court_lycee DISPONIBLE date5 : C7 C7 UTILISABLE 45 C7 UTILISABLE 45 ' FAUX asac2 ALLE asul asac2 ALLE asul ' FAUX asac2 VS asul asac2 VS asul ' FAUX ----------------------------------------- INFERENCE : 289 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : SAISON_ALLE SUBSTITUTION : (E1) par asptt2 (E2) par asptt3 (N) par 46 (T) par court_lycee (VAR2) par C7 (VAR1) par date5 (J) par jeudi (H) par 20 FAITS DEDUITS : asptt3 NE_JOUE_PAS 46 asptt3 NE_JOUE_PAS 46 ' FAUX asptt2 NE_JOUE_PAS 46 asptt2 NE_JOUE_PAS 46 ' FAUX jeudi A 20 : date5 court_lycee DISPONIBLE date5 : C7 C7 UTILISABLE 46 C7 UTILISABLE 46 ' FAUX asptt2 ALLE asptt3 asptt2 ALLE asptt3 ' FAUX asptt2 VS asptt3 asptt2 VS asptt3 ' FAUX ----------------------------------------- INFERENCE : 290 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : SAISON_ALLE SUBSTITUTION : (E2) par asptt3 (E1) par tml (N) par 47 (T) par court_lycee (VAR2) par C7 (VAR1) par date5 (J) par jeudi (H) par 20 FAITS DEDUITS : asptt3 NE_JOUE_PAS 47 asptt3 NE_JOUE_PAS 47 ' FAUX tml NE_JOUE_PAS 47 tml NE_JOUE_PAS 47 ' FAUX jeudi A 20 : date5 court_lycee DISPONIBLE date5 : C7 C7 UTILISABLE 47 C7 UTILISABLE 47 ' FAUX tml ALLE asptt3 tml ALLE asptt3 ' FAUX tml VS asptt3 tml VS asptt3 ' FAUX ----------------------------------------- INFERENCE : 291 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : SAISON_ALLE SUBSTITUTION : (E1) par transpac1 (E2) par asptt3 (N) par 48 (T) par court_lycee (VAR2) par C7 (VAR1) par date5 (J) par jeudi (H) par 20 FAITS DEDUITS : asptt3 NE_JOUE_PAS 48 asptt3 NE_JOUE_PAS 48 ' FAUX transpac1 NE_JOUE_PAS 48 transpac1 NE_JOUE_PAS 48 ' FAUX jeudi A 20 : date5 court_lycee DISPONIBLE date5 : C7 C7 UTILISABLE 48 C7 UTILISABLE 48 ' FAUX transpac1 ALLE asptt3 transpac1 ALLE asptt3 ' FAUX transpac1 VS asptt3 transpac1 VS asptt3 ' FAUX ----------------------------------------- INFERENCE : 292 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : SAISON_ALLE SUBSTITUTION : (E1) par tml (E2) par asptt2 (N) par 49 (T) par court_lycee (VAR2) par C7 (VAR1) par date5 (J) par jeudi (H) par 20 FAITS DEDUITS : asptt2 NE_JOUE_PAS 49 asptt2 NE_JOUE_PAS 49 ' FAUX tml NE_JOUE_PAS 49 tml NE_JOUE_PAS 49 ' FAUX jeudi A 20 : date5 court_lycee DISPONIBLE date5 : C7 C7 UTILISABLE 49 C7 UTILISABLE 49 ' FAUX tml ALLE asptt2 tml ALLE asptt2 ' FAUX tml VS asptt2 tml VS asptt2 ' FAUX ----------------------------------------- INFERENCE : 293 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : SAISON_ALLE SUBSTITUTION : (E2) par asptt2 (E1) par transpac1 (N) par 50 (T) par court_lycee (VAR2) par C7 (VAR1) par date5 (J) par jeudi (H) par 20 FAITS DEDUITS : asptt2 NE_JOUE_PAS 50 asptt2 NE_JOUE_PAS 50 ' FAUX transpac1 NE_JOUE_PAS 50 transpac1 NE_JOUE_PAS 50 ' FAUX jeudi A 20 : date5 court_lycee DISPONIBLE date5 : C7 C7 UTILISABLE 50 C7 UTILISABLE 50 ' FAUX transpac1 ALLE asptt2 transpac1 ALLE asptt2 ' FAUX transpac1 VS asptt2 transpac1 VS asptt2 ' FAUX ----------------------------------------- INFERENCE : 294 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : SAISON_ALLE SUBSTITUTION : (N) par 40 (E2) par atscaf (E1) par asptt1 (T) par court_asptt (VAR2) par C4 (VAR1) par date3 (J) par mercredi (H) par 19.5 FAITS DEDUITS : atscaf NE_JOUE_PAS 40 atscaf NE_JOUE_PAS 40 ' FAUX asptt1 NE_JOUE_PAS 40 asptt1 NE_JOUE_PAS 40 ' FAUX mercredi A 19.5 : date3 court_asptt DISPONIBLE date3 : C4 C4 UTILISABLE 40 C4 UTILISABLE 40 ' FAUX asptt1 ALLE atscaf asptt1 ALLE atscaf ' FAUX asptt1 VS atscaf asptt1 VS atscaf ' FAUX ----------------------------------------- INFERENCE : 295 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : SAISON_ALLE SUBSTITUTION : (N) par 41 (E2) par asptt2f (E1) par asptt1f (T) par court_asptt (VAR2) par C4 (VAR1) par date3 (J) par mercredi (H) par 19.5 FAITS DEDUITS : asptt2f NE_JOUE_PAS 41 asptt2f NE_JOUE_PAS 41 ' FAUX asptt1f NE_JOUE_PAS 41 asptt1f NE_JOUE_PAS 41 ' FAUX mercredi A 19.5 : date3 court_asptt DISPONIBLE date3 : C4 C4 UTILISABLE 41 C4 UTILISABLE 41 ' FAUX asptt1f ALLE asptt2f asptt1f ALLE asptt2f ' FAUX asptt1f VS asptt2f asptt1f VS asptt2f ' FAUX ----------------------------------------- INFERENCE : 296 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : SAISON_ALLE SUBSTITUTION : (E2) par asptt3 (E1) par p.liberales3 (N) par 41 (VAR2) par C1 (T) par court_tregastel (VAR1) par date1 (J) par lundi (H) par 19 FAITS DEDUITS : asptt3 NE_JOUE_PAS 41 asptt3 NE_JOUE_PAS 41 ' FAUX p.liberales3 NE_JOUE_PAS 41 p.liberales3 NE_JOUE_PAS 41 ' FAUX lundi A 19 : date1 court_tregastel DISPONIBLE date1 : C1 C1 UTILISABLE 41 C1 UTILISABLE 41 ' FAUX p.liberales3 ALLE asptt3 p.liberales3 ALLE asptt3 ' FAUX p.liberales3 VS asptt3 p.liberales3 VS asptt3 ' FAUX ----------------------------------------- INFERENCE : 297 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : SAISON_ALLE SUBSTITUTION : (E2) par asptt2 (E1) par p.liberales3 (N) par 42 (VAR2) par C1 (T) par court_tregastel (VAR1) par date1 (J) par lundi (H) par 19 FAITS DEDUITS : asptt2 NE_JOUE_PAS 42 asptt2 NE_JOUE_PAS 42 ' FAUX p.liberales3 NE_JOUE_PAS 42 p.liberales3 NE_JOUE_PAS 42 ' FAUX lundi A 19 : date1 court_tregastel DISPONIBLE date1 : C1 C1 UTILISABLE 42 C1 UTILISABLE 42 ' FAUX p.liberales3 ALLE asptt2 p.liberales3 ALLE asptt2 ' FAUX p.liberales3 VS asptt2 p.liberales3 VS asptt2 ' FAUX ----------------------------------------- INFERENCE : 298 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : SAISON_ALLE SUBSTITUTION : (E2) par p.liberales3 (E1) par tml (N) par 43 (VAR2) par C1 (T) par court_tregastel (VAR1) par date1 (J) par lundi (H) par 19 FAITS DEDUITS : p.liberales3 NE_JOUE_PAS 43 p.liberales3 NE_JOUE_PAS 43 ' FAUX tml NE_JOUE_PAS 43 tml NE_JOUE_PAS 43 ' FAUX lundi A 19 : date1 court_tregastel DISPONIBLE date1 : C1 C1 UTILISABLE 43 C1 UTILISABLE 43 ' FAUX tml ALLE p.liberales3 tml ALLE p.liberales3 ' FAUX tml VS p.liberales3 tml VS p.liberales3 ' FAUX ----------------------------------------- INFERENCE : 299 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : SAISON_ALLE SUBSTITUTION : (E2) par p.liberales3 (E1) par airtria (N) par 45 (VAR2) par C1 (T) par court_tregastel (VAR1) par date1 (J) par lundi (H) par 19 FAITS DEDUITS : p.liberales3 NE_JOUE_PAS 45 p.liberales3 NE_JOUE_PAS 45 ' FAUX airtria NE_JOUE_PAS 45 airtria NE_JOUE_PAS 45 ' FAUX lundi A 19 : date1 court_tregastel DISPONIBLE date1 : C1 C1 UTILISABLE 45 C1 UTILISABLE 45 ' FAUX airtria ALLE p.liberales3 airtria ALLE p.liberales3 ' FAUX airtria VS p.liberales3 airtria VS p.liberales3 ' FAUX ----------------------------------------- INFERENCE : 300 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : SAISON_ALLE SUBSTITUTION : (E2) par p.liberales3 (E1) par transpac1 (N) par 46 (VAR2) par C1 (T) par court_tregastel (VAR1) par date1 (J) par lundi (H) par 19 FAITS DEDUITS : p.liberales3 NE_JOUE_PAS 46 p.liberales3 NE_JOUE_PAS 46 ' FAUX transpac1 NE_JOUE_PAS 46 transpac1 NE_JOUE_PAS 46 ' FAUX lundi A 19 : date1 court_tregastel DISPONIBLE date1 : C1 C1 UTILISABLE 46 C1 UTILISABLE 46 ' FAUX transpac1 ALLE p.liberales3 transpac1 ALLE p.liberales3 ' FAUX transpac1 VS p.liberales3 transpac1 VS p.liberales3 ' FAUX ----------------------------------------- INFERENCE : 301 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : SAISON_ALLE SUBSTITUTION : (E1) par transpac1 (E2) par airtria (N) par 47 (VAR2) par C1 (T) par court_tregastel (VAR1) par date1 (J) par lundi (H) par 19 FAITS DEDUITS : airtria NE_JOUE_PAS 47 airtria NE_JOUE_PAS 47 ' FAUX transpac1 NE_JOUE_PAS 47 transpac1 NE_JOUE_PAS 47 ' FAUX lundi A 19 : date1 court_tregastel DISPONIBLE date1 : C1 C1 UTILISABLE 47 C1 UTILISABLE 47 ' FAUX transpac1 ALLE airtria transpac1 ALLE airtria ' FAUX transpac1 VS airtria transpac1 VS airtria ' FAUX ----------------------------------------- INFERENCE : 302 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : SAISON_ALLE SUBSTITUTION : (E1) par p.liberales1 (E2) par p.liberales2 (N) par 48 (VAR2) par C1 (T) par court_tregastel (VAR1) par date1 (J) par lundi (H) par 19 FAITS DEDUITS : p.liberales2 NE_JOUE_PAS 48 p.liberales2 NE_JOUE_PAS 48 ' FAUX p.liberales1 NE_JOUE_PAS 48 p.liberales1 NE_JOUE_PAS 48 ' FAUX lundi A 19 : date1 court_tregastel DISPONIBLE date1 : C1 C1 UTILISABLE 48 C1 UTILISABLE 48 ' FAUX p.liberales1 ALLE p.liberales2 p.liberales1 ALLE p.liberales2 ' FAUX p.liberales1 VS p.liberales2 p.liberales1 VS p.liberales2 ' FAUX ----------------------------------------- INFERENCE : 303 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : SAISON_ALLE SUBSTITUTION : (E2) par p.liberales2 (E1) par atscaf (N) par 49 (VAR2) par C1 (T) par court_tregastel (VAR1) par date1 (J) par lundi (H) par 19 FAITS DEDUITS : p.liberales2 NE_JOUE_PAS 49 p.liberales2 NE_JOUE_PAS 49 ' FAUX atscaf NE_JOUE_PAS 49 atscaf NE_JOUE_PAS 49 ' FAUX lundi A 19 : date1 court_tregastel DISPONIBLE date1 : C1 C1 UTILISABLE 49 C1 UTILISABLE 49 ' FAUX atscaf ALLE p.liberales2 atscaf ALLE p.liberales2 ' FAUX atscaf VS p.liberales2 atscaf VS p.liberales2 ' FAUX ----------------------------------------- INFERENCE : 304 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : SAISON_ALLE SUBSTITUTION : (E1) par asptt1 (E2) par p.liberales2 (N) par 50 (VAR2) par C1 (T) par court_tregastel (VAR1) par date1 (J) par lundi (H) par 19 FAITS DEDUITS : p.liberales2 NE_JOUE_PAS 50 p.liberales2 NE_JOUE_PAS 50 ' FAUX asptt1 NE_JOUE_PAS 50 asptt1 NE_JOUE_PAS 50 ' FAUX lundi A 19 : date1 court_tregastel DISPONIBLE date1 : C1 C1 UTILISABLE 50 C1 UTILISABLE 50 ' FAUX asptt1 ALLE p.liberales2 asptt1 ALLE p.liberales2 ' FAUX asptt1 VS p.liberales2 asptt1 VS p.liberales2 ' FAUX ----------------------------------------- INFERENCE : 305 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : SAISON_ALLE SUBSTITUTION : (E2) par tml (E1) par transpac1 (N) par 41 (T) par court_perros (VAR2) par C2 (VAR1) par date2 (J) par lundi (H) par 20 FAITS DEDUITS : tml NE_JOUE_PAS 41 tml NE_JOUE_PAS 41 ' FAUX transpac1 NE_JOUE_PAS 41 transpac1 NE_JOUE_PAS 41 ' FAUX lundi A 20 : date2 court_perros DISPONIBLE date2 : C2 C2 UTILISABLE 41 C2 UTILISABLE 41 ' FAUX transpac1 ALLE tml transpac1 ALLE tml ' FAUX transpac1 VS tml transpac1 VS tml ' FAUX ----------------------------------------- INFERENCE : 306 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : SAISON_ALLE SUBSTITUTION : (E2) par p.liberales1 (E1) par atscaf (N) par 42 (T) par court_perros (VAR2) par C2 (VAR1) par date2 (J) par lundi (H) par 20 FAITS DEDUITS : p.liberales1 NE_JOUE_PAS 42 p.liberales1 NE_JOUE_PAS 42 ' FAUX atscaf NE_JOUE_PAS 42 atscaf NE_JOUE_PAS 42 ' FAUX lundi A 20 : date2 court_perros DISPONIBLE date2 : C2 C2 UTILISABLE 42 C2 UTILISABLE 42 ' FAUX atscaf ALLE p.liberales1 atscaf ALLE p.liberales1 ' FAUX atscaf VS p.liberales1 atscaf VS p.liberales1 ' FAUX ----------------------------------------- INFERENCE : 307 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : SAISON_ALLE SUBSTITUTION : (E2) par p.liberales1 (E1) par asptt1 (N) par 43 (T) par court_perros (VAR2) par C2 (VAR1) par date2 (J) par lundi (H) par 20 FAITS DEDUITS : p.liberales1 NE_JOUE_PAS 43 p.liberales1 NE_JOUE_PAS 43 ' FAUX asptt1 NE_JOUE_PAS 43 asptt1 NE_JOUE_PAS 43 ' FAUX lundi A 20 : date2 court_perros DISPONIBLE date2 : C2 C2 UTILISABLE 43 C2 UTILISABLE 43 ' FAUX asptt1 ALLE p.liberales1 asptt1 ALLE p.liberales1 ' FAUX asptt1 VS p.liberales1 asptt1 VS p.liberales1 ' FAUX ----------------------------------------- INFERENCE : 308 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : SAISON_ALLE SUBSTITUTION : (E2) par p.liberales2 (E1) par asac1 (N) par 45 (T) par court_perros (VAR2) par C2 (VAR1) par date2 (J) par lundi (H) par 20 FAITS DEDUITS : p.liberales2 NE_JOUE_PAS 45 p.liberales2 NE_JOUE_PAS 45 ' FAUX asac1 NE_JOUE_PAS 45 asac1 NE_JOUE_PAS 45 ' FAUX lundi A 20 : date2 court_perros DISPONIBLE date2 : C2 C2 UTILISABLE 45 C2 UTILISABLE 45 ' FAUX asac1 ALLE p.liberales2 asac1 ALLE p.liberales2 ' FAUX asac1 VS p.liberales2 asac1 VS p.liberales2 ' FAUX ----------------------------------------- INFERENCE : 309 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : SAISON_ALLE SUBSTITUTION : (E1) par asac1 (E2) par p.liberales1 (N) par 46 (T) par court_perros (VAR2) par C2 (VAR1) par date2 (J) par lundi (H) par 20 FAITS DEDUITS : p.liberales1 NE_JOUE_PAS 46 p.liberales1 NE_JOUE_PAS 46 ' FAUX asac1 NE_JOUE_PAS 46 asac1 NE_JOUE_PAS 46 ' FAUX lundi A 20 : date2 court_perros DISPONIBLE date2 : C2 C2 UTILISABLE 46 C2 UTILISABLE 46 ' FAUX asac1 ALLE p.liberales1 asac1 ALLE p.liberales1 ' FAUX asac1 VS p.liberales1 asac1 VS p.liberales1 ' FAUX ----------------------------------------- INFERENCE : 310 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : SAISON_ALLE SUBSTITUTION : (E1) par asac1 (E2) par atscaf (N) par 47 (T) par court_perros (VAR2) par C2 (VAR1) par date2 (J) par lundi (H) par 20 FAITS DEDUITS : atscaf NE_JOUE_PAS 47 atscaf NE_JOUE_PAS 47 ' FAUX asac1 NE_JOUE_PAS 47 asac1 NE_JOUE_PAS 47 ' FAUX lundi A 20 : date2 court_perros DISPONIBLE date2 : C2 C2 UTILISABLE 47 C2 UTILISABLE 47 ' FAUX asac1 ALLE atscaf asac1 ALLE atscaf ' FAUX asac1 VS atscaf asac1 VS atscaf ' FAUX ----------------------------------------- INFERENCE : 311 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : SAISON_ALLE SUBSTITUTION : (E1) par asulf (E2) par asptt2f (N) par 48 (T) par court_perros (VAR2) par C2 (VAR1) par date2 (J) par lundi (H) par 20 FAITS DEDUITS : asptt2f NE_JOUE_PAS 48 asptt2f NE_JOUE_PAS 48 ' FAUX asulf NE_JOUE_PAS 48 asulf NE_JOUE_PAS 48 ' FAUX lundi A 20 : date2 court_perros DISPONIBLE date2 : C2 C2 UTILISABLE 48 C2 UTILISABLE 48 ' FAUX asulf ALLE asptt2f asulf ALLE asptt2f ' FAUX asulf VS asptt2f asulf VS asptt2f ' FAUX ----------------------------------------- INFERENCE : 312 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : SAISON_ALLE SUBSTITUTION : (E2) par asptt1 (E1) par asac1 (N) par 49 (T) par court_perros (VAR2) par C2 (VAR1) par date2 (J) par lundi (H) par 20 FAITS DEDUITS : asptt1 NE_JOUE_PAS 49 asptt1 NE_JOUE_PAS 49 ' FAUX asac1 NE_JOUE_PAS 49 asac1 NE_JOUE_PAS 49 ' FAUX lundi A 20 : date2 court_perros DISPONIBLE date2 : C2 C2 UTILISABLE 49 C2 UTILISABLE 49 ' FAUX asac1 ALLE asptt1 asac1 ALLE asptt1 ' FAUX asac1 VS asptt1 asac1 VS asptt1 ' FAUX ----------------------------------------- INFERENCE : 313 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : SAISON_ALLE SUBSTITUTION : (E2) par asptt2f (E1) par asac2f (N) par 50 (T) par court_perros (VAR2) par C2 (VAR1) par date2 (J) par lundi (H) par 20 FAITS DEDUITS : asptt2f NE_JOUE_PAS 50 asptt2f NE_JOUE_PAS 50 ' FAUX asac2f NE_JOUE_PAS 50 asac2f NE_JOUE_PAS 50 ' FAUX lundi A 20 : date2 court_perros DISPONIBLE date2 : C2 C2 UTILISABLE 50 C2 UTILISABLE 50 ' FAUX asac2f ALLE asptt2f asac2f ALLE asptt2f ' FAUX asac2f VS asptt2f asac2f VS asptt2f ' FAUX ----------------------------------------- INFERENCE : 314 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : SAISON_ALLE SUBSTITUTION : (E1) par asac2f (E2) par asulf (N) par 41 (T) par court_pleumeur (VAR2) par C3 (VAR1) par date2 (J) par lundi (H) par 20 FAITS DEDUITS : asulf NE_JOUE_PAS 41 asulf NE_JOUE_PAS 41 ' FAUX asac2f NE_JOUE_PAS 41 asac2f NE_JOUE_PAS 41 ' FAUX lundi A 20 : date2 court_pleumeur DISPONIBLE date2 : C3 C3 UTILISABLE 41 C3 UTILISABLE 41 ' FAUX asac2f ALLE asulf asac2f ALLE asulf ' FAUX asac2f VS asulf asac2f VS asulf ' FAUX ----------------------------------------- INFERENCE : 315 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : SAISON_ALLE SUBSTITUTION : (E2) par asptt1f (E1) par asulf (N) par 42 (T) par court_pleumeur (VAR2) par C3 (VAR1) par date2 (J) par lundi (H) par 20 FAITS DEDUITS : asptt1f NE_JOUE_PAS 42 asptt1f NE_JOUE_PAS 42 ' FAUX asulf NE_JOUE_PAS 42 asulf NE_JOUE_PAS 42 ' FAUX lundi A 20 : date2 court_pleumeur DISPONIBLE date2 : C3 C3 UTILISABLE 42 C3 UTILISABLE 42 ' FAUX asulf ALLE asptt1f asulf ALLE asptt1f ' FAUX asulf VS asptt1f asulf VS asptt1f ' FAUX ----------------------------------------- INFERENCE : 316 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : SAISON_ALLE SUBSTITUTION : (E2) par asptt1f (E1) par asac2f (N) par 43 (T) par court_pleumeur (VAR2) par C3 (VAR1) par date2 (J) par lundi (H) par 20 FAITS DEDUITS : asptt1f NE_JOUE_PAS 43 asptt1f NE_JOUE_PAS 43 ' FAUX asac2f NE_JOUE_PAS 43 asac2f NE_JOUE_PAS 43 ' FAUX lundi A 20 : date2 court_pleumeur DISPONIBLE date2 : C3 C3 UTILISABLE 43 C3 UTILISABLE 43 ' FAUX asac2f ALLE asptt1f asac2f ALLE asptt1f ' FAUX asac2f VS asptt1f asac2f VS asptt1f ' FAUX ----------------------------------------- INFERENCE : 317 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : SAISON_ALLE SUBSTITUTION : (E2) par asptt2f (E1) par asac1f (N) par 45 (T) par court_pleumeur (VAR2) par C3 (VAR1) par date2 (J) par lundi (H) par 20 FAITS DEDUITS : asptt2f NE_JOUE_PAS 45 asptt2f NE_JOUE_PAS 45 ' FAUX asac1f NE_JOUE_PAS 45 asac1f NE_JOUE_PAS 45 ' FAUX lundi A 20 : date2 court_pleumeur DISPONIBLE date2 : C3 C3 UTILISABLE 45 C3 UTILISABLE 45 ' FAUX asac1f ALLE asptt2f asac1f ALLE asptt2f ' FAUX asac1f VS asptt2f asac1f VS asptt2f ' FAUX ----------------------------------------- INFERENCE : 318 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : SAISON_ALLE SUBSTITUTION : (E1) par amst1f (E2) par asptt2f (N) par 46 (T) par court_pleumeur (VAR2) par C3 (VAR1) par date2 (J) par lundi (H) par 20 FAITS DEDUITS : asptt2f NE_JOUE_PAS 46 asptt2f NE_JOUE_PAS 46 ' FAUX amst1f NE_JOUE_PAS 46 amst1f NE_JOUE_PAS 46 ' FAUX lundi A 20 : date2 court_pleumeur DISPONIBLE date2 : C3 C3 UTILISABLE 46 C3 UTILISABLE 46 ' FAUX amst1f ALLE asptt2f amst1f ALLE asptt2f ' FAUX amst1f VS asptt2f amst1f VS asptt2f ' FAUX ----------------------------------------- INFERENCE : 319 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : SAISON_ALLE SUBSTITUTION : (E1) par asac1f (E2) par asptt1f (N) par 47 (T) par court_pleumeur (VAR2) par C3 (VAR1) par date2 (J) par lundi (H) par 20 FAITS DEDUITS : asptt1f NE_JOUE_PAS 47 asptt1f NE_JOUE_PAS 47 ' FAUX asac1f NE_JOUE_PAS 47 asac1f NE_JOUE_PAS 47 ' FAUX lundi A 20 : date2 court_pleumeur DISPONIBLE date2 : C3 C3 UTILISABLE 47 C3 UTILISABLE 47 ' FAUX asac1f ALLE asptt1f asac1f ALLE asptt1f ' FAUX asac1f VS asptt1f asac1f VS asptt1f ' FAUX ----------------------------------------- INFERENCE : 320 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : SAISON_ALLE SUBSTITUTION : (E2) par asac2f (E1) par asac1f (N) par 48 (T) par court_pleumeur (VAR2) par C3 (VAR1) par date2 (J) par lundi (H) par 20 FAITS DEDUITS : asac2f NE_JOUE_PAS 48 asac2f NE_JOUE_PAS 48 ' FAUX asac1f NE_JOUE_PAS 48 asac1f NE_JOUE_PAS 48 ' FAUX lundi A 20 : date2 court_pleumeur DISPONIBLE date2 : C3 C3 UTILISABLE 48 C3 UTILISABLE 48 ' FAUX asac1f ALLE asac2f asac1f ALLE asac2f ' FAUX asac1f VS asac2f asac1f VS asac2f ' FAUX ----------------------------------------- INFERENCE : 321 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : SAISON_ALLE SUBSTITUTION : (E2) par asulf (E1) par asac1f (N) par 49 (T) par court_pleumeur (VAR2) par C3 (VAR1) par date2 (J) par lundi (H) par 20 FAITS DEDUITS : asulf NE_JOUE_PAS 49 asulf NE_JOUE_PAS 49 ' FAUX asac1f NE_JOUE_PAS 49 asac1f NE_JOUE_PAS 49 ' FAUX lundi A 20 : date2 court_pleumeur DISPONIBLE date2 : C3 C3 UTILISABLE 49 C3 UTILISABLE 49 ' FAUX asac1f ALLE asulf asac1f ALLE asulf ' FAUX asac1f VS asulf asac1f VS asulf ' FAUX ----------------------------------------- INFERENCE : 322 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : SAISON_ALLE SUBSTITUTION : (E2) par asulf (E1) par amst1f (N) par 50 (T) par court_pleumeur (VAR2) par C3 (VAR1) par date2 (J) par lundi (H) par 20 FAITS DEDUITS : asulf NE_JOUE_PAS 50 asulf NE_JOUE_PAS 50 ' FAUX amst1f NE_JOUE_PAS 50 amst1f NE_JOUE_PAS 50 ' FAUX lundi A 20 : date2 court_pleumeur DISPONIBLE date2 : C3 C3 UTILISABLE 50 C3 UTILISABLE 50 ' FAUX amst1f ALLE asulf amst1f ALLE asulf ' FAUX amst1f VS asulf amst1f VS asulf ' FAUX ----------------------------------------- INFERENCE : 323 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par asptt4 (E2) par sagem FAITS DEDUITS : asptt4 ALLE sagem asptt4 ALLE sagem ----------------------------------------- INFERENCE : 324 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par asptt4 (E2) par lucent FAITS DEDUITS : asptt4 ALLE lucent asptt4 ALLE lucent ----------------------------------------- INFERENCE : 325 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par sagem (E2) par lucent FAITS DEDUITS : sagem ALLE lucent sagem ALLE lucent ----------------------------------------- INFERENCE : 326 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par asptt4 (E2) par transpac2 FAITS DEDUITS : asptt4 ALLE transpac2 asptt4 ALLE transpac2 ----------------------------------------- INFERENCE : 327 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par sagem (E2) par transpac2 FAITS DEDUITS : sagem ALLE transpac2 sagem ALLE transpac2 ----------------------------------------- INFERENCE : 328 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par lucent (E2) par transpac2 FAITS DEDUITS : lucent ALLE transpac2 lucent ALLE transpac2 ----------------------------------------- INFERENCE : 329 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par asptt4 (E2) par asul FAITS DEDUITS : asptt4 ALLE asul asptt4 ALLE asul ----------------------------------------- INFERENCE : 330 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par sagem (E2) par asul FAITS DEDUITS : sagem ALLE asul sagem ALLE asul ----------------------------------------- INFERENCE : 331 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par lucent (E2) par asul FAITS DEDUITS : lucent ALLE asul lucent ALLE asul ----------------------------------------- INFERENCE : 332 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par transpac2 (E2) par asul FAITS DEDUITS : transpac2 ALLE asul transpac2 ALLE asul ----------------------------------------- INFERENCE : 333 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par asptt4 (E2) par asac2 FAITS DEDUITS : asptt4 ALLE asac2 asptt4 ALLE asac2 ----------------------------------------- INFERENCE : 334 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par sagem (E2) par asac2 FAITS DEDUITS : sagem ALLE asac2 sagem ALLE asac2 ----------------------------------------- INFERENCE : 335 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par lucent (E2) par asac2 FAITS DEDUITS : lucent ALLE asac2 lucent ALLE asac2 ----------------------------------------- INFERENCE : 336 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par transpac2 (E2) par asac2 FAITS DEDUITS : transpac2 ALLE asac2 transpac2 ALLE asac2 ----------------------------------------- INFERENCE : 337 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par asul (E2) par asac2 FAITS DEDUITS : asul ALLE asac2 asul ALLE asac2 ----------------------------------------- INFERENCE : 338 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par asptt3 (E2) par asptt2 FAITS DEDUITS : asptt3 ALLE asptt2 asptt3 ALLE asptt2 ----------------------------------------- INFERENCE : 339 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par asptt3 (E2) par p.liberales3 FAITS DEDUITS : asptt3 ALLE p.liberales3 asptt3 ALLE p.liberales3 ----------------------------------------- INFERENCE : 340 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par asptt2 (E2) par p.liberales3 FAITS DEDUITS : asptt2 ALLE p.liberales3 asptt2 ALLE p.liberales3 ----------------------------------------- INFERENCE : 341 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par asptt3 (E2) par tml FAITS DEDUITS : asptt3 ALLE tml asptt3 ALLE tml ----------------------------------------- INFERENCE : 342 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par asptt2 (E2) par tml FAITS DEDUITS : asptt2 ALLE tml asptt2 ALLE tml ----------------------------------------- INFERENCE : 343 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par p.liberales3 (E2) par tml FAITS DEDUITS : p.liberales3 ALLE tml p.liberales3 ALLE tml ----------------------------------------- INFERENCE : 344 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par asptt3 (E2) par airtria FAITS DEDUITS : asptt3 ALLE airtria asptt3 ALLE airtria ----------------------------------------- INFERENCE : 345 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par asptt2 (E2) par airtria FAITS DEDUITS : asptt2 ALLE airtria asptt2 ALLE airtria ----------------------------------------- INFERENCE : 346 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par p.liberales3 (E2) par airtria FAITS DEDUITS : p.liberales3 ALLE airtria p.liberales3 ALLE airtria ----------------------------------------- INFERENCE : 347 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par tml (E2) par airtria FAITS DEDUITS : tml ALLE airtria tml ALLE airtria ----------------------------------------- INFERENCE : 348 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par asptt3 (E2) par transpac1 FAITS DEDUITS : asptt3 ALLE transpac1 asptt3 ALLE transpac1 ----------------------------------------- INFERENCE : 349 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par asptt2 (E2) par transpac1 FAITS DEDUITS : asptt2 ALLE transpac1 asptt2 ALLE transpac1 ----------------------------------------- INFERENCE : 350 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par p.liberales3 (E2) par transpac1 FAITS DEDUITS : p.liberales3 ALLE transpac1 p.liberales3 ALLE transpac1 ----------------------------------------- INFERENCE : 351 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par tml (E2) par transpac1 FAITS DEDUITS : tml ALLE transpac1 tml ALLE transpac1 ----------------------------------------- INFERENCE : 352 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par airtria (E2) par transpac1 FAITS DEDUITS : airtria ALLE transpac1 airtria ALLE transpac1 ----------------------------------------- INFERENCE : 353 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par p.liberales2 (E2) par p.liberales1 FAITS DEDUITS : p.liberales2 ALLE p.liberales1 p.liberales2 ALLE p.liberales1 ----------------------------------------- INFERENCE : 354 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par p.liberales2 (E2) par atscaf FAITS DEDUITS : p.liberales2 ALLE atscaf p.liberales2 ALLE atscaf ----------------------------------------- INFERENCE : 355 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par p.liberales1 (E2) par atscaf FAITS DEDUITS : p.liberales1 ALLE atscaf p.liberales1 ALLE atscaf ----------------------------------------- INFERENCE : 356 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par p.liberales2 (E2) par asptt1 FAITS DEDUITS : p.liberales2 ALLE asptt1 p.liberales2 ALLE asptt1 ----------------------------------------- INFERENCE : 357 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par p.liberales1 (E2) par asptt1 FAITS DEDUITS : p.liberales1 ALLE asptt1 p.liberales1 ALLE asptt1 ----------------------------------------- INFERENCE : 358 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par atscaf (E2) par asptt1 FAITS DEDUITS : atscaf ALLE asptt1 atscaf ALLE asptt1 ----------------------------------------- INFERENCE : 359 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par p.liberales2 (E2) par asac1 FAITS DEDUITS : p.liberales2 ALLE asac1 p.liberales2 ALLE asac1 ----------------------------------------- INFERENCE : 360 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par p.liberales1 (E2) par asac1 FAITS DEDUITS : p.liberales1 ALLE asac1 p.liberales1 ALLE asac1 ----------------------------------------- INFERENCE : 361 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par atscaf (E2) par asac1 FAITS DEDUITS : atscaf ALLE asac1 atscaf ALLE asac1 ----------------------------------------- INFERENCE : 362 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par asptt1 (E2) par asac1 FAITS DEDUITS : asptt1 ALLE asac1 asptt1 ALLE asac1 ----------------------------------------- INFERENCE : 363 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par p.liberales2 (E2) par amst FAITS DEDUITS : p.liberales2 ALLE amst p.liberales2 ALLE amst ----------------------------------------- INFERENCE : 364 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par p.liberales1 (E2) par amst FAITS DEDUITS : p.liberales1 ALLE amst p.liberales1 ALLE amst ----------------------------------------- INFERENCE : 365 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par atscaf (E2) par amst FAITS DEDUITS : atscaf ALLE amst atscaf ALLE amst ----------------------------------------- INFERENCE : 366 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par asptt1 (E2) par amst FAITS DEDUITS : asptt1 ALLE amst asptt1 ALLE amst ----------------------------------------- INFERENCE : 367 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par asac1 (E2) par amst FAITS DEDUITS : asac1 ALLE amst asac1 ALLE amst ----------------------------------------- INFERENCE : 368 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par asptt2f (E2) par asptt1f FAITS DEDUITS : asptt2f ALLE asptt1f asptt2f ALLE asptt1f ----------------------------------------- INFERENCE : 369 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par asptt2f (E2) par asulf FAITS DEDUITS : asptt2f ALLE asulf asptt2f ALLE asulf ----------------------------------------- INFERENCE : 370 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par asptt1f (E2) par asulf FAITS DEDUITS : asptt1f ALLE asulf asptt1f ALLE asulf ----------------------------------------- INFERENCE : 371 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par asptt2f (E2) par asac2f FAITS DEDUITS : asptt2f ALLE asac2f asptt2f ALLE asac2f ----------------------------------------- INFERENCE : 372 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par asptt1f (E2) par asac2f FAITS DEDUITS : asptt1f ALLE asac2f asptt1f ALLE asac2f ----------------------------------------- INFERENCE : 373 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par asulf (E2) par asac2f FAITS DEDUITS : asulf ALLE asac2f asulf ALLE asac2f ----------------------------------------- INFERENCE : 374 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par asptt2f (E2) par asac1f FAITS DEDUITS : asptt2f ALLE asac1f asptt2f ALLE asac1f ----------------------------------------- INFERENCE : 375 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par asptt1f (E2) par asac1f FAITS DEDUITS : asptt1f ALLE asac1f asptt1f ALLE asac1f ----------------------------------------- INFERENCE : 376 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par asulf (E2) par asac1f FAITS DEDUITS : asulf ALLE asac1f asulf ALLE asac1f ----------------------------------------- INFERENCE : 377 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par asac2f (E2) par asac1f FAITS DEDUITS : asac2f ALLE asac1f asac2f ALLE asac1f ----------------------------------------- INFERENCE : 378 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par asptt2f (E2) par amst2f FAITS DEDUITS : asptt2f ALLE amst2f asptt2f ALLE amst2f ----------------------------------------- INFERENCE : 379 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par asptt1f (E2) par amst2f FAITS DEDUITS : asptt1f ALLE amst2f asptt1f ALLE amst2f ----------------------------------------- INFERENCE : 380 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par asptt2f (E2) par amst1f FAITS DEDUITS : asptt2f ALLE amst1f asptt2f ALLE amst1f ----------------------------------------- INFERENCE : 381 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_ALLE SUBSTITUTION : (E1) par asulf (E2) par amst1f FAITS DEDUITS : asulf ALLE amst1f asulf ALLE amst1f ----------------------------------------- INFERENCE : 382 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E2) par sagem (E1) par asptt4 FAITS DEDUITS : sagem RALLEZ asptt4 sagem RALLEZ asptt4 ----------------------------------------- INFERENCE : 383 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E2) par lucent (E1) par asptt4 FAITS DEDUITS : lucent RALLEZ asptt4 lucent RALLEZ asptt4 ----------------------------------------- INFERENCE : 384 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E2) par transpac2 (E1) par asptt4 FAITS DEDUITS : transpac2 RALLEZ asptt4 transpac2 RALLEZ asptt4 ----------------------------------------- INFERENCE : 385 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E2) par asul (E1) par asptt4 FAITS DEDUITS : asul RALLEZ asptt4 asul RALLEZ asptt4 ----------------------------------------- INFERENCE : 386 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E2) par asac2 (E1) par asptt4 FAITS DEDUITS : asac2 RALLEZ asptt4 asac2 RALLEZ asptt4 ----------------------------------------- INFERENCE : 387 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E2) par lucent (E1) par sagem FAITS DEDUITS : lucent RALLEZ sagem lucent RALLEZ sagem ----------------------------------------- INFERENCE : 388 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E2) par transpac2 (E1) par sagem FAITS DEDUITS : transpac2 RALLEZ sagem transpac2 RALLEZ sagem ----------------------------------------- INFERENCE : 389 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E2) par asul (E1) par sagem FAITS DEDUITS : asul RALLEZ sagem asul RALLEZ sagem ----------------------------------------- INFERENCE : 390 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E2) par asac2 (E1) par sagem FAITS DEDUITS : asac2 RALLEZ sagem asac2 RALLEZ sagem ----------------------------------------- INFERENCE : 391 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E2) par transpac2 (E1) par lucent FAITS DEDUITS : transpac2 RALLEZ lucent transpac2 RALLEZ lucent ----------------------------------------- INFERENCE : 392 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E2) par asul (E1) par lucent FAITS DEDUITS : asul RALLEZ lucent asul RALLEZ lucent ----------------------------------------- INFERENCE : 393 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E2) par asac2 (E1) par lucent FAITS DEDUITS : asac2 RALLEZ lucent asac2 RALLEZ lucent ----------------------------------------- INFERENCE : 394 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E2) par asul (E1) par transpac2 FAITS DEDUITS : asul RALLEZ transpac2 asul RALLEZ transpac2 ----------------------------------------- INFERENCE : 395 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E2) par asac2 (E1) par transpac2 FAITS DEDUITS : asac2 RALLEZ transpac2 asac2 RALLEZ transpac2 ----------------------------------------- INFERENCE : 396 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E2) par asac2 (E1) par asul FAITS DEDUITS : asac2 RALLEZ asul asac2 RALLEZ asul ----------------------------------------- INFERENCE : 397 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E2) par asptt2 (E1) par asptt3 FAITS DEDUITS : asptt2 RALLEZ asptt3 asptt2 RALLEZ asptt3 ----------------------------------------- INFERENCE : 398 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E2) par p.liberales3 (E1) par asptt3 FAITS DEDUITS : p.liberales3 RALLEZ asptt3 p.liberales3 RALLEZ asptt3 ----------------------------------------- INFERENCE : 399 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E2) par tml (E1) par asptt3 FAITS DEDUITS : tml RALLEZ asptt3 tml RALLEZ asptt3 ----------------------------------------- INFERENCE : 400 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E2) par airtria (E1) par asptt3 FAITS DEDUITS : airtria RALLEZ asptt3 airtria RALLEZ asptt3 ----------------------------------------- INFERENCE : 401 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E2) par transpac1 (E1) par asptt3 FAITS DEDUITS : transpac1 RALLEZ asptt3 transpac1 RALLEZ asptt3 ----------------------------------------- INFERENCE : 402 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E2) par p.liberales3 (E1) par asptt2 FAITS DEDUITS : p.liberales3 RALLEZ asptt2 p.liberales3 RALLEZ asptt2 ----------------------------------------- INFERENCE : 403 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E2) par tml (E1) par asptt2 FAITS DEDUITS : tml RALLEZ asptt2 tml RALLEZ asptt2 ----------------------------------------- INFERENCE : 404 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E2) par airtria (E1) par asptt2 FAITS DEDUITS : airtria RALLEZ asptt2 airtria RALLEZ asptt2 ----------------------------------------- INFERENCE : 405 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E2) par transpac1 (E1) par asptt2 FAITS DEDUITS : transpac1 RALLEZ asptt2 transpac1 RALLEZ asptt2 ----------------------------------------- INFERENCE : 406 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E2) par tml (E1) par p.liberales3 FAITS DEDUITS : tml RALLEZ p.liberales3 tml RALLEZ p.liberales3 ----------------------------------------- INFERENCE : 407 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E2) par airtria (E1) par p.liberales3 FAITS DEDUITS : airtria RALLEZ p.liberales3 airtria RALLEZ p.liberales3 ----------------------------------------- INFERENCE : 408 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E2) par transpac1 (E1) par p.liberales3 FAITS DEDUITS : transpac1 RALLEZ p.liberales3 transpac1 RALLEZ p.liberales3 ----------------------------------------- INFERENCE : 409 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E2) par airtria (E1) par tml FAITS DEDUITS : airtria RALLEZ tml airtria RALLEZ tml ----------------------------------------- INFERENCE : 410 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E2) par transpac1 (E1) par tml FAITS DEDUITS : transpac1 RALLEZ tml transpac1 RALLEZ tml ----------------------------------------- INFERENCE : 411 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E2) par transpac1 (E1) par airtria FAITS DEDUITS : transpac1 RALLEZ airtria transpac1 RALLEZ airtria ----------------------------------------- INFERENCE : 412 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E2) par p.liberales1 (E1) par p.liberales2 FAITS DEDUITS : p.liberales1 RALLEZ p.liberales2 p.liberales1 RALLEZ p.liberales2 ----------------------------------------- INFERENCE : 413 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E2) par atscaf (E1) par p.liberales2 FAITS DEDUITS : atscaf RALLEZ p.liberales2 atscaf RALLEZ p.liberales2 ----------------------------------------- INFERENCE : 414 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E2) par asptt1 (E1) par p.liberales2 FAITS DEDUITS : asptt1 RALLEZ p.liberales2 asptt1 RALLEZ p.liberales2 ----------------------------------------- INFERENCE : 415 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E2) par asac1 (E1) par p.liberales2 FAITS DEDUITS : asac1 RALLEZ p.liberales2 asac1 RALLEZ p.liberales2 ----------------------------------------- INFERENCE : 416 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E2) par amst (E1) par p.liberales2 FAITS DEDUITS : amst RALLEZ p.liberales2 amst RALLEZ p.liberales2 ----------------------------------------- INFERENCE : 417 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E2) par atscaf (E1) par p.liberales1 FAITS DEDUITS : atscaf RALLEZ p.liberales1 atscaf RALLEZ p.liberales1 ----------------------------------------- INFERENCE : 418 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E2) par asptt1 (E1) par p.liberales1 FAITS DEDUITS : asptt1 RALLEZ p.liberales1 asptt1 RALLEZ p.liberales1 ----------------------------------------- INFERENCE : 419 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E2) par asac1 (E1) par p.liberales1 FAITS DEDUITS : asac1 RALLEZ p.liberales1 asac1 RALLEZ p.liberales1 ----------------------------------------- INFERENCE : 420 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E2) par amst (E1) par p.liberales1 FAITS DEDUITS : amst RALLEZ p.liberales1 amst RALLEZ p.liberales1 ----------------------------------------- INFERENCE : 421 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E2) par asptt1 (E1) par atscaf FAITS DEDUITS : asptt1 RALLEZ atscaf asptt1 RALLEZ atscaf ----------------------------------------- INFERENCE : 422 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E2) par asac1 (E1) par atscaf FAITS DEDUITS : asac1 RALLEZ atscaf asac1 RALLEZ atscaf ----------------------------------------- INFERENCE : 423 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E2) par amst (E1) par atscaf FAITS DEDUITS : amst RALLEZ atscaf amst RALLEZ atscaf ----------------------------------------- INFERENCE : 424 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E2) par asac1 (E1) par asptt1 FAITS DEDUITS : asac1 RALLEZ asptt1 asac1 RALLEZ asptt1 ----------------------------------------- INFERENCE : 425 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E2) par amst (E1) par asptt1 FAITS DEDUITS : amst RALLEZ asptt1 amst RALLEZ asptt1 ----------------------------------------- INFERENCE : 426 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E2) par amst (E1) par asac1 FAITS DEDUITS : amst RALLEZ asac1 amst RALLEZ asac1 ----------------------------------------- INFERENCE : 427 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E2) par asptt1f (E1) par asptt2f FAITS DEDUITS : asptt1f RALLEZ asptt2f asptt1f RALLEZ asptt2f ----------------------------------------- INFERENCE : 428 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E2) par asulf (E1) par asptt2f FAITS DEDUITS : asulf RALLEZ asptt2f asulf RALLEZ asptt2f ----------------------------------------- INFERENCE : 429 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E2) par asac2f (E1) par asptt2f FAITS DEDUITS : asac2f RALLEZ asptt2f asac2f RALLEZ asptt2f ----------------------------------------- INFERENCE : 430 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E2) par asac1f (E1) par asptt2f FAITS DEDUITS : asac1f RALLEZ asptt2f asac1f RALLEZ asptt2f ----------------------------------------- INFERENCE : 431 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E2) par amst2f (E1) par asptt2f FAITS DEDUITS : amst2f RALLEZ asptt2f amst2f RALLEZ asptt2f ----------------------------------------- INFERENCE : 432 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E2) par amst1f (E1) par asptt2f FAITS DEDUITS : amst1f RALLEZ asptt2f amst1f RALLEZ asptt2f ----------------------------------------- INFERENCE : 433 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E2) par asulf (E1) par asptt1f FAITS DEDUITS : asulf RALLEZ asptt1f asulf RALLEZ asptt1f ----------------------------------------- INFERENCE : 434 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E2) par asac2f (E1) par asptt1f FAITS DEDUITS : asac2f RALLEZ asptt1f asac2f RALLEZ asptt1f ----------------------------------------- INFERENCE : 435 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E2) par asac1f (E1) par asptt1f FAITS DEDUITS : asac1f RALLEZ asptt1f asac1f RALLEZ asptt1f ----------------------------------------- INFERENCE : 436 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E2) par amst2f (E1) par asptt1f FAITS DEDUITS : amst2f RALLEZ asptt1f amst2f RALLEZ asptt1f ----------------------------------------- INFERENCE : 437 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E2) par asac2f (E1) par asulf FAITS DEDUITS : asac2f RALLEZ asulf asac2f RALLEZ asulf ----------------------------------------- INFERENCE : 438 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E2) par asac1f (E1) par asulf FAITS DEDUITS : asac1f RALLEZ asulf asac1f RALLEZ asulf ----------------------------------------- INFERENCE : 439 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E2) par amst1f (E1) par asulf FAITS DEDUITS : amst1f RALLEZ asulf amst1f RALLEZ asulf ----------------------------------------- INFERENCE : 440 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : MATCH_RETOUR SUBSTITUTION : (E2) par asac1f (E1) par asac2f FAITS DEDUITS : asac1f RALLEZ asac2f asac1f RALLEZ asac2f ----------------------------------------- INFERENCE : 441 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : SAISON_ALLE SUBSTITUTION : (N) par 47 (E2) par sagem (E1) par asptt4 (T) par court_asptt (VAR2) par C4 (VAR1) par date3 (J) par mercredi (H) par 19.5 FAITS DEDUITS : sagem NE_JOUE_PAS 47 sagem NE_JOUE_PAS 47 ' FAUX asptt4 NE_JOUE_PAS 47 asptt4 NE_JOUE_PAS 47 ' FAUX mercredi A 19.5 : date3 court_asptt DISPONIBLE date3 : C4 C4 UTILISABLE 47 C4 UTILISABLE 47 ' FAUX asptt4 ALLE sagem asptt4 ALLE sagem ' FAUX asptt4 VS sagem asptt4 VS sagem ' FAUX ----------------------------------------- INFERENCE : 442 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : SAISON_ALLE SUBSTITUTION : (N) par 45 (E2) par lucent (E1) par asptt4 (T) par court_asptt (VAR2) par C4 (VAR1) par date3 (J) par mercredi (H) par 19.5 FAITS DEDUITS : lucent NE_JOUE_PAS 45 lucent NE_JOUE_PAS 45 ' FAUX asptt4 NE_JOUE_PAS 45 asptt4 NE_JOUE_PAS 45 ' FAUX mercredi A 19.5 : date3 court_asptt DISPONIBLE date3 : C4 C4 UTILISABLE 45 C4 UTILISABLE 45 ' FAUX asptt4 ALLE lucent asptt4 ALLE lucent ' FAUX asptt4 VS lucent asptt4 VS lucent ' FAUX ----------------------------------------- INFERENCE : 443 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : SAISON_ALLE SUBSTITUTION : (N) par 48 (E2) par transpac2 (E1) par asptt4 (T) par court_asptt (VAR2) par C4 (VAR1) par date3 (J) par mercredi (H) par 19.5 FAITS DEDUITS : transpac2 NE_JOUE_PAS 48 transpac2 NE_JOUE_PAS 48 ' FAUX asptt4 NE_JOUE_PAS 48 asptt4 NE_JOUE_PAS 48 ' FAUX mercredi A 19.5 : date3 court_asptt DISPONIBLE date3 : C4 C4 UTILISABLE 48 C4 UTILISABLE 48 ' FAUX asptt4 ALLE transpac2 asptt4 ALLE transpac2 ' FAUX asptt4 VS transpac2 asptt4 VS transpac2 ' FAUX ----------------------------------------- INFERENCE : 444 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : SAISON_ALLE SUBSTITUTION : (N) par 43 (E2) par asul (E1) par asptt4 (T) par court_asptt (VAR2) par C4 (VAR1) par date3 (J) par mercredi (H) par 19.5 FAITS DEDUITS : asul NE_JOUE_PAS 43 asul NE_JOUE_PAS 43 ' FAUX asptt4 NE_JOUE_PAS 43 asptt4 NE_JOUE_PAS 43 ' FAUX mercredi A 19.5 : date3 court_asptt DISPONIBLE date3 : C4 C4 UTILISABLE 43 C4 UTILISABLE 43 ' FAUX asptt4 ALLE asul asptt4 ALLE asul ' FAUX asptt4 VS asul asptt4 VS asul ' FAUX ----------------------------------------- INFERENCE : 445 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : SAISON_ALLE SUBSTITUTION : (N) par 50 (E2) par tml (E1) par asptt3 (T) par court_asptt (VAR2) par C4 (VAR1) par date3 (J) par mercredi (H) par 19.5 FAITS DEDUITS : tml NE_JOUE_PAS 50 tml NE_JOUE_PAS 50 ' FAUX asptt3 NE_JOUE_PAS 50 asptt3 NE_JOUE_PAS 50 ' FAUX mercredi A 19.5 : date3 court_asptt DISPONIBLE date3 : C4 C4 UTILISABLE 50 C4 UTILISABLE 50 ' FAUX asptt3 ALLE tml asptt3 ALLE tml ' FAUX asptt3 VS tml asptt3 VS tml ' FAUX ----------------------------------------- INFERENCE : 446 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : SAISON_ALLE SUBSTITUTION : (N) par 49 (E2) par airtria (E1) par asptt3 (T) par court_asptt (VAR2) par C4 (VAR1) par date3 (J) par mercredi (H) par 19.5 FAITS DEDUITS : airtria NE_JOUE_PAS 49 airtria NE_JOUE_PAS 49 ' FAUX asptt3 NE_JOUE_PAS 49 asptt3 NE_JOUE_PAS 49 ' FAUX mercredi A 19.5 : date3 court_asptt DISPONIBLE date3 : C4 C4 UTILISABLE 49 C4 UTILISABLE 49 ' FAUX asptt3 ALLE airtria asptt3 ALLE airtria ' FAUX asptt3 VS airtria asptt3 VS airtria ' FAUX ----------------------------------------- INFERENCE : 447 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : SAISON_ALLE SUBSTITUTION : (N) par 42 (E2) par transpac1 (E1) par asptt3 (T) par court_asptt (VAR2) par C4 (VAR1) par date3 (J) par mercredi (H) par 19.5 FAITS DEDUITS : transpac1 NE_JOUE_PAS 42 transpac1 NE_JOUE_PAS 42 ' FAUX asptt3 NE_JOUE_PAS 42 asptt3 NE_JOUE_PAS 42 ' FAUX mercredi A 19.5 : date3 court_asptt DISPONIBLE date3 : C4 C4 UTILISABLE 42 C4 UTILISABLE 42 ' FAUX asptt3 ALLE transpac1 asptt3 ALLE transpac1 ' FAUX asptt3 VS transpac1 asptt3 VS transpac1 ' FAUX ----------------------------------------- INFERENCE : 448 ---------------- -------------------------------------------------------------------------------- DEMONSTRATION issue de la REGLE : SAISON_ALLE SUBSTITUTION : (N) par 46 (E2) par asulf (E1) par asptt1f (T) par court_asptt (VAR2) par C4 (VAR1) par date3 (J) par mercredi (H) par 19.5 FAITS DEDUITS : asulf NE_JOUE_PAS 46 asulf NE_JOUE_PAS 46 ' FAUX asptt1f NE_JOUE_PAS 46 asptt1f NE_JOUE_PAS 46 ' FAUX mercredi A 19.5 : date3 court_asptt DISPONIBLE date3 : C4 C4 UTILISABLE 46 C4 UTILISABLE 46 ' FAUX asptt1f ALLE asulf asptt1f ALLE asulf ' FAUX asptt1f VS asulf asptt1f VS asulf ' FAUX ----------------------------------------- INFERENCE : 449 ---------------- ******************************************************************************** INFERENCES ---------- -------------------------------------------------------------------------------- Nombre d'inferences : 449 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 : 1335 Nombre de triplets : 1334 Nombre d'objets en place 1 : 0 Nombre d'objets en place 2 : 11 Nombre d'objets en place 3 : 0 Nombre d'objets en place statut : 3 -------------------------------------------------------------------------------- ; ; Faits statiques : ----------------- ; court_tregastel POSSEDE_COURT 2 court_pleumeur POSSEDE_COURT 2 court_lycee POSSEDE_COURT 2 court_asptt POSSEDE_COURT 2 court_penvenan POSSEDE_COURT 2 court_perros POSSEDE_COURT 2 lundi A 19 : date1 lundi A 20 : date2 mercredi A 19.5 : date3 jeudi A 19 : date4 jeudi A 20 : date5 court_tregastel DISPONIBLE date1 : C1 court_perros DISPONIBLE date2 : C2 court_pleumeur DISPONIBLE date2 : C3 court_asptt DISPONIBLE date3 : C4 court_perros DISPONIBLE date5 : C5 court_penvenan DISPONIBLE date4 : C6 court_lycee DISPONIBLE date5 : C7 amst1f JOUE_EN d0 amst2f JOUE_EN d0 asac1f JOUE_EN d0 asac2f JOUE_EN d0 asulf JOUE_EN d0 asptt1f JOUE_EN d0 asptt2f JOUE_EN d0 amst JOUE_EN d1 asac1 JOUE_EN d1 asptt1 JOUE_EN d1 atscaf JOUE_EN d1 p.liberales1 JOUE_EN d1 p.liberales2 JOUE_EN d1 transpac1 JOUE_EN d2 airtria JOUE_EN d2 tml JOUE_EN d2 p.liberales3 JOUE_EN d2 asptt2 JOUE_EN d2 asptt3 JOUE_EN d2 asac2 JOUE_EN d3 asul JOUE_EN d3 transpac2 JOUE_EN d3 lucent JOUE_EN d3 sagem JOUE_EN d3 asptt4 JOUE_EN d3 airtria EST_LIBRE lundi airtria EST_LIBRE mardi airtria EST_LIBRE mercredi airtria EST_LIBRE jeudi airtria EST_LIBRE vendredi airtria EST_LIBRE samedi asptt1 EST_LIBRE lundi asptt1 EST_LIBRE mardi asptt1 EST_LIBRE mercredi asptt1 EST_LIBRE jeudi asptt1 EST_LIBRE vendredi asptt1 EST_LIBRE samedi asptt2 EST_LIBRE lundi asptt2 EST_LIBRE mardi asptt2 EST_LIBRE mercredi asptt2 EST_LIBRE jeudi asptt2 EST_LIBRE vendredi asptt2 EST_LIBRE samedi asptt3 EST_LIBRE lundi asptt3 EST_LIBRE mardi asptt3 EST_LIBRE mercredi asptt3 EST_LIBRE jeudi asptt3 EST_LIBRE vendredi asptt3 EST_LIBRE samedi asptt4 EST_LIBRE lundi asptt4 EST_LIBRE mardi asptt4 EST_LIBRE mercredi asptt4 EST_LIBRE jeudi asptt4 EST_LIBRE vendredi asptt4 EST_LIBRE samedi amst EST_LIBRE lundi amst EST_LIBRE mardi amst EST_LIBRE mercredi amst EST_LIBRE jeudi amst EST_LIBRE vendredi amst EST_LIBRE samedi ' FAUX asac1 EST_LIBRE lundi asac1 EST_LIBRE mardi asac1 EST_LIBRE mercredi asac1 EST_LIBRE jeudi asac1 EST_LIBRE vendredi asac1 EST_LIBRE samedi asac2 EST_LIBRE lundi asac2 EST_LIBRE mardi asac2 EST_LIBRE mercredi asac2 EST_LIBRE jeudi asac2 EST_LIBRE vendredi asac2 EST_LIBRE samedi p.liberales1 EST_LIBRE lundi p.liberales1 EST_LIBRE mardi ' FAUX p.liberales1 EST_LIBRE mercredi ' FAUX p.liberales1 EST_LIBRE jeudi p.liberales1 EST_LIBRE vendredi ' FAUX p.liberales1 EST_LIBRE samedi ' FAUX p.liberales2 EST_LIBRE lundi p.liberales2 EST_LIBRE mardi ' FAUX p.liberales2 EST_LIBRE mercredi ' FAUX p.liberales2 EST_LIBRE jeudi p.liberales2 EST_LIBRE vendredi ' FAUX p.liberales2 EST_LIBRE samedi ' FAUX p.liberales3 EST_LIBRE lundi p.liberales3 EST_LIBRE mardi ' FAUX p.liberales3 EST_LIBRE mercredi ' FAUX p.liberales3 EST_LIBRE jeudi ' FAUX p.liberales3 EST_LIBRE vendredi ' FAUX p.liberales3 EST_LIBRE samedi ' FAUX transpac1 EST_LIBRE lundi transpac1 EST_LIBRE mardi transpac1 EST_LIBRE mercredi transpac1 EST_LIBRE jeudi transpac1 EST_LIBRE vendredi transpac1 EST_LIBRE samedi transpac2 EST_LIBRE lundi transpac2 EST_LIBRE mardi transpac2 EST_LIBRE mercredi transpac2 EST_LIBRE jeudi transpac2 EST_LIBRE vendredi transpac2 EST_LIBRE samedi sagem EST_LIBRE lundi sagem EST_LIBRE mardi sagem EST_LIBRE mercredi sagem EST_LIBRE jeudi sagem EST_LIBRE vendredi sagem EST_LIBRE samedi lucent EST_LIBRE lundi lucent EST_LIBRE mardi lucent EST_LIBRE mercredi lucent EST_LIBRE jeudi lucent EST_LIBRE vendredi lucent EST_LIBRE samedi asul EST_LIBRE lundi asul EST_LIBRE mardi asul EST_LIBRE mercredi asul EST_LIBRE jeudi asul EST_LIBRE vendredi asul EST_LIBRE samedi atscaf EST_LIBRE lundi atscaf EST_LIBRE mardi atscaf EST_LIBRE mercredi atscaf EST_LIBRE jeudi atscaf EST_LIBRE vendredi atscaf EST_LIBRE samedi tml EST_LIBRE lundi tml EST_LIBRE mardi tml EST_LIBRE mercredi tml EST_LIBRE jeudi tml EST_LIBRE vendredi tml EST_LIBRE samedi amst1f EST_LIBRE lundi amst1f EST_LIBRE mardi amst1f EST_LIBRE mercredi amst1f EST_LIBRE jeudi amst1f EST_LIBRE vendredi amst1f EST_LIBRE samedi ' FAUX amst2f EST_LIBRE lundi amst2f EST_LIBRE mardi amst2f EST_LIBRE mercredi amst2f EST_LIBRE jeudi amst2f EST_LIBRE vendredi amst2f EST_LIBRE samedi ' FAUX asac1f EST_LIBRE lundi asac1f EST_LIBRE mardi asac1f EST_LIBRE mercredi asac1f EST_LIBRE jeudi asac1f EST_LIBRE vendredi asac1f EST_LIBRE samedi asac2f EST_LIBRE lundi asac2f EST_LIBRE mardi asac2f EST_LIBRE mercredi asac2f EST_LIBRE jeudi asac2f EST_LIBRE vendredi asac2f EST_LIBRE samedi asptt1f EST_LIBRE lundi asptt1f EST_LIBRE mardi asptt1f EST_LIBRE mercredi asptt1f EST_LIBRE jeudi asptt1f EST_LIBRE vendredi asptt1f EST_LIBRE samedi asptt2f EST_LIBRE lundi asptt2f EST_LIBRE mardi asptt2f EST_LIBRE mercredi asptt2f EST_LIBRE jeudi asptt2f EST_LIBRE vendredi asptt2f EST_LIBRE samedi asulf EST_LIBRE lundi asulf EST_LIBRE mardi asulf EST_LIBRE mercredi asulf EST_LIBRE jeudi asulf EST_LIBRE vendredi asulf EST_LIBRE samedi amst JOUE_SUR court_tregastel asac1 JOUE_SUR court_tregastel asptt1 JOUE_SUR court_tregastel atscaf JOUE_SUR court_tregastel p.liberales1 JOUE_SUR court_tregastel p.liberales2 JOUE_SUR court_tregastel transpac1 JOUE_SUR court_tregastel airtria JOUE_SUR court_tregastel asptt2 JOUE_SUR court_tregastel asptt3 JOUE_SUR court_tregastel tml JOUE_SUR court_tregastel p.liberales3 JOUE_SUR court_tregastel asptt4 JOUE_SUR court_tregastel asac2 JOUE_SUR court_tregastel asul JOUE_SUR court_tregastel transpac2 JOUE_SUR court_tregastel lucent JOUE_SUR court_tregastel sagem JOUE_SUR court_tregastel amst1f JOUE_SUR court_tregastel amst2f JOUE_SUR court_tregastel asac1f JOUE_SUR court_tregastel asac2f JOUE_SUR court_tregastel asptt1f JOUE_SUR court_tregastel asptt2f JOUE_SUR court_tregastel asulf JOUE_SUR court_tregastel amst JOUE_SUR court_perros asac1 JOUE_SUR court_perros asptt1 JOUE_SUR court_perros atscaf JOUE_SUR court_perros p.liberales1 JOUE_SUR court_perros p.liberales2 JOUE_SUR court_perros transpac1 JOUE_SUR court_perros airtria JOUE_SUR court_perros asptt2 JOUE_SUR court_perros asptt3 JOUE_SUR court_perros tml JOUE_SUR court_perros p.liberales3 JOUE_SUR court_perros asptt4 JOUE_SUR court_perros asac2 JOUE_SUR court_perros asul JOUE_SUR court_perros transpac2 JOUE_SUR court_perros lucent JOUE_SUR court_perros sagem JOUE_SUR court_perros amst1f JOUE_SUR court_perros amst2f JOUE_SUR court_perros asac1f JOUE_SUR court_perros asac2f JOUE_SUR court_perros asptt1f JOUE_SUR court_perros asptt2f JOUE_SUR court_perros asulf JOUE_SUR court_perros amst JOUE_SUR court_lycee asac1 JOUE_SUR court_lycee asptt1 JOUE_SUR court_lycee atscaf JOUE_SUR court_lycee p.liberales1 JOUE_SUR court_lycee p.liberales2 JOUE_SUR court_lycee transpac1 JOUE_SUR court_lycee airtria JOUE_SUR court_lycee asptt2 JOUE_SUR court_lycee asptt3 JOUE_SUR court_lycee tml JOUE_SUR court_lycee p.liberales3 JOUE_SUR court_lycee asptt4 JOUE_SUR court_lycee asac2 JOUE_SUR court_lycee asul JOUE_SUR court_lycee transpac2 JOUE_SUR court_lycee lucent JOUE_SUR court_lycee sagem JOUE_SUR court_lycee amst1f JOUE_SUR court_lycee amst2f JOUE_SUR court_lycee asac1f JOUE_SUR court_lycee asac2f JOUE_SUR court_lycee asptt1f JOUE_SUR court_lycee asptt2f JOUE_SUR court_lycee asulf JOUE_SUR court_lycee amst JOUE_SUR court_penvenan amst1f JOUE_SUR court_penvenan amst2f JOUE_SUR court_penvenan airtria JOUE_SUR court_penvenan asptt1f JOUE_SUR court_asptt asptt2f JOUE_SUR court_asptt asptt1 JOUE_SUR court_asptt asptt2 JOUE_SUR court_asptt asptt3 JOUE_SUR court_asptt asptt4 JOUE_SUR court_asptt amst JOUE_SUR court_pleumeur asac1 JOUE_SUR court_pleumeur asptt1 JOUE_SUR court_pleumeur atscaf JOUE_SUR court_pleumeur p.liberales1 JOUE_SUR court_pleumeur p.liberales2 JOUE_SUR court_pleumeur transpac1 JOUE_SUR court_pleumeur airtria JOUE_SUR court_pleumeur asptt2 JOUE_SUR court_pleumeur asptt3 JOUE_SUR court_pleumeur tml JOUE_SUR court_pleumeur p.liberales3 JOUE_SUR court_pleumeur asptt4 JOUE_SUR court_pleumeur asac2 JOUE_SUR court_pleumeur asul JOUE_SUR court_pleumeur transpac2 JOUE_SUR court_pleumeur lucent JOUE_SUR court_pleumeur sagem JOUE_SUR court_pleumeur amst1f JOUE_SUR court_pleumeur amst2f JOUE_SUR court_pleumeur asac1f JOUE_SUR court_pleumeur asac2f JOUE_SUR court_pleumeur asptt1f JOUE_SUR court_pleumeur asptt2f JOUE_SUR court_pleumeur asulf JOUE_SUR court_pleumeur TOTO' 0 airtria NE_JOUE_PAS 43 airtria NE_JOUE_PAS 46 airtria NE_JOUE_PAS 48 airtria NE_JOUE_PAS 50 airtria NE_JOUE_PAS 2 airtria NE_JOUE_PAS 3 airtria NE_JOUE_PAS 4 airtria NE_JOUE_PAS 5 airtria NE_JOUE_PAS 6 airtria NE_JOUE_PAS 7 airtria NE_JOUE_PAS 10 airtria NE_JOUE_PAS 11 airtria NE_JOUE_PAS 12 airtria NE_JOUE_PAS 13 airtria NE_JOUE_PAS 14 airtria NE_JOUE_PAS 17 airtria NE_JOUE_PAS 18 asptt4 NE_JOUE_PAS 50 asptt4 NE_JOUE_PAS 2 asptt4 NE_JOUE_PAS 3 asptt4 NE_JOUE_PAS 4 asptt4 NE_JOUE_PAS 5 asptt4 NE_JOUE_PAS 6 asptt4 NE_JOUE_PAS 7 asptt4 NE_JOUE_PAS 10 asptt4 NE_JOUE_PAS 11 asptt4 NE_JOUE_PAS 12 asptt4 NE_JOUE_PAS 13 asptt4 NE_JOUE_PAS 14 asptt4 NE_JOUE_PAS 17 asptt4 NE_JOUE_PAS 18 asptt3 NE_JOUE_PAS 43 asptt3 NE_JOUE_PAS 45 asptt3 NE_JOUE_PAS 2 asptt3 NE_JOUE_PAS 3 asptt3 NE_JOUE_PAS 4 asptt3 NE_JOUE_PAS 5 asptt3 NE_JOUE_PAS 6 asptt3 NE_JOUE_PAS 7 asptt3 NE_JOUE_PAS 10 asptt3 NE_JOUE_PAS 11 asptt3 NE_JOUE_PAS 12 asptt3 NE_JOUE_PAS 13 asptt3 NE_JOUE_PAS 14 asptt3 NE_JOUE_PAS 17 asptt3 NE_JOUE_PAS 18 asptt2 NE_JOUE_PAS 40 asptt2 NE_JOUE_PAS 43 asptt2 NE_JOUE_PAS 45 asptt2 NE_JOUE_PAS 47 asptt2 NE_JOUE_PAS 48 asptt2 NE_JOUE_PAS 2 asptt2 NE_JOUE_PAS 3 asptt2 NE_JOUE_PAS 4 asptt2 NE_JOUE_PAS 5 asptt2 NE_JOUE_PAS 7 asptt2 NE_JOUE_PAS 9 asptt2 NE_JOUE_PAS 10 asptt2 NE_JOUE_PAS 11 asptt2 NE_JOUE_PAS 12 asptt2 NE_JOUE_PAS 13 asptt2 NE_JOUE_PAS 14 asptt2 NE_JOUE_PAS 17 asptt2 NE_JOUE_PAS 18 asptt1 NE_JOUE_PAS 41 asptt1 NE_JOUE_PAS 42 asptt1 NE_JOUE_PAS 45 asptt1 NE_JOUE_PAS 46 asptt1 NE_JOUE_PAS 48 asptt1 NE_JOUE_PAS 2 asptt1 NE_JOUE_PAS 3 asptt1 NE_JOUE_PAS 4 asptt1 NE_JOUE_PAS 5 asptt1 NE_JOUE_PAS 6 asptt1 NE_JOUE_PAS 7 asptt1 NE_JOUE_PAS 10 asptt1 NE_JOUE_PAS 11 asptt1 NE_JOUE_PAS 12 asptt1 NE_JOUE_PAS 13 asptt1 NE_JOUE_PAS 14 asptt1 NE_JOUE_PAS 17 asptt1 NE_JOUE_PAS 18 amst NE_JOUE_PAS 40 amst NE_JOUE_PAS 41 amst NE_JOUE_PAS 42 amst NE_JOUE_PAS 49 amst NE_JOUE_PAS 50 amst NE_JOUE_PAS 2 amst NE_JOUE_PAS 3 amst NE_JOUE_PAS 4 amst NE_JOUE_PAS 5 amst NE_JOUE_PAS 6 amst NE_JOUE_PAS 7 amst NE_JOUE_PAS 10 amst NE_JOUE_PAS 11 amst NE_JOUE_PAS 12 amst NE_JOUE_PAS 13 amst NE_JOUE_PAS 14 amst NE_JOUE_PAS 17 amst NE_JOUE_PAS 18 asac1 NE_JOUE_PAS 40 asac1 NE_JOUE_PAS 41 asac1 NE_JOUE_PAS 42 asac1 NE_JOUE_PAS 43 asac1 NE_JOUE_PAS 50 asac1 NE_JOUE_PAS 2 asac1 NE_JOUE_PAS 3 asac1 NE_JOUE_PAS 4 asac1 NE_JOUE_PAS 5 asac1 NE_JOUE_PAS 6 asac1 NE_JOUE_PAS 7 asac1 NE_JOUE_PAS 10 asac1 NE_JOUE_PAS 11 asac1 NE_JOUE_PAS 12 asac1 NE_JOUE_PAS 13 asac1 NE_JOUE_PAS 14 asac1 NE_JOUE_PAS 17 asac1 NE_JOUE_PAS 18 asac2 NE_JOUE_PAS 40 asac2 NE_JOUE_PAS 41 asac2 NE_JOUE_PAS 46 asac2 NE_JOUE_PAS 47 asac2 NE_JOUE_PAS 48 asac2 NE_JOUE_PAS 2 asac2 NE_JOUE_PAS 3 asac2 NE_JOUE_PAS 4 asac2 NE_JOUE_PAS 5 asac2 NE_JOUE_PAS 6 asac2 NE_JOUE_PAS 7 asac2 NE_JOUE_PAS 10 asac2 NE_JOUE_PAS 11 asac2 NE_JOUE_PAS 12 asac2 NE_JOUE_PAS 13 asac2 NE_JOUE_PAS 14 asac2 NE_JOUE_PAS 17 asac2 NE_JOUE_PAS 18 lucent NE_JOUE_PAS 46 lucent NE_JOUE_PAS 48 lucent NE_JOUE_PAS 49 lucent NE_JOUE_PAS 50 lucent NE_JOUE_PAS 2 lucent NE_JOUE_PAS 3 lucent NE_JOUE_PAS 4 lucent NE_JOUE_PAS 5 lucent NE_JOUE_PAS 6 lucent NE_JOUE_PAS 7 lucent NE_JOUE_PAS 10 lucent NE_JOUE_PAS 11 lucent NE_JOUE_PAS 12 lucent NE_JOUE_PAS 13 lucent NE_JOUE_PAS 14 lucent NE_JOUE_PAS 17 lucent NE_JOUE_PAS 18 transpac1 NE_JOUE_PAS 40 transpac1 NE_JOUE_PAS 43 transpac1 NE_JOUE_PAS 45 transpac1 NE_JOUE_PAS 49 transpac1 NE_JOUE_PAS 2 transpac1 NE_JOUE_PAS 3 transpac1 NE_JOUE_PAS 4 transpac1 NE_JOUE_PAS 5 transpac1 NE_JOUE_PAS 6 transpac1 NE_JOUE_PAS 7 transpac1 NE_JOUE_PAS 10 transpac1 NE_JOUE_PAS 11 transpac1 NE_JOUE_PAS 12 transpac1 NE_JOUE_PAS 13 transpac1 NE_JOUE_PAS 14 transpac1 NE_JOUE_PAS 17 transpac1 NE_JOUE_PAS 18 transpac2 NE_JOUE_PAS 40 transpac2 NE_JOUE_PAS 46 transpac2 NE_JOUE_PAS 49 transpac2 NE_JOUE_PAS 50 transpac2 NE_JOUE_PAS 2 transpac2 NE_JOUE_PAS 3 transpac2 NE_JOUE_PAS 4 transpac2 NE_JOUE_PAS 5 transpac2 NE_JOUE_PAS 6 transpac2 NE_JOUE_PAS 7 transpac2 NE_JOUE_PAS 10 transpac2 NE_JOUE_PAS 11 transpac2 NE_JOUE_PAS 12 transpac2 NE_JOUE_PAS 13 transpac2 NE_JOUE_PAS 14 transpac2 NE_JOUE_PAS 17 transpac2 NE_JOUE_PAS 18 p.liberales1 NE_JOUE_PAS 40 p.liberales1 NE_JOUE_PAS 41 p.liberales1 NE_JOUE_PAS 47 p.liberales1 NE_JOUE_PAS 49 p.liberales1 NE_JOUE_PAS 50 p.liberales1 NE_JOUE_PAS 2 p.liberales1 NE_JOUE_PAS 3 p.liberales1 NE_JOUE_PAS 4 p.liberales1 NE_JOUE_PAS 5 p.liberales1 NE_JOUE_PAS 6 p.liberales1 NE_JOUE_PAS 7 p.liberales1 NE_JOUE_PAS 10 p.liberales1 NE_JOUE_PAS 11 p.liberales1 NE_JOUE_PAS 12 p.liberales1 NE_JOUE_PAS 13 p.liberales1 NE_JOUE_PAS 14 p.liberales1 NE_JOUE_PAS 17 p.liberales1 NE_JOUE_PAS 18 p.liberales2 NE_JOUE_PAS 40 p.liberales2 NE_JOUE_PAS 41 p.liberales2 NE_JOUE_PAS 42 p.liberales2 NE_JOUE_PAS 46 p.liberales2 NE_JOUE_PAS 47 p.liberales2 NE_JOUE_PAS 2 p.liberales2 NE_JOUE_PAS 3 p.liberales2 NE_JOUE_PAS 4 p.liberales2 NE_JOUE_PAS 5 p.liberales2 NE_JOUE_PAS 6 p.liberales2 NE_JOUE_PAS 7 p.liberales2 NE_JOUE_PAS 10 p.liberales2 NE_JOUE_PAS 11 p.liberales2 NE_JOUE_PAS 12 p.liberales2 NE_JOUE_PAS 13 p.liberales2 NE_JOUE_PAS 14 p.liberales2 NE_JOUE_PAS 17 p.liberales2 NE_JOUE_PAS 18 p.liberales3 NE_JOUE_PAS 40 p.liberales3 NE_JOUE_PAS 47 p.liberales3 NE_JOUE_PAS 48 p.liberales3 NE_JOUE_PAS 49 p.liberales3 NE_JOUE_PAS 50 p.liberales3 NE_JOUE_PAS 2 p.liberales3 NE_JOUE_PAS 3 p.liberales3 NE_JOUE_PAS 4 p.liberales3 NE_JOUE_PAS 5 p.liberales3 NE_JOUE_PAS 6 p.liberales3 NE_JOUE_PAS 7 p.liberales3 NE_JOUE_PAS 10 p.liberales3 NE_JOUE_PAS 11 p.liberales3 NE_JOUE_PAS 12 p.liberales3 NE_JOUE_PAS 13 p.liberales3 NE_JOUE_PAS 14 p.liberales3 NE_JOUE_PAS 17 p.liberales3 NE_JOUE_PAS 18 asul NE_JOUE_PAS 42 asul NE_JOUE_PAS 47 asul NE_JOUE_PAS 49 asul NE_JOUE_PAS 50 asul NE_JOUE_PAS 2 asul NE_JOUE_PAS 3 asul NE_JOUE_PAS 4 asul NE_JOUE_PAS 5 asul NE_JOUE_PAS 6 asul NE_JOUE_PAS 7 asul NE_JOUE_PAS 10 asul NE_JOUE_PAS 11 asul NE_JOUE_PAS 12 asul NE_JOUE_PAS 13 asul NE_JOUE_PAS 14 asul NE_JOUE_PAS 17 asul NE_JOUE_PAS 18 tml NE_JOUE_PAS 40 tml NE_JOUE_PAS 45 tml NE_JOUE_PAS 46 tml NE_JOUE_PAS 48 tml NE_JOUE_PAS 2 tml NE_JOUE_PAS 3 tml NE_JOUE_PAS 4 tml NE_JOUE_PAS 5 tml NE_JOUE_PAS 6 tml NE_JOUE_PAS 7 tml NE_JOUE_PAS 10 tml NE_JOUE_PAS 11 tml NE_JOUE_PAS 12 tml NE_JOUE_PAS 13 tml NE_JOUE_PAS 14 tml NE_JOUE_PAS 17 tml NE_JOUE_PAS 18 sagem NE_JOUE_PAS 41 sagem NE_JOUE_PAS 42 sagem NE_JOUE_PAS 46 sagem NE_JOUE_PAS 49 sagem NE_JOUE_PAS 2 sagem NE_JOUE_PAS 3 sagem NE_JOUE_PAS 4 sagem NE_JOUE_PAS 5 sagem NE_JOUE_PAS 6 sagem NE_JOUE_PAS 7 sagem NE_JOUE_PAS 10 sagem NE_JOUE_PAS 11 sagem NE_JOUE_PAS 12 sagem NE_JOUE_PAS 13 sagem NE_JOUE_PAS 14 sagem NE_JOUE_PAS 17 sagem NE_JOUE_PAS 18 atscaf NE_JOUE_PAS 41 atscaf NE_JOUE_PAS 43 atscaf NE_JOUE_PAS 45 atscaf NE_JOUE_PAS 48 atscaf NE_JOUE_PAS 50 atscaf NE_JOUE_PAS 2 atscaf NE_JOUE_PAS 3 atscaf NE_JOUE_PAS 4 atscaf NE_JOUE_PAS 5 atscaf NE_JOUE_PAS 6 atscaf NE_JOUE_PAS 7 atscaf NE_JOUE_PAS 10 atscaf NE_JOUE_PAS 11 atscaf NE_JOUE_PAS 12 atscaf NE_JOUE_PAS 13 atscaf NE_JOUE_PAS 14 atscaf NE_JOUE_PAS 17 atscaf NE_JOUE_PAS 18 amst1f NE_JOUE_PAS 40 amst1f NE_JOUE_PAS 41 amst1f NE_JOUE_PAS 42 amst1f NE_JOUE_PAS 43 amst1f NE_JOUE_PAS 45 amst1f NE_JOUE_PAS 47 amst1f NE_JOUE_PAS 48 amst1f NE_JOUE_PAS 49 amst1f NE_JOUE_PAS 2 amst1f NE_JOUE_PAS 3 amst1f NE_JOUE_PAS 4 amst1f NE_JOUE_PAS 5 amst1f NE_JOUE_PAS 6 amst1f NE_JOUE_PAS 7 amst1f NE_JOUE_PAS 10 amst1f NE_JOUE_PAS 11 amst1f NE_JOUE_PAS 12 amst1f NE_JOUE_PAS 13 amst1f NE_JOUE_PAS 14 amst1f NE_JOUE_PAS 17 amst1f NE_JOUE_PAS 18 amst2f NE_JOUE_PAS 40 amst2f NE_JOUE_PAS 41 amst2f NE_JOUE_PAS 42 amst2f NE_JOUE_PAS 43 amst2f NE_JOUE_PAS 45 amst2f NE_JOUE_PAS 46 amst2f NE_JOUE_PAS 47 amst2f NE_JOUE_PAS 48 amst2f NE_JOUE_PAS 2 amst2f NE_JOUE_PAS 3 amst2f NE_JOUE_PAS 4 amst2f NE_JOUE_PAS 5 amst2f NE_JOUE_PAS 6 amst2f NE_JOUE_PAS 7 amst2f NE_JOUE_PAS 10 amst2f NE_JOUE_PAS 11 amst2f NE_JOUE_PAS 12 amst2f NE_JOUE_PAS 13 amst2f NE_JOUE_PAS 14 amst2f NE_JOUE_PAS 17 amst2f NE_JOUE_PAS 18 asac1f NE_JOUE_PAS 40 asac1f NE_JOUE_PAS 41 asac1f NE_JOUE_PAS 42 asac1f NE_JOUE_PAS 43 asac1f NE_JOUE_PAS 46 asac1f NE_JOUE_PAS 50 asac1f NE_JOUE_PAS 2 asac1f NE_JOUE_PAS 3 asac1f NE_JOUE_PAS 4 asac1f NE_JOUE_PAS 5 asac1f NE_JOUE_PAS 6 asac1f NE_JOUE_PAS 7 asac1f NE_JOUE_PAS 10 asac1f NE_JOUE_PAS 11 asac1f NE_JOUE_PAS 12 asac1f NE_JOUE_PAS 13 asac1f NE_JOUE_PAS 14 asac1f NE_JOUE_PAS 17 asac1f NE_JOUE_PAS 18 asac2f NE_JOUE_PAS 40 asac2f NE_JOUE_PAS 42 asac2f NE_JOUE_PAS 45 asac2f NE_JOUE_PAS 46 asac2f NE_JOUE_PAS 47 asac2f NE_JOUE_PAS 49 asac2f NE_JOUE_PAS 2 asac2f NE_JOUE_PAS 3 asac2f NE_JOUE_PAS 4 asac2f NE_JOUE_PAS 5 asac2f NE_JOUE_PAS 6 asac2f NE_JOUE_PAS 7 asac2f NE_JOUE_PAS 10 asac2f NE_JOUE_PAS 11 asac2f NE_JOUE_PAS 12 asac2f NE_JOUE_PAS 13 asac2f NE_JOUE_PAS 14 asac2f NE_JOUE_PAS 17 asac2f NE_JOUE_PAS 18 asptt1f NE_JOUE_PAS 40 asptt1f NE_JOUE_PAS 45 asptt1f NE_JOUE_PAS 48 asptt1f NE_JOUE_PAS 49 asptt1f NE_JOUE_PAS 2 asptt1f NE_JOUE_PAS 3 asptt1f NE_JOUE_PAS 4 asptt1f NE_JOUE_PAS 5 asptt1f NE_JOUE_PAS 6 asptt1f NE_JOUE_PAS 7 asptt1f NE_JOUE_PAS 10 asptt1f NE_JOUE_PAS 11 asptt1f NE_JOUE_PAS 12 asptt1f NE_JOUE_PAS 13 asptt1f NE_JOUE_PAS 14 asptt1f NE_JOUE_PAS 17 asptt1f NE_JOUE_PAS 18 asptt2f NE_JOUE_PAS 40 asptt2f NE_JOUE_PAS 42 asptt2f NE_JOUE_PAS 43 asptt2f NE_JOUE_PAS 47 asptt2f NE_JOUE_PAS 2 asptt2f NE_JOUE_PAS 3 asptt2f NE_JOUE_PAS 4 asptt2f NE_JOUE_PAS 5 asptt2f NE_JOUE_PAS 6 asptt2f NE_JOUE_PAS 7 asptt2f NE_JOUE_PAS 10 asptt2f NE_JOUE_PAS 11 asptt2f NE_JOUE_PAS 12 asptt2f NE_JOUE_PAS 13 asptt2f NE_JOUE_PAS 14 asptt2f NE_JOUE_PAS 17 asptt2f NE_JOUE_PAS 18 asulf NE_JOUE_PAS 40 asulf NE_JOUE_PAS 43 asulf NE_JOUE_PAS 45 asulf NE_JOUE_PAS 47 asulf NE_JOUE_PAS 2 asulf NE_JOUE_PAS 3 asulf NE_JOUE_PAS 4 asulf NE_JOUE_PAS 5 asulf NE_JOUE_PAS 6 asulf NE_JOUE_PAS 7 asulf NE_JOUE_PAS 10 asulf NE_JOUE_PAS 11 asulf NE_JOUE_PAS 12 asulf NE_JOUE_PAS 13 asulf NE_JOUE_PAS 14 asulf NE_JOUE_PAS 17 asulf NE_JOUE_PAS 18 ; Faits deduits (dynamiques ou generes) : --------------------------------------- ; C1 UTILISABLE 41 ' FAUX C1 UTILISABLE 42 ' FAUX C1 UTILISABLE 43 ' FAUX C1 UTILISABLE 45 ' FAUX C1 UTILISABLE 46 ' FAUX C1 UTILISABLE 47 ' FAUX C1 UTILISABLE 48 ' FAUX C1 UTILISABLE 49 ' FAUX C1 UTILISABLE 50 ' FAUX C2 UTILISABLE 41 ' FAUX C2 UTILISABLE 42 ' FAUX C2 UTILISABLE 43 ' FAUX C2 UTILISABLE 45 ' FAUX C2 UTILISABLE 46 ' FAUX C2 UTILISABLE 47 ' FAUX C2 UTILISABLE 48 ' FAUX C2 UTILISABLE 49 ' FAUX C2 UTILISABLE 50 ' FAUX C3 UTILISABLE 41 ' FAUX C3 UTILISABLE 42 ' FAUX C3 UTILISABLE 43 ' FAUX C3 UTILISABLE 45 ' FAUX C3 UTILISABLE 46 ' FAUX C3 UTILISABLE 47 ' FAUX C3 UTILISABLE 48 ' FAUX C3 UTILISABLE 49 ' FAUX C3 UTILISABLE 50 ' FAUX C4 UTILISABLE 40 ' FAUX C4 UTILISABLE 41 ' FAUX C4 UTILISABLE 42 ' FAUX C4 UTILISABLE 43 ' FAUX C4 UTILISABLE 45 ' FAUX C4 UTILISABLE 46 ' FAUX C4 UTILISABLE 47 ' FAUX C4 UTILISABLE 48 ' FAUX C4 UTILISABLE 49 ' FAUX C4 UTILISABLE 50 ' FAUX C5 UTILISABLE 40 ' FAUX C5 UTILISABLE 41 ' FAUX C5 UTILISABLE 42 ' FAUX C5 UTILISABLE 43 ' FAUX C5 UTILISABLE 45 ' FAUX C5 UTILISABLE 46 ' FAUX C5 UTILISABLE 47 ' FAUX C5 UTILISABLE 48 ' FAUX C5 UTILISABLE 49 ' FAUX C5 UTILISABLE 50 ' FAUX C6 UTILISABLE 40 ' FAUX C6 UTILISABLE 41 ' FAUX C6 UTILISABLE 42 ' FAUX C6 UTILISABLE 43 ' FAUX C6 UTILISABLE 45 ' FAUX C6 UTILISABLE 46 ' FAUX C6 UTILISABLE 47 ' FAUX C6 UTILISABLE 48 ' FAUX C6 UTILISABLE 49 ' FAUX C6 UTILISABLE 50 ' FAUX C7 UTILISABLE 40 ' FAUX C7 UTILISABLE 41 ' FAUX C7 UTILISABLE 42 ' FAUX C7 UTILISABLE 43 ' FAUX C7 UTILISABLE 45 ' FAUX C7 UTILISABLE 46 ' FAUX C7 UTILISABLE 47 ' FAUX C7 UTILISABLE 48 ' FAUX C7 UTILISABLE 49 ' FAUX C7 UTILISABLE 50 ' FAUX airtria NE_JOUE_PAS 40 ' FAUX airtria NE_JOUE_PAS 41 ' FAUX airtria NE_JOUE_PAS 42 ' FAUX airtria NE_JOUE_PAS 45 ' FAUX airtria NE_JOUE_PAS 47 ' FAUX airtria NE_JOUE_PAS 49 ' FAUX asptt4 NE_JOUE_PAS 40 ' FAUX asptt4 NE_JOUE_PAS 41 ' FAUX asptt4 NE_JOUE_PAS 42 ' FAUX asptt4 NE_JOUE_PAS 43 ' FAUX asptt4 NE_JOUE_PAS 45 ' FAUX asptt4 NE_JOUE_PAS 46 ' FAUX asptt4 NE_JOUE_PAS 47 ' FAUX asptt4 NE_JOUE_PAS 48 ' FAUX asptt4 NE_JOUE_PAS 49 ' FAUX asptt3 NE_JOUE_PAS 40 ' FAUX asptt3 NE_JOUE_PAS 41 ' FAUX asptt3 NE_JOUE_PAS 42 ' FAUX asptt3 NE_JOUE_PAS 46 ' FAUX asptt3 NE_JOUE_PAS 47 ' FAUX asptt3 NE_JOUE_PAS 48 ' FAUX asptt3 NE_JOUE_PAS 49 ' FAUX asptt3 NE_JOUE_PAS 50 ' FAUX asptt2 NE_JOUE_PAS 41 ' FAUX asptt2 NE_JOUE_PAS 42 ' FAUX asptt2 NE_JOUE_PAS 46 ' FAUX asptt2 NE_JOUE_PAS 49 ' FAUX asptt2 NE_JOUE_PAS 50 ' FAUX asptt1 NE_JOUE_PAS 40 ' FAUX asptt1 NE_JOUE_PAS 43 ' FAUX asptt1 NE_JOUE_PAS 47 ' FAUX asptt1 NE_JOUE_PAS 49 ' FAUX asptt1 NE_JOUE_PAS 50 ' FAUX amst NE_JOUE_PAS 43 ' FAUX amst NE_JOUE_PAS 45 ' FAUX amst NE_JOUE_PAS 46 ' FAUX amst NE_JOUE_PAS 47 ' FAUX amst NE_JOUE_PAS 48 ' FAUX asac1 NE_JOUE_PAS 45 ' FAUX asac1 NE_JOUE_PAS 46 ' FAUX asac1 NE_JOUE_PAS 47 ' FAUX asac1 NE_JOUE_PAS 48 ' FAUX asac1 NE_JOUE_PAS 49 ' FAUX asac2 NE_JOUE_PAS 42 ' FAUX asac2 NE_JOUE_PAS 43 ' FAUX asac2 NE_JOUE_PAS 45 ' FAUX asac2 NE_JOUE_PAS 49 ' FAUX asac2 NE_JOUE_PAS 50 ' FAUX lucent NE_JOUE_PAS 40 ' FAUX lucent NE_JOUE_PAS 41 ' FAUX lucent NE_JOUE_PAS 42 ' FAUX lucent NE_JOUE_PAS 43 ' FAUX lucent NE_JOUE_PAS 45 ' FAUX lucent NE_JOUE_PAS 47 ' FAUX transpac1 NE_JOUE_PAS 41 ' FAUX transpac1 NE_JOUE_PAS 42 ' FAUX transpac1 NE_JOUE_PAS 46 ' FAUX transpac1 NE_JOUE_PAS 47 ' FAUX transpac1 NE_JOUE_PAS 48 ' FAUX transpac1 NE_JOUE_PAS 50 ' FAUX transpac2 NE_JOUE_PAS 41 ' FAUX transpac2 NE_JOUE_PAS 42 ' FAUX transpac2 NE_JOUE_PAS 43 ' FAUX transpac2 NE_JOUE_PAS 45 ' FAUX transpac2 NE_JOUE_PAS 47 ' FAUX transpac2 NE_JOUE_PAS 48 ' FAUX p.liberales1 NE_JOUE_PAS 42 ' FAUX p.liberales1 NE_JOUE_PAS 43 ' FAUX p.liberales1 NE_JOUE_PAS 45 ' FAUX p.liberales1 NE_JOUE_PAS 46 ' FAUX p.liberales1 NE_JOUE_PAS 48 ' FAUX p.liberales2 NE_JOUE_PAS 43 ' FAUX p.liberales2 NE_JOUE_PAS 45 ' FAUX p.liberales2 NE_JOUE_PAS 48 ' FAUX p.liberales2 NE_JOUE_PAS 49 ' FAUX p.liberales2 NE_JOUE_PAS 50 ' FAUX p.liberales3 NE_JOUE_PAS 41 ' FAUX p.liberales3 NE_JOUE_PAS 42 ' FAUX p.liberales3 NE_JOUE_PAS 43 ' FAUX p.liberales3 NE_JOUE_PAS 45 ' FAUX p.liberales3 NE_JOUE_PAS 46 ' FAUX asul NE_JOUE_PAS 40 ' FAUX asul NE_JOUE_PAS 41 ' FAUX asul NE_JOUE_PAS 43 ' FAUX asul NE_JOUE_PAS 45 ' FAUX asul NE_JOUE_PAS 46 ' FAUX asul NE_JOUE_PAS 48 ' FAUX tml NE_JOUE_PAS 41 ' FAUX tml NE_JOUE_PAS 42 ' FAUX tml NE_JOUE_PAS 43 ' FAUX tml NE_JOUE_PAS 47 ' FAUX tml NE_JOUE_PAS 49 ' FAUX tml NE_JOUE_PAS 50 ' FAUX sagem NE_JOUE_PAS 40 ' FAUX sagem NE_JOUE_PAS 43 ' FAUX sagem NE_JOUE_PAS 45 ' FAUX sagem NE_JOUE_PAS 47 ' FAUX sagem NE_JOUE_PAS 48 ' FAUX sagem NE_JOUE_PAS 50 ' FAUX atscaf NE_JOUE_PAS 40 ' FAUX atscaf NE_JOUE_PAS 42 ' FAUX atscaf NE_JOUE_PAS 46 ' FAUX atscaf NE_JOUE_PAS 47 ' FAUX atscaf NE_JOUE_PAS 49 ' FAUX amst1f NE_JOUE_PAS 46 ' FAUX amst1f NE_JOUE_PAS 50 ' FAUX amst2f NE_JOUE_PAS 49 ' FAUX amst2f NE_JOUE_PAS 50 ' FAUX asac1f NE_JOUE_PAS 45 ' FAUX asac1f NE_JOUE_PAS 47 ' FAUX asac1f NE_JOUE_PAS 48 ' FAUX asac1f NE_JOUE_PAS 49 ' FAUX asac2f NE_JOUE_PAS 41 ' FAUX asac2f NE_JOUE_PAS 43 ' FAUX asac2f NE_JOUE_PAS 48 ' FAUX asac2f NE_JOUE_PAS 50 ' FAUX asptt1f NE_JOUE_PAS 41 ' FAUX asptt1f NE_JOUE_PAS 42 ' FAUX asptt1f NE_JOUE_PAS 43 ' FAUX asptt1f NE_JOUE_PAS 46 ' FAUX asptt1f NE_JOUE_PAS 47 ' FAUX asptt1f NE_JOUE_PAS 50 ' FAUX asptt2f NE_JOUE_PAS 41 ' FAUX asptt2f NE_JOUE_PAS 45 ' FAUX asptt2f NE_JOUE_PAS 46 ' FAUX asptt2f NE_JOUE_PAS 48 ' FAUX asptt2f NE_JOUE_PAS 49 ' FAUX asptt2f NE_JOUE_PAS 50 ' FAUX asulf NE_JOUE_PAS 41 ' FAUX asulf NE_JOUE_PAS 42 ' FAUX asulf NE_JOUE_PAS 46 ' FAUX asulf NE_JOUE_PAS 48 ' FAUX asulf NE_JOUE_PAS 49 ' FAUX asulf NE_JOUE_PAS 50 ' FAUX sagem ALLE asptt4 ' FAUX sagem VS asptt4 ' FAUX lucent ALLE asptt4 ' FAUX lucent VS asptt4 ' FAUX transpac2 ALLE asptt4 ' FAUX transpac2 VS asptt4 ' FAUX asul ALLE asptt4 ' FAUX asul VS asptt4 ' FAUX asac2 ALLE asptt4 ' FAUX asac2 VS asptt4 ' FAUX asptt4 ALLE sagem ' FAUX asptt4 VS sagem ' FAUX lucent ALLE sagem ' FAUX lucent VS sagem ' FAUX transpac2 ALLE sagem ' FAUX transpac2 VS sagem ' FAUX asul ALLE sagem ' FAUX asul VS sagem ' FAUX asac2 ALLE sagem ' FAUX asac2 VS sagem ' FAUX asptt4 ALLE lucent ' FAUX asptt4 VS lucent ' FAUX sagem ALLE lucent sagem VS lucent transpac2 ALLE lucent ' FAUX transpac2 VS lucent ' FAUX asul ALLE lucent ' FAUX asul VS lucent ' FAUX asac2 ALLE lucent ' FAUX asac2 VS lucent ' FAUX asptt4 ALLE transpac2 ' FAUX asptt4 VS transpac2 ' FAUX sagem ALLE transpac2 sagem VS transpac2 lucent ALLE transpac2 lucent VS transpac2 asul ALLE transpac2 ' FAUX asul VS transpac2 ' FAUX asac2 ALLE transpac2 ' FAUX asac2 VS transpac2 ' FAUX asptt4 ALLE asul ' FAUX asptt4 VS asul ' FAUX sagem ALLE asul sagem VS asul lucent ALLE asul lucent VS asul transpac2 ALLE asul transpac2 VS asul asac2 ALLE asul ' FAUX asac2 VS asul ' FAUX asptt4 ALLE asac2 asptt4 VS asac2 sagem ALLE asac2 sagem VS asac2 lucent ALLE asac2 lucent VS asac2 transpac2 ALLE asac2 transpac2 VS asac2 asul ALLE asac2 asul VS asac2 asptt3 ALLE asptt2 asptt3 VS asptt2 asptt3 ALLE p.liberales3 asptt3 VS p.liberales3 asptt3 ALLE tml ' FAUX asptt3 VS tml ' FAUX asptt3 ALLE airtria ' FAUX asptt3 VS airtria ' FAUX asptt3 ALLE transpac1 ' FAUX asptt3 VS transpac1 ' FAUX asptt2 ALLE asptt3 ' FAUX asptt2 VS asptt3 ' FAUX asptt2 ALLE p.liberales3 asptt2 VS p.liberales3 asptt2 ALLE tml asptt2 VS tml asptt2 ALLE airtria asptt2 VS airtria asptt2 ALLE transpac1 asptt2 VS transpac1 p.liberales3 ALLE asptt3 ' FAUX p.liberales3 VS asptt3 ' FAUX p.liberales3 ALLE asptt2 ' FAUX p.liberales3 VS asptt2 ' FAUX p.liberales3 ALLE tml p.liberales3 VS tml p.liberales3 ALLE airtria p.liberales3 VS airtria p.liberales3 ALLE transpac1 p.liberales3 VS transpac1 tml ALLE asptt3 ' FAUX tml VS asptt3 ' FAUX tml ALLE asptt2 ' FAUX tml VS asptt2 ' FAUX tml ALLE p.liberales3 ' FAUX tml VS p.liberales3 ' FAUX tml ALLE airtria tml VS airtria tml ALLE transpac1 tml VS transpac1 airtria ALLE asptt3 ' FAUX airtria VS asptt3 ' FAUX airtria ALLE asptt2 ' FAUX airtria VS asptt2 ' FAUX airtria ALLE p.liberales3 ' FAUX airtria VS p.liberales3 ' FAUX airtria ALLE tml ' FAUX airtria VS tml ' FAUX airtria ALLE transpac1 airtria VS transpac1 transpac1 ALLE asptt3 ' FAUX transpac1 VS asptt3 ' FAUX transpac1 ALLE asptt2 ' FAUX transpac1 VS asptt2 ' FAUX transpac1 ALLE p.liberales3 ' FAUX transpac1 VS p.liberales3 ' FAUX transpac1 ALLE tml ' FAUX transpac1 VS tml ' FAUX transpac1 ALLE airtria ' FAUX transpac1 VS airtria ' FAUX p.liberales1 ALLE p.liberales2 ' FAUX p.liberales1 VS p.liberales2 ' FAUX atscaf ALLE p.liberales2 ' FAUX atscaf VS p.liberales2 ' FAUX asptt1 ALLE p.liberales2 ' FAUX asptt1 VS p.liberales2 ' FAUX asac1 ALLE p.liberales2 ' FAUX asac1 VS p.liberales2 ' FAUX amst ALLE p.liberales2 ' FAUX amst VS p.liberales2 ' FAUX p.liberales2 ALLE p.liberales1 p.liberales2 VS p.liberales1 atscaf ALLE p.liberales1 ' FAUX atscaf VS p.liberales1 ' FAUX asptt1 ALLE p.liberales1 ' FAUX asptt1 VS p.liberales1 ' FAUX asac1 ALLE p.liberales1 ' FAUX asac1 VS p.liberales1 ' FAUX amst ALLE p.liberales1 ' FAUX amst VS p.liberales1 ' FAUX p.liberales2 ALLE atscaf p.liberales2 VS atscaf p.liberales1 ALLE atscaf p.liberales1 VS atscaf asptt1 ALLE atscaf ' FAUX asptt1 VS atscaf ' FAUX asac1 ALLE atscaf ' FAUX asac1 VS atscaf ' FAUX amst ALLE atscaf ' FAUX amst VS atscaf ' FAUX p.liberales2 ALLE asptt1 p.liberales2 VS asptt1 p.liberales1 ALLE asptt1 p.liberales1 VS asptt1 atscaf ALLE asptt1 atscaf VS asptt1 asac1 ALLE asptt1 ' FAUX asac1 VS asptt1 ' FAUX amst ALLE asptt1 ' FAUX amst VS asptt1 ' FAUX p.liberales2 ALLE asac1 p.liberales2 VS asac1 p.liberales1 ALLE asac1 p.liberales1 VS asac1 atscaf ALLE asac1 atscaf VS asac1 asptt1 ALLE asac1 asptt1 VS asac1 amst ALLE asac1 ' FAUX amst VS asac1 ' FAUX p.liberales2 ALLE amst p.liberales2 VS amst p.liberales1 ALLE amst p.liberales1 VS amst atscaf ALLE amst atscaf VS amst asptt1 ALLE amst asptt1 VS amst asac1 ALLE amst asac1 VS amst asptt2f ALLE asptt1f asptt2f VS asptt1f asptt2f ALLE asulf asptt2f VS asulf asptt2f ALLE asac2f asptt2f VS asac2f asptt2f ALLE asac1f asptt2f VS asac1f asptt2f ALLE amst2f asptt2f VS amst2f asptt2f ALLE amst1f asptt2f VS amst1f asptt1f ALLE asptt2f ' FAUX asptt1f VS asptt2f ' FAUX asptt1f ALLE asulf ' FAUX asptt1f VS asulf ' FAUX asptt1f ALLE asac2f asptt1f VS asac2f asptt1f ALLE asac1f asptt1f VS asac1f asptt1f ALLE amst2f asptt1f VS amst2f asptt1f ALLE amst1f ' FAUX asptt1f VS amst1f asulf ALLE asptt2f ' FAUX asulf VS asptt2f ' FAUX asulf ALLE asptt1f ' FAUX asulf VS asptt1f ' FAUX asulf ALLE asac2f asulf VS asac2f asulf ALLE asac1f asulf VS asac1f asulf ALLE amst2f ' FAUX asulf VS amst2f asulf ALLE amst1f asulf VS amst1f asac2f ALLE asptt2f ' FAUX asac2f VS asptt2f ' FAUX asac2f ALLE asptt1f ' FAUX asac2f VS asptt1f ' FAUX asac2f ALLE asulf ' FAUX asac2f VS asulf ' FAUX asac2f ALLE asac1f asac2f VS asac1f asac2f ALLE amst2f ' FAUX asac2f VS amst2f asac2f ALLE amst1f ' FAUX asac2f VS amst1f asac1f ALLE asptt2f ' FAUX asac1f VS asptt2f ' FAUX asac1f ALLE asptt1f ' FAUX asac1f VS asptt1f ' FAUX asac1f ALLE asulf ' FAUX asac1f VS asulf ' FAUX asac1f ALLE asac2f ' FAUX asac1f VS asac2f ' FAUX asac1f ALLE amst2f ' FAUX asac1f VS amst2f asac1f ALLE amst1f ' FAUX asac1f VS amst1f amst2f ALLE asptt2f ' FAUX amst2f VS asptt2f ' FAUX amst2f ALLE asptt1f ' FAUX amst2f VS asptt1f ' FAUX amst2f ALLE asulf amst2f VS asulf amst2f ALLE asac2f amst2f VS asac2f amst2f ALLE asac1f amst2f VS asac1f amst2f ALLE amst1f ' FAUX amst2f VS amst1f amst1f ALLE asptt2f ' FAUX amst1f VS asptt2f ' FAUX amst1f ALLE asptt1f amst1f VS asptt1f amst1f ALLE asulf ' FAUX amst1f VS asulf ' FAUX amst1f ALLE asac2f amst1f VS asac2f amst1f ALLE asac1f amst1f VS asac1f amst1f ALLE amst2f amst1f VS amst2f asptt4 RALLEZ sagem asptt4 RALLEZ lucent asptt4 RALLEZ transpac2 asptt4 RALLEZ asul asptt4 RALLEZ asac2 sagem RALLEZ lucent sagem RALLEZ transpac2 sagem RALLEZ asul sagem RALLEZ asac2 lucent RALLEZ transpac2 lucent RALLEZ asul lucent RALLEZ asac2 transpac2 RALLEZ asul transpac2 RALLEZ asac2 asul RALLEZ asac2 asptt3 RALLEZ asptt2 asptt3 RALLEZ p.liberales3 asptt3 RALLEZ tml asptt3 RALLEZ airtria asptt3 RALLEZ transpac1 asptt2 RALLEZ p.liberales3 asptt2 RALLEZ tml asptt2 RALLEZ airtria asptt2 RALLEZ transpac1 p.liberales3 RALLEZ tml p.liberales3 RALLEZ airtria p.liberales3 RALLEZ transpac1 tml RALLEZ airtria tml RALLEZ transpac1 airtria RALLEZ transpac1 p.liberales2 RALLEZ p.liberales1 p.liberales2 RALLEZ atscaf p.liberales2 RALLEZ asptt1 p.liberales2 RALLEZ asac1 p.liberales2 RALLEZ amst p.liberales1 RALLEZ atscaf p.liberales1 RALLEZ asptt1 p.liberales1 RALLEZ asac1 p.liberales1 RALLEZ amst atscaf RALLEZ asptt1 atscaf RALLEZ asac1 atscaf RALLEZ amst asptt1 RALLEZ asac1 asptt1 RALLEZ amst asac1 RALLEZ amst asptt2f RALLEZ asptt1f asptt2f RALLEZ asulf asptt2f RALLEZ asac2f asptt2f RALLEZ asac1f asptt2f RALLEZ amst2f asptt2f RALLEZ amst1f asptt1f RALLEZ asulf asptt1f RALLEZ asac2f asptt1f RALLEZ asac1f asptt1f RALLEZ amst2f asptt1f RALLEZ amst1f asulf RALLEZ asac2f asulf RALLEZ asac1f asulf RALLEZ amst2f asulf RALLEZ amst1f asac2f RALLEZ asac1f asac2f RALLEZ amst2f asac2f RALLEZ amst1f asac1f RALLEZ amst2f asac1f RALLEZ amst1f amst2f RALLEZ amst1f sagem RALLEZ asptt4 lucent RALLEZ asptt4 transpac2 RALLEZ asptt4 asul RALLEZ asptt4 asac2 RALLEZ asptt4 lucent RALLEZ sagem transpac2 RALLEZ sagem asul RALLEZ sagem asac2 RALLEZ sagem transpac2 RALLEZ lucent asul RALLEZ lucent asac2 RALLEZ lucent asul RALLEZ transpac2 asac2 RALLEZ transpac2 asac2 RALLEZ asul asptt2 RALLEZ asptt3 p.liberales3 RALLEZ asptt3 tml RALLEZ asptt3 airtria RALLEZ asptt3 transpac1 RALLEZ asptt3 p.liberales3 RALLEZ asptt2 tml RALLEZ asptt2 airtria RALLEZ asptt2 transpac1 RALLEZ asptt2 tml RALLEZ p.liberales3 airtria RALLEZ p.liberales3 transpac1 RALLEZ p.liberales3 airtria RALLEZ tml transpac1 RALLEZ tml transpac1 RALLEZ airtria p.liberales1 RALLEZ p.liberales2 atscaf RALLEZ p.liberales2 asptt1 RALLEZ p.liberales2 asac1 RALLEZ p.liberales2 amst RALLEZ p.liberales2 atscaf RALLEZ p.liberales1 asptt1 RALLEZ p.liberales1 asac1 RALLEZ p.liberales1 amst RALLEZ p.liberales1 asptt1 RALLEZ atscaf asac1 RALLEZ atscaf amst RALLEZ atscaf asac1 RALLEZ asptt1 amst RALLEZ asptt1 amst RALLEZ asac1 asptt1f RALLEZ asptt2f asulf RALLEZ asptt2f asac2f RALLEZ asptt2f asac1f RALLEZ asptt2f amst2f RALLEZ asptt2f amst1f RALLEZ asptt2f asulf RALLEZ asptt1f asac2f RALLEZ asptt1f asac1f RALLEZ asptt1f amst2f RALLEZ asptt1f asac2f RALLEZ asulf asac1f RALLEZ asulf amst1f RALLEZ asulf asac1f RALLEZ asac2f