Экспертные системы

Определите, является ли указанное правило на языке CLIPS:
(defrule regula
(likes ?x&~John&~Joseph Kate)
(not (likes ?x Mary))
(children ?x $? ?y $?w ?z)
=>
(printout t ?x " " ?y " " ?z crlf))
будут уволены - и если да, то сколько раз - и что будет печататься каждый раз - со следующим списком фактов:
(deffacts f (likes John Kate)
(children John Jimmy)
(likes Joseph Mary)
(likes Bob Kate)
(children Bob Jack Liz Amy Frank)
(likes Chris Kate)
(likes Chris Mary)
(children Chris Robby Wendy)
)