MinePump  &&  (WaterSensor  ||  !Low)  &&  (WaterSensor  ||  !Normal)  &&  (WaterSensor  ||  !High)  &&  (MethaneSensor  ||  !Alarm)  &&  (MethaneSensor  ||  !Query)  &&  (Alarm  ||  Query  ||  !MethaneSensor)  &&  (MinePump  ||  !Command)  &&  (MinePump  ||  !MethaneSensor)  &&  (MinePump  ||  !WaterSensor)  &&  (MinePump  ||  !o_1)  &&  (MinePump  ||  !o_2)  &&  (MinePump  ||  !o_3)  &&  (MinePump  ||  !o_4)  &&  (MinePump  ||  !o_5)  &&  (MinePump  ||  !o_6)  &&  (MinePump  ||  !o_7)  &&  (MinePump  ||  !o_8)  &&  (MinePump  ||  !o_9)  &&  (MinePump  ||  !o_10)  &&  (MinePump  ||  !o_11)  &&  (MinePump  ||  !o_12)  &&  (MinePump  ||  !o_13)  &&  (MinePump  ||  !o_14)  &&  (MinePump  ||  !o_15)  &&  (MinePump  ||  !o_16)  &&  (MinePump  ||  !o_17)  &&  (WaterSensor  ||  !MinePump)  &&  (Command  ||  !Start)  &&  (Command  ||  !Stop)  &&  (Start  ||  Stop  ||  !Command)  &&  True  &&  !False