The ponies look like they love each other.
The ponies are in love
Just because ponies look like they love each other doesn't imply they are in love.
exists e1 x1.(n_thing(x1) & n_pony(x1) & all x2.(n_other(x2) -> exists e2.(like(e1,e2) & Theme(e2,x2) & Actor(e2,x1) & v_love(e2))) & Actor(e1,x1) & v_look(e1))
exists p1 x1.(n_pony(x1) & exists x2.(in(x1,x2) & n_love(x2)))