A blue and yellow Chevy race car comes around the bend in the background a white and blue Chevy race car follows.
A man watches one car race its best time.
These sentences are contradictory because one sentence describes a yellow Chevy race car and a blue Chevy race car while the second sentence on states that there is one car.
exists e2 e1 s1 s2 s3 s4 x1 x2 x3 x4 x5 x6 x7 x8 x9.(n_background(x5) & n_bend(x4) & in(e1,x5) & Theme(e2,x9) & Actor(e2,x6) & v_follow(e2) & (x5 = x9) & n_car(x6) & of(x6,x8) & n_race(x8) & (x6 = x7) & ne_geo_chevy(x7) & a_blue(s4) & Theme(s4,x6) & a_white(s3) & Theme(s3,x6) & around(e1,x4) & Actor(e1,x1) & v_come(e1) & n_car(x1) & of(x1,x3) & n_race(x3) & (x1 = x2) & ne_geo_chevy(x2) & a_yellow(s2) & Theme(s2,x1) & a_blue(s1) & Theme(s1,x1))
(x)