1.  (defrule rmother
2.  (person (name ?x) (gender female))
3.  (person (name ?y))
4.  (parent (parentname ?x) (childname ?y))
5.  =>
6.  (printout t ?x “ is a mother of ” ?y crlf)
7.  (assert (mother (name1 ?x) (name2 ?y)))
)