| 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


chainage arriere