pressurized(p1).  pressurized(p2) <- on(t1) & pressurized(p1).
pressurized(hws) <- on(t2) & pressurized(p2).  pressurized(p3) <-
on(t1) & pressurized(p1).  pressurized(p4) <- pressurized(hws).
pressurized(p5) <- pressurized(hws).  flow(shower) <- on(t2) &
pressurized(p2).  flow(shower) <- on(t5) & pressurized(p5).  wet(sink)
<- on(t3) & pressurized(p3).  wet(sink) <- on(t6) & pressurized(p4).
flow(d3) <- wet(sink) & unplugged(sink).  wet(bath) <- flow(shower).
flow(d2) <- wet(bath) & unplugged(bath).  flow(d1) <- flow(d2).
flow(d1) <- flow(d3).  wet(floor) <- wet(sink) & plugged(sink).
wet(floor) <- wet(bath) & plugged(bath).  on(t1).  on(t2).  off(t3).
off(t4).  off(t5).  on(t6).  unplugged(bath).  plugged(sink).