「その未払い計上は怠ける」ということは成り立つ
fact1: あの社員同士は陥入する fact2: その未払い計上は陥入する fact3: その未払い計上が陥入するならそれは怠けるということはなくて加えてそれは陸軍兵器局でない
fact3 & fact2 -> int1: その未払い計上は怠けないし加えて陸軍兵器局だということはない; int1 -> hypothesis;
fact3 & fact2 -> int1: (¬{AA}{a} & ¬{AB}{a}); int1 -> hypothesis;
$facts$ = fact1: あの社員同士は陥入する fact2: その未払い計上は陥入する fact3: その未払い計上が陥入するならそれは怠けるということはなくて加えてそれは陸軍兵器局でない ; $hypothesis$ = 「その未払い計上は怠ける」ということは成り立つ ; $proof$ = 
fact3 & fact2 -> int1: その未払い計上は怠けないし加えて陸軍兵器局だということはない; int1 -> hypothesis; __DISPROVED__
事実1: あの社員同士は陥入する
事実2: その未払い計上は陥入する
事実3: その未払い計上が陥入するならそれは怠けるということはなくて加えてそれは陸軍兵器局でない

仮説: 「その未払い計上は怠ける」ということは成り立つ
1. 事実3と事実2から、推論1: "その未払い計上は怠けないし加えて陸軍兵器局だということはない"が導かれる
2. 推論1から、仮説が否定される

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