Artificial intelligence 如何把这个句子转换成命题逻辑

我有以下情况：

如果有人在任何一个房间被杀，那么该房间旁边的房间水平或垂直方向都会有异味，而该房间本身也会有异味，例如，如果有人在餐厅被杀，那么图书馆的餐厅和温室的房间就会有恶臭，所以

我制定了如下四条规则： b1:sd=>BL或Bd或Bc，不给出sd或BL或Bd或Bc

安迪制定了四条规则

现在我想根据上面的规则说这句话：

此人不在图书馆： 我是这样开始的：不是BL=>Bk或Bd或Bc，它给出了BL或Bk或Bd或Bc

但现在我被卡住了，不能再往前走了。我想根据b1，b2，b3，b4在结尾说那个句子

---

有人能帮忙吗？

如果气味只在水平和对角方向传播，那么餐厅谋杀案会让餐厅、图书馆和厨房而不是温室发臭。气味怎么知道不能垂直移动呢？哦，我在问题文本中从对角线改为水平。谢谢你提到（气味不能斜向移动）哥们，整个房子都会发臭。不，如果尸体在厨房，餐厅不会发臭。气味不会斜向移动