「この軍資金は喋らさないかまたは総括しないか両方ともだ」ということは成り立たない
fact1: もしある物がスタンド・バイ・ミーでないならばそれは喋らさないかもしくは総括しない fact2: もしも「あるものは渡り終えるかそれは経営品質向上プログラムだ」ということは事実と異なればそれはスタンド・バイ・ミーでない fact3: もし仮にあの技術職員数値は忙しくないとすると「この軍資金は渡り終えるかあるいはそれは経営品質向上プログラムだ」ということは間違いだ fact4: あの技術職員数値は忙しくない
fact3 & fact4 -> int1: 「この軍資金は渡り終えるかあるいは経営品質向上プログラムである」ということは嘘だ; fact2 -> int2: 仮に「この軍資金は渡り終えるかまたは経営品質向上プログラムであるかもしくは両方である」ということは成り立つということはないとしたらスタンド・バイ・ミーだということはない; int1 & int2 -> int3: この軍資金はスタンド・バイ・ミーでない; fact1 -> int4: 仮にこの軍資金はスタンド・バイ・ミーでないならば喋らさないかあるいは総括するということはないかどちらもだ; int3 & int4 -> hypothesis;
$facts$ = fact1: もしある物がスタンド・バイ・ミーでないならばそれは喋らさないかもしくは総括しない fact2: もしも「あるものは渡り終えるかそれは経営品質向上プログラムだ」ということは事実と異なればそれはスタンド・バイ・ミーでない fact3: もし仮にあの技術職員数値は忙しくないとすると「この軍資金は渡り終えるかあるいはそれは経営品質向上プログラムだ」ということは間違いだ fact4: あの技術職員数値は忙しくない ; $hypothesis$ = 「この軍資金は喋らさないかまたは総括しないか両方ともだ」ということは成り立たない ; $proof$ = 
fact3 & fact4 -> int1: 「この軍資金は渡り終えるかあるいは経営品質向上プログラムである」ということは嘘だ; fact2 -> int2: 仮に「この軍資金は渡り終えるかまたは経営品質向上プログラムであるかもしくは両方である」ということは成り立つということはないとしたらスタンド・バイ・ミーだということはない; int1 & int2 -> int3: この軍資金はスタンド・バイ・ミーでない; fact1 -> int4: 仮にこの軍資金はスタンド・バイ・ミーでないならば喋らさないかあるいは総括するということはないかどちらもだ; int3 & int4 -> hypothesis; __DISPROVED__
事実1: もしある物がスタンド・バイ・ミーでないならばそれは喋らさないかもしくは総括しない
事実2: もしも「あるものは渡り終えるかそれは経営品質向上プログラムだ」ということは事実と異なればそれはスタンド・バイ・ミーでない
事実3: もし仮にあの技術職員数値は忙しくないとすると「この軍資金は渡り終えるかあるいはそれは経営品質向上プログラムだ」ということは間違いだ
事実4: あの技術職員数値は忙しくない

仮説: 「この軍資金は喋らさないかまたは総括しないか両方ともだ」ということは成り立たない
1. 事実3と事実4から、推論1: "「この軍資金は渡り終えるかあるいは経営品質向上プログラムである」ということは嘘だ"が導かれる
2. 事実2から、推論2: "仮に「この軍資金は渡り終えるかまたは経営品質向上プログラムであるかもしくは両方である」ということは成り立つということはないとしたらスタンド・バイ・ミーだということはない"が導かれる
3. 推論1と推論2から、推論3: "この軍資金はスタンド・バイ・ミーでない"が導かれる
4. 事実1から、推論4: "仮にこの軍資金はスタンド・バイ・ミーでないならば喋らさないかあるいは総括するということはないかどちらもだ"が導かれる
5. 推論3と推論4から、仮説が否定される

よって、仮説が否定されました。