Three small dogs, two of which are sniffing noses.
The three dogs are avoiding one another.
The dogs cannot be avoiding each other if they are sniffing each others noses.
exists e1 s1 x1 x2 x3 x4.(Theme(e1,x4) & Actor(e1,x3) & v_sniff(e1) & n_nose(x4) & of(x3,x2) & n_thing(x3) & card_eq_2(x3) & a_topic(x1) & (x1 = x2) & n_dog(x1) & a_small(s1) & Theme(s1,x1) & card_eq_3(x1))
exists e1 s1 x1 x2.(n_dog(x1) & card_eq_3(x1) & Theme(e1,x2) & Actor(e1,x1) & v_avoid(e1) & n_thing(x2) & card_eq_1(x2) & a_another(s1) & Theme(s1,x2))