如何将这句话转换为命题逻辑

Question

我有以下情况：

如果有人在任何一个房间里被杀，那个房间的水平或垂直房间会有难闻的气味，并且对于那个房间本身，例如如果一个人在用餐室被杀，那么在图书馆用餐时会有恶臭。温室这样的

我制定了四条这样的规则： b1：sd =＆gt; BL或Bd或Bc，不给出Sd或BL或Bd或Bc

我制定了其中四条规则

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

该人不在图书馆： 我是这样开始的：不是BL =＆gt; Bk或Bd或Bc给出BL或Bk或Bd或Bc

但是现在我被困住了，我不能再继续了。我想根据b1，b2，b3，b4结尾说句子。

有人可以帮忙吗？