These two assertions ('shooting was an accident...' and 'she was within her rights...') are not inherently contradictory, though. That's what's remarkable about Kettle Logic: genuine contradictions can be employed in a proof in a convincing (and not necessarily invalid) manner. The above can be orthogonal or complementary assertions, but they are not contradictory.