Coded statements may hide negations—track who is not related how, carefully.
For mixed puzzles, process definitive clues before probabilistic ones to prune branches.
Re-derive the target relationship twice if the answer feels odd—diagrams catch misreads.