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 asset ?x ?y married ?x ?z THEN asset ?z ?y ##### WM salary bob low asset bob low married bob mary parent bob bill asset sue high married sue bill ##### CONJECTURES credit bob good credit mary bad