How might I tighten up the following?
1. If the FDR data for flight 77 released by the NTSB under the FOIA contained obvious evidence that contradicted the NTSB's own story about the fate of flight 77, then the NTSB (the world's foremost FDR analyzers) knew that the FDR data contained obvious evidence that contradicted its own story about the fate of flight 77.
2. If the NTSB knew that the FDR data contained obvious evidence that contradicted its story about the fate of flight 77, then the NTSB would never have released the FDR data or would have released the FDR data but only after first having amended its story about the fate of flight 7.
3. The NTSB released flight 77's FDR data without amending its story about the fate of flight 77.
Therefore by modus tollens, 4. the FDR data for flight 77 does not contain obvious evidence that contradicts the NTSB's story about the fate of flight 77.
1. If the FDR data for flight 77 released by the NTSB under the FOIA contained obvious evidence that contradicted the NTSB's own story about the fate of flight 77, then the NTSB (the world's foremost FDR analyzers) knew that the FDR data contained obvious evidence that contradicted its own story about the fate of flight 77.
2. If the NTSB knew that the FDR data contained obvious evidence that contradicted its story about the fate of flight 77, then the NTSB would never have released the FDR data or would have released the FDR data but only after first having amended its story about the fate of flight 7.
3. The NTSB released flight 77's FDR data without amending its story about the fate of flight 77.
Therefore by modus tollens, 4. the FDR data for flight 77 does not contain obvious evidence that contradicts the NTSB's story about the fate of flight 77.
