Two dogs are nuzzling each other nose to nose.
The dogs are in love.
One cannot necessarily equate human emotion to dogs and we can't know that they are in love.
exists x1 x3.(n_nose(x3) & all x2.((-(x2 = x3) & n_nose(x2)) -> exists e1 x4.(to(e1,x4) & n_nose(x4) & Theme(e1,x2) & Actor(e1,x1) & v_nuzzle(e1))) & n_dog(x1) & card_eq_2(x1))
exists p1 x1.(n_dog(x1) & exists x2.(in(x1,x2) & n_love(x2)))