Prolog 中的命题逻辑 - 不正确的表示

问：

有些前提我无法在prolog中正确表示，如下所示：

1. “只有当我既不在嘈杂的环境中，也没有在睡前摄入咖啡因时，我才能睡个好觉。”

   SleepWell <-> (-Noisy & -Caffeine)

2. “当我开车或坐地铁上班时，我不会堵车。”

   (GoToWork) & (GoByDrive | GoBySubway) -> -StuckInTraffic

3. “除非通过 Wi-Fi、以太网或移动数据，否则我无法访问互联网。”

   (Internet | Ethernet | MobileData) -> Internet

4. “如果我不在家，不穿雨衣时忘了带雨伞，我就会被淋湿。”

   (ForgetUmbrella & -Home & -Raincoat) -> GetWet

5. “如果下雪，我就不去滑雪，除非下雪，否则从不刮风。”

   Snows -> -Skiing & (Snows -> Windy)

6. “当我打篮球时，我穿着运动鞋;否则，我从来不穿它。

   PlayBasketBall <-> WearSneakers

7. “如果我在雷雨天气不在家，找不到避难所，我就会被淋湿。”

   (-Home & ThunderStorm & -Shelter) -> Soaked

8. “除非我开车去城里，否则我会被淋湿的。”

   (GoToCity & GoByCar) -> -Wet

这些前提是我目前正在使用 Prolog 练习的练习（具有不同的目标）的一部分。然而，虽然我已经能够弄清楚其余的，但上述这些前提被显示为不正确的表示。