In the 60s Wason showed people poorly understand the #logic of testing abstract conditionals (If..., then...).
In the 70s Johnson-Laird et al. found people DO know how others tend to test FAMILIAR conditionals (If someone drinks, then they must be 21).
After many more papers...
"Thematic" versions of Wason's card selection task which involve familiar (rather than abstract) content.
"The overall goal of the Wason selection task is to analyze how subjects formulate and test hypotheses from a conditional "If p then q" rule. This problem has been and continues to be one of the best experimental tools for studying the mechanisms underlying human reasoning. The original abstract version of the problem 1 is illustrated in Figure 1."