Agree with much of your comment.
Though note that as GP said, on the Wason selection task, people famously do much better when it's framed in a social context. That at least partially undermines your theory that its lack of familiarity with the terminology of formal logic.
I for the life of me could not solve the <18 example from wikipedia. but the number/color one is super easy