During a tax year, the county of Oakridge raises revenue through property taxes on building located in at least one of the following special taxing districts- A, B, C, E, J, and R. Buildings may be located in more than one taxing district. The following conditions apply to the location of buildings in the taxing districts:
No building that is located in district B is also in district A.
At least some buildings that are located in district E are also located in district B. KEY RULE.
All buildings that are located in district C are also located in district B.
If a building is located in district A, then it is also located in district J.
SOLUTION: Quirky Selection Game with formal logic that contains SOME statements.
1. Never AB
2. Esome-> B
3. C-> B
4. A-> J
NOTE: This game proved to be unusually quirky with this surprising SOME modifier, which does not produce applicable contrapositives for the rules.