---
# System prepended metadata

title: Untitled

---



| litteral            | premisse         | conclusion   | domaine |
| --------            | --------         | --------     | -------- |
| grand-ami           | R1               |              | bool
| faire plaisir       | R12,R8,R9        | R1, R2       | bool 
| famille proche      | R2               |              | bool
| sport pratique      | R3,R6,R7         |              | golf(R6) , R7(tennis)
| sportif             | R4,R5,R8,R9      | R3           |
| cadeau adapté       | R12              | R3,R4,R5     | cadeau_sport(R3), cadeau_musique(R4), bonne_bouteille(R5), 
| mélomane            | R4,R5,R10,R11    | bool         |
| bon vivant          | R5               | bool         |
| idée trouvée        |                  | R6,R7,R8,R9  |
| cadeau_sport        |                  | R6,R7,R8,R9  | club de golf(R6), billet Roland Garros(R7), roller(R8), basket sans marque(R9)
| parisien            | R8               |              | bool
| style               | R10, R11         |              | lyrique(R10)
| cadeau_musique      |                  | R10, R11     | place opera(R10), disque(R11)
| j'ai les moyens     | R12              | bool
| possible            |   R13,R14        |    R12       | cadeau adapté(R12)
| cadeau              |                  |              |  possible(R13), chocolat(R14)


chainage avant : 

BF = {mélomane, style = lyrique, parisien, grand ami, j'ai les moyens,cadeau_musique = place_opera}

propagation(melomane):
    simplifié avec R4 mais reste 1 cond
    simplifié avec R5 mais reste 2 cond
    simplifié avec R10 mais reste 1 cond
    simplifié avec R11 mais reste 1 cond 

propagation(style = lyrique):
    simplifié avec R10, declanchée -> cadeau_musique = place_opera
    propagation(cadeau_musique = place_opera) : fin

propagation(parisien):
    simplifié avec R8 reste 3 cond
    
propagation(grand ami) :
     simplifié avec R1, déclanchée -> faire plaisir
     propagation(faire plaisir):
         simplifié avec R8 mais reste 2 cond
         simplifié avec R12 mais reste 2 cond
         
propagation(j'ai les moyens):
    simplifié avec R12, mais reste 1 cond


![](https://i.imgur.com/T2FnzsY.png)



chainage arriere