Consider the following predicates:

$T(x)$:$x$ is a time of day

$H(x)$:$x$ is hot

$C(x)$:$x$ is cold

Choose the correct English translation of the following Predicate logic:

AAx$(T(x)(H(x)vvC(x)))$

For every time of day, it is either hot or cold.

No time of day is hot or cold.

Some times of day are neither hot nor cold.

Every time of day is both hot and cold.