By a graph I mean a pair $G = (V, E)$ where $V$ is a set and $E \subseteq [V]^2 := \{\{a,b\}: a\neq b \in V\}$. A *graph homomorphism* between graphs $G, H$ is a map $f:V(G)\to V(H)$ such that $\{v, w\}\in E(G)$ implies $\{f(v), f(w)\} \in E(H)$.

Given graphs $G,H$, we denote by $\text{Hom}(G, H)$ the set of all graph homomorphisms $f: G\to H$. Note that for many $G, H$ the set $\text{Hom}(G,H)$ is empty (for instance when $\chi(G) > \chi(H)$).

Define $E_1(G,H) \subseteq [\text{Hom}(G,H)]^2$ to be the largest set such that the evaluation map $e: \text{Hom}(G,H)\times G \to H$, defined by $(f,v) \mapsto f(v)$, is a graph homomorphism. (Here we consider the Cartesian product of graphs, and not the categorical product, see this post.)

Moreover, let $E_2(G,H) = \big\{\{f,g\}\in [\text{Hom}(G,H)]^2: \{f(v), g(v)\} \in E(H) \text{ for all } v\in V(G)\big\}$.

Are there graphs $G,H$ such that neither $E_1(G,H) \subseteq E_2(G,H)$ nor $E_2(G,H) \subseteq E_1(G,H)$?