An artist wearing a red and black sweater painting a mural on the side of a brick building.
The artist completes his third mural on a building just before running out of paint.
Just because an artist is painting a mural doesn't necessarily mean it is his third mural and there is no reason you could thing that it was before running out of paint
exists x1 x2 x6.(n_side(x6) & a_topic(x1) & all x3.(n_mural(x3) -> exists e1 s1 s2 x4 x5 x7 x8.(Theme(e1,x4) & Actor(e1,x2) & v_wear(e1) & on(x4,x6) & of(x6,x7) & n_building(x7) & of(x7,x8) & n_brick(x8) & for(x4,x3) & n_painting(x4) & of(x4,x5) & n_sweater(x5) & a_black(s2) & Theme(s2,x4) & a_red(s1) & Theme(s1,x4))) & (x1 = x2) & n_artist(x1))
exists e1 e2 s1 x1 x2 x3 x4.(n_mural(x2) & a_third(s1) & Theme(s1,x2) & of(x2,x1) & n_male(x1) & n_artist(x1) & before(e1,e2) & r_out(e2) & of(e2,x4) & n_paint(x4) & Actor(e2,x1) & v_run(e2) & r_just(e1) & Theme(e1,x2) & Actor(e1,x1) & v_complete(e1) & on(x2,x3) & n_building(x3))