(setf KB
 '(
   (if ThereIsCyclone DorothyShouldHide)
   (if (and TotoJumps TotoHides) DorothyShouldFindToto)
   (if (or DorothyTakesTimeToFindToto DorothySlow) (not DorothyToCellar))
   (if (not DorothyToCellar) DorothyInOz)
   (if DorothyShouldFindToto DorothyTakesTimeToFindToto)
   (and ThereIsCyclone TotoJumps TotoHides)))

(setf Query 'DorothyInOz)