let's do puzzles: logic game #20

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

B->~A
A-> ~B

2. Esome-> B
~B-> ~Esome

3. C-> B

~B->~C

4. A-> J

~J-> ~A

NOTE: This game proved to be unusually quirky with this surprising SOME modifier, which does not produce applicable contrapositives for the rules.