(! CycA & ! CycB & ! CycD & ! CycE) | (p27 & ! CycB & ! CycD)

(! Rb & ! CycA & ! CycB) | (p27 & ! Rb & ! CycB)

(! CycD & ! CycE & ! CycA & ! CycB) | (p27 & ! (CycE & CycA) & ! CycB &! CycD)

! Cdh1 | (Cdh1 & UbcH10 & (Cdc20 | CycA | CycB))