Anchor: That's OK.
Entailed: That is permissible.
Contradiction: That is definitely forbidden.
Contradiction: That is not okay.
Contradiction: That's not going to work.
Contradiction: the man is shopping.
Contradiction: A woman with clothes on is inside a vehicle.