Translate the following inference to logic notation: For all x, x_8 is a janitor or x_8 will sleep. It is cold if and only if Robert is sleeping. If Robert were a janitor, then it is cold. Therefore it is cold.
forall x: P(x) or Q(x). p <-> Q(a). P(a) -> p. Therefore p.