Logic Puzzle Solver

attributes, individuals:

Conditions:

Simplified:

Time taken:

Solution: