Two men are ice fishing.
the rocks were hard
Just because people are ice fishing it does not mean that the rocks they encounter are hard.
exists p1 x1.(exists x2 x3.((x1 = x2) & n_fishing(x2) & of(x2,x3) & n_ice(x3)) & n_man(x1) & card_eq_2(x1))
exists s1 x1.(n_rock(x1) & Theme(s1,x1) & a_hard(s1))