Rule: explore *** *x* *** (= star-mine-count x) => click-stars Rule: mark mine *** *x* *** (= star-unknown-count (- x x-mine-count)) => mark-stars Rule: same num expanding $$$ *a* *b* ### (= (- (- a a-mine-count) dollar-unknown-count) (- b b-mine-count)) => click-pounds mark-dollars Rule: opposite expanding $$$ $a$ *** #b# ### (= (- (- a a-mine-count) dollar-unknown-count) (- b b-mine-count)) => click-pounds mark-dollars Rule: 131 corner #**$ +ab* ++c* +++# (= (- (- b b-mine-count) (+ (- a a-mine-count) (- c c-mine-count))) 1) => mark-dollars click-pounds