Implement the CarBuyer System from the $20$ rules listed below in CLIPS. Demonstrate how it works with several runs. Give a trace of the execution of the program for the following query: The automobile should be MIDSIZE, NEW or USED, and under $$20$K$.$

Rules:

Rule $1$: IF $[$ON$\_$WM MILEAGE $=0]$ THEN $[$PUT$\_$ON$\_$WM$\_$ NEW$]$ Rule $2$: IF $[$ON$\_$WM MILEAGE $>0]$ THEN $[$PUT$\_$ON$\_$WM$\_$ USED$]$ Rule $3$: IF $[$ON$\_$WM PRICE $30$K$]$ THEN $[$PUT$\_$ON$\_$WM$\_$ LUXURY$]$ Rule $4$: IF $[$ON$\_$WM PRICE $20$K$]$ THEN $[$PUT$\_$ON$\_$WM$\_$ STANDARD$]$ Rule $5$: IF $[$ON$\_$WM PRICE $>5$K$]$ THEN $[$PUT$\_$ON$\_$WM$\_$ ECONOMY$]$ Rule $6$: IF $[$ON$\_$WM NEW$]$ AND $[$ON$\_$WM $8$cyl$]$ THEN $[$PUT$\_$ON$\_$WM LUXURY$]$ Rule $7$: IF $[$ON$\_$WM AVGCMPG $25]$ THEN $[$PUT$\_$ON$\_$WM Excellent$-$MPG$]$ ELSEIF $[$ON$\_$WM AVGCMPG $>16]$ THEN $[$PUT$\_$ON$\_$WM Medium$-$MPG$]$ ELSEIF $[$ON WM AVGCMPG $16]$ THEN $[$PUT$\_$ON$\_$WM Low$-$MPG$]$

Rule $8$: IF $[$ON$\_$WM LUXURY$]$ THEN $[$PUT$\_$ON$\_$WM SUV$]$ AND $[$PUT$\_$ON$\_$ WM$\_$ Cadillac$]$ AND $[$PUT$\_$ON$\_$WM Lincoln$]$ AND $[$PUT$\_$ON WM Mercedes$]$ Rule $9$: IF $[$ON$\_$WM FOREIGN$]$ THEN $[$PUT$\_$ON$\_$WM Toyota$]$ AND $[$PUT$\_$ON$\_$WM Mercedes$]$ AND $[$PUT$\_$ON$\_$WM Honda$]$ AND $[$PUT$\_$ON WM Hyundai$]$ Rule $10$: IF $[$ON$\_$WM NEW$]$ AND $[$ON$\_$WM SUB$-$COMPACT$]$ THEN $[$PUT$\_$ON$\_$WM Honda Civic$]$ Rule $11$: IF $[$ON$\_$WM NEW$]$ AND $[$ON$\_$WM COMPACT$]$ THEN $[$PUT$\_$ON$\_$ WM Honda Civic$]$ AND $[$PUT$\_$ON$\_$ WM Ford Focus$]$ Rule $12$: IF $[$ON$\_$WM NEW$]$ AND $[$ON$\_$WM MIDSIZE$]$ AND $[$ON$\_$WM ECONOMY$]$ THEN $[$PUT$\_$ON$\_$ WM Hyundai$]$ Rule $13$: IF $[$ON$\_$WM NEW$]$ AND ON$\_$WM MIDSIZE$]$ AND $[$ON$\_$WM STANDARD$]$ THEN $[$PUT$\_$ON$\_$WM Toyota$]$ AND $[$PUT$\_$ON$\_$WM Chevrolet$]$

Rule $14$: IF $[$ON$\_$WM NEW$]$ AND $[$ON$\_$WM MIDSIZE$]$ AND $[$ON$\_$WM LUXURY$]$ THEN $[$PUT$\_$ON$\_$WM Cadillac$]$ AND $[$PUT$\_$ON$\_$WM Lincoln$]$ Rule $15$: IF $[$ON$\_$WM USED$]$ AND $[$ON$\_$WM LARGE$]$ THEN $[$PUT$\_$ON$\_$WM Lincoln$]$ AND $[$PUT$\_$ON$\_$ WM Cadillac$]$ AND $[$PUT$\_$ON$\_$ WM Ford$]$ Rule $16$: IF $[$ON$\_$ WM USED$]$ AND $[$ON$\_$WM SUV$]$ THEN $[$PUT$\_$ON$\_$ WM Toyota$]$ AND $[$PUT$\_$ON$\_$ WM Ford$]$ AND

$[$PUT$\_$ON$\_$ WM Chevrolet$]$ AND $[$PUT$\_$ON$\_$ WM Cadillac$]$ AND $[$PUT$\_$ON$\_$ WM Hyundai$]$ Rule $17$: IF $[$ON$\_$ WM USED$]$ AND $[$ON$\_$WM Sub$-$Compact$]$ THEN $[$PUT$\_$ON$\_$ WM Chevrolet$]$ AND $[$PUT$\_$ON$\_$ WM Ford$]$ Rule $18$: IF $[$ON$\_$WM USED$]$ AND $[$ON$\_$WM Compact$]$ THEN $[$PUT$\_$ON$\_$ WM Toyota$]$ AND $[$PUT$\_$ON$\_$ WM Hyundai$]$ Rule $19$: IF $[$ON$\_$ WM USED$]$ AND $[$ON$\_$ WM Midsize$]$ THEN $[$PUT$\_$ON$\_$ WM Honda$]$ AND $[$PUT$\_$ON$\_$ WM Cadillac$]$ Rule $20$: IF $[$ON$\_$ WM USED$]$ AND $[$ON$\_$ WM Sports$/$Conv$]$ AND $[$ON$\_$WM$\_$Price $$ $$20$K$]$ THEN $[$PUT$\_$ ON WM LUXURY$]$ AND $[$PUT$\_$ON$\_$ WM Mercedes$].$

please implement this in CLIPS and explain how it works