Root  &&  (SensorInformation  ||  !Oxygenation)  &&  (SensorInformation  ||  !PulseRate)  &&  (SensorInformation  ||  !Temperature)  &&  (SensorInformation  ||  !Position)  &&  (SensorInformation  ||  !Fall)  &&  (Oxygenation  ||  PulseRate  ||  Temperature  ||  Position  ||  Fall  ||  !SensorInformation)  &&  (Monitoring  ||  !SensorInformation)  &&  (Monitoring  ||  !Sensor)  &&  (SensorInformation  ||  !Monitoring)  &&  (Sensor  ||  !Monitoring)  &&  (Root  ||  !Monitoring)  &&  (Root  ||  !Storage)  &&  (Root  ||  !o_1)  &&  (Root  ||  !o_2)  &&  (Root  ||  !o_3)  &&  (Root  ||  !o_4)  &&  (Root  ||  !o_5)  &&  (Root  ||  !o_6)  &&  (Root  ||  !o_7)  &&  (Root  ||  !o_8)  &&  (Root  ||  !o_9)  &&  (Root  ||  !o_10)  &&  (Monitoring  ||  !Root)  &&  (Storage  ||  !Root)  &&  (Storage  ||  !Sqlite)  &&  (Storage  ||  !Memory)  &&  (Sqlite  ||  Memory  ||  !Storage)  &&  (!Sqlite  ||  !Memory)  &&  (Sensor  ||  !SPO2)  &&  (Sensor  ||  !ECG)  &&  (Sensor  ||  !TEMP)  &&  (Sensor  ||  !ACC)  &&  (SPO2  ||  ECG  ||  TEMP  ||  ACC  ||  !Sensor)  &&  (!Oxygenation  ||  SPO2)  &&  (!PulseRate  ||  SPO2  ||  ECG)  &&  (!Fall  ||  ACC)  &&  (!Position  ||  ACC)  &&  (!Temperature  ||  TEMP)  &&  True  &&  !False