IF asset ?x low salary ?x low THEN credit ?x bad ##### IF asset ?x low salary ?x high parent ?x ?y asset ?y high THEN credit ?x good ##### IF asset ?x high THEN credit ?x good ##### IF married ?x ?z asset ?x ?y THEN asset ?z ?y ##### WM salary bob high salary mary low asset bob low married bob mary married mary bob parent bob bill asset sue high married sue bill married bill sue asset pat low ##### CONJECTURES credit bob good credit mary bad credit pat bad