A four wheel drive car is splashing through puddles on an off road trail.
The car is 2 wheel drive.
A car cannot be both a four wheel drive and a 2 wheel drive.
(x)
exists p1 x1.(n_car(x1) & exists x2 x3.((x1 = x2) & n_drive(x2) & of(x2,x3) & n_wheel(x3) & n_date(x2) & a_date_day_02(x2) & a_date_day_02(x2)))