a guy shaving his facial hair in the restroom.
A guy is shaving his dog's hair.
There are definitely laws penalizing this type of hygiene.  Pun intended in penalizing.  The contradiction would be the simultaneous shaving of different species.
exists e1 s1 x1 x2 x3 x4.(n_restroom(x4) & a_topic(x1) & in(e1,x4) & Theme(e1,x3) & Actor(e1,x2) & v_shave(e1) & n_hair(x3) & a_facial(s1) & Theme(s1,x3) & of(x3,x1) & n_male(x1) & (x1 = x2) & n_guy(x1))
exists e1 x1 x2 x3.(Theme(e1,x3) & Actor(e1,x1) & v_shave(e1) & n_hair(x3) & of(x3,x2) & n_dog(x2) & of(x2,x1) & n_male(x1) & n_guy(x1))