Logic 命题逻辑

我正试图设计一个具有命题逻辑的机器人，我正试图证明在4,2处有一个资源，使用的是ponens方法和解析规则，但如果你能帮忙，我就卡住了

• （2，2）中的机器人探测到周围的悬崖
• （2，1）和（1，2）中没有悬崖
• （2，4）中的机器人没有探测到周围的悬崖
• （3,1）和（2,2）中没有资源r1
• （3，3）中没有资源r1，或者（3，4）中有悬崖
• 此外，如果存在悬崖，则在相邻位置存在资源，如果资源旁边最多有一个悬崖