  \(\forall x (\textit{Person}(x) \rightarrow\) \(\ \ (\forall   y(\textit{Day}(y) \Rightarrow \textit{Rise-early}(x,y)) \Rightarrow   \forall z (\textit{Day}(z) \Rightarrow   \textit{Bed-early}(x,z))))\)