; your code goes here
(defrule R1-disco-duro
   (equipo pc_laboratorio1)
   (sintoma ruido_disco)
   =>
   (assert (componente-sospechoso disco_duro))
)
 
(defrule R2-memoria-ram
   (equipo pc_laboratorio1)
   (sintoma no_inicia)
   =>
   (assert (componente-sospechoso memoria_ram))
)
 
(defrule R3-fuente-poder
   (equipo pc_laboratorio2)
   (sintoma no_enciende)
   =>
   (assert (componente-sospechoso fuente_poder))
)
 
(defrule R4-tarjeta-video
   (equipo pc_multimedia)
   (sintoma pantalla_negra)
   =>
   (assert (componente-sospechoso tarjeta_video))
)
 
(defrule R5-bateria
   (equipo laptop_juan)
   (sintoma se_apaga)
   =>
   (assert (componente-sospechoso bateria))
)
 
(defrule R6-cargador
   (equipo laptop_docente)
   (sintoma no_carga)
   =>
   (assert (componente-sospechoso cargador))
)
 
;; --- REGLAS R7 A R12: Generación del diagnóstico ---
 
(defrule R7-diagnostico-disco
   (componente-sospechoso disco_duro)
   =>
   (assert (diagnostico revisar_disco_duro))
)
 
(defrule R8-diagnostico-ram
   (componente-sospechoso memoria_ram)
   =>
   (assert (diagnostico revisar_memoria_ram))
)
 
(defrule R9-diagnostico-fuente
   (componente-sospechoso fuente_poder)
   =>
   (assert (diagnostico revisar_fuente_poder))
)
 
(defrule R10-diagnostico-video
   (componente-sospechoso tarjeta_video)
   =>
   (assert (diagnostico revisar_tarjeta_video))
)
 
(defrule R11-diagnostico-bateria
   (componente-sospechoso bateria)
   =>
   (assert (diagnostico revisar_bateria))
)
 
(defrule R12-diagnostico-cargador
   (componente-sospechoso cargador)
   =>
   (assert (diagnostico revisar_cargador))
)
 
;; --- Regla para mostrar los diagnósticos en la salida (stdout) ---
(defrule imprimir-diagnostico
   (diagnostico ?d)
   =>
   (printout t "DIAGNOSTICO OBTENIDO: " ?d crlf)
)
 
(deffacts caso-prueba
   (equipo pc_laboratorio1)
   (sintoma ruido_disco)
   (sintoma no_inicia)
)
 
(reset)
(run)
(facts)
(exit)
; empty line at the end

OyB5b3VyIGNvZGUgZ29lcyBoZXJlCihkZWZydWxlIFIxLWRpc2NvLWR1cm8KICAgKGVxdWlwbyBwY19sYWJvcmF0b3JpbzEpCiAgIChzaW50b21hIHJ1aWRvX2Rpc2NvKQogICA9PgogICAoYXNzZXJ0IChjb21wb25lbnRlLXNvc3BlY2hvc28gZGlzY29fZHVybykpCikKCihkZWZydWxlIFIyLW1lbW9yaWEtcmFtCiAgIChlcXVpcG8gcGNfbGFib3JhdG9yaW8xKQogICAoc2ludG9tYSBub19pbmljaWEpCiAgID0+CiAgIChhc3NlcnQgKGNvbXBvbmVudGUtc29zcGVjaG9zbyBtZW1vcmlhX3JhbSkpCikKCihkZWZydWxlIFIzLWZ1ZW50ZS1wb2RlcgogICAoZXF1aXBvIHBjX2xhYm9yYXRvcmlvMikKICAgKHNpbnRvbWEgbm9fZW5jaWVuZGUpCiAgID0+CiAgIChhc3NlcnQgKGNvbXBvbmVudGUtc29zcGVjaG9zbyBmdWVudGVfcG9kZXIpKQopCgooZGVmcnVsZSBSNC10YXJqZXRhLXZpZGVvCiAgIChlcXVpcG8gcGNfbXVsdGltZWRpYSkKICAgKHNpbnRvbWEgcGFudGFsbGFfbmVncmEpCiAgID0+CiAgIChhc3NlcnQgKGNvbXBvbmVudGUtc29zcGVjaG9zbyB0YXJqZXRhX3ZpZGVvKSkKKQoKKGRlZnJ1bGUgUjUtYmF0ZXJpYQogICAoZXF1aXBvIGxhcHRvcF9qdWFuKQogICAoc2ludG9tYSBzZV9hcGFnYSkKICAgPT4KICAgKGFzc2VydCAoY29tcG9uZW50ZS1zb3NwZWNob3NvIGJhdGVyaWEpKQopCgooZGVmcnVsZSBSNi1jYXJnYWRvcgogICAoZXF1aXBvIGxhcHRvcF9kb2NlbnRlKQogICAoc2ludG9tYSBub19jYXJnYSkKICAgPT4KICAgKGFzc2VydCAoY29tcG9uZW50ZS1zb3NwZWNob3NvIGNhcmdhZG9yKSkKKQoKOzsgLS0tIFJFR0xBUyBSNyBBIFIxMjogR2VuZXJhY2nDs24gZGVsIGRpYWduw7NzdGljbyAtLS0KCihkZWZydWxlIFI3LWRpYWdub3N0aWNvLWRpc2NvCiAgIChjb21wb25lbnRlLXNvc3BlY2hvc28gZGlzY29fZHVybykKICAgPT4KICAgKGFzc2VydCAoZGlhZ25vc3RpY28gcmV2aXNhcl9kaXNjb19kdXJvKSkKKQoKKGRlZnJ1bGUgUjgtZGlhZ25vc3RpY28tcmFtCiAgIChjb21wb25lbnRlLXNvc3BlY2hvc28gbWVtb3JpYV9yYW0pCiAgID0+CiAgIChhc3NlcnQgKGRpYWdub3N0aWNvIHJldmlzYXJfbWVtb3JpYV9yYW0pKQopCgooZGVmcnVsZSBSOS1kaWFnbm9zdGljby1mdWVudGUKICAgKGNvbXBvbmVudGUtc29zcGVjaG9zbyBmdWVudGVfcG9kZXIpCiAgID0+CiAgIChhc3NlcnQgKGRpYWdub3N0aWNvIHJldmlzYXJfZnVlbnRlX3BvZGVyKSkKKQoKKGRlZnJ1bGUgUjEwLWRpYWdub3N0aWNvLXZpZGVvCiAgIChjb21wb25lbnRlLXNvc3BlY2hvc28gdGFyamV0YV92aWRlbykKICAgPT4KICAgKGFzc2VydCAoZGlhZ25vc3RpY28gcmV2aXNhcl90YXJqZXRhX3ZpZGVvKSkKKQoKKGRlZnJ1bGUgUjExLWRpYWdub3N0aWNvLWJhdGVyaWEKICAgKGNvbXBvbmVudGUtc29zcGVjaG9zbyBiYXRlcmlhKQogICA9PgogICAoYXNzZXJ0IChkaWFnbm9zdGljbyByZXZpc2FyX2JhdGVyaWEpKQopCgooZGVmcnVsZSBSMTItZGlhZ25vc3RpY28tY2FyZ2Fkb3IKICAgKGNvbXBvbmVudGUtc29zcGVjaG9zbyBjYXJnYWRvcikKICAgPT4KICAgKGFzc2VydCAoZGlhZ25vc3RpY28gcmV2aXNhcl9jYXJnYWRvcikpCikKCjs7IC0tLSBSZWdsYSBwYXJhIG1vc3RyYXIgbG9zIGRpYWduw7NzdGljb3MgZW4gbGEgc2FsaWRhIChzdGRvdXQpIC0tLQooZGVmcnVsZSBpbXByaW1pci1kaWFnbm9zdGljbwogICAoZGlhZ25vc3RpY28gP2QpCiAgID0+CiAgIChwcmludG91dCB0ICJESUFHTk9TVElDTyBPQlRFTklETzogIiA/ZCBjcmxmKQopCgooZGVmZmFjdHMgY2Fzby1wcnVlYmEKICAgKGVxdWlwbyBwY19sYWJvcmF0b3JpbzEpCiAgIChzaW50b21hIHJ1aWRvX2Rpc2NvKQogICAoc2ludG9tYSBub19pbmljaWEpCikKCihyZXNldCkKKHJ1bikKKGZhY3RzKQooZXhpdCkKOyBlbXB0eSBsaW5lIGF0IHRoZSBlbmQ=