あのモザイク図は自首だ
fact1: 取り掛かり易くない物はもぐもぐしないし宿泊設備でない fact2: その図面名は如何わしいけれど不正利用しない fact3: もし仮に何かはもぐもぐしないしその上宿泊設備でないとすればそれは自首であるということはない fact4: もし仮に如何わしいものは不正利用しないとすると「あのモザイク図は取り掛かり易いということはない」ということは正しい fact5: もしその元陸軍大佐が如何わしいならばあのモザイク図は如何わしい fact6: もし仮に何かは如何わしいとすれば自首である
fact2 -> int1: 「如何わしいがしかし不正利用しない」物はある; int1 & fact4 -> int2: あのモザイク図は取り掛かり易くない; fact1 -> int3: もしも「あのモザイク図は取り掛かり易くない」ということは真実だとすればもぐもぐしないしそれにそれは宿泊設備でない; int2 & int3 -> int4: あのモザイク図はもぐもぐしないしかつ宿泊設備でない; fact3 -> int5: あのモザイク図がもぐもぐしなくて宿泊設備でないとすればそれは自首であるということはない; int4 & int5 -> hypothesis;
あのモザイク図は自首だ
fact8 -> int6: あのモザイク図が如何わしいならばそれは自首だ;
$facts$ = fact1: 取り掛かり易くない物はもぐもぐしないし宿泊設備でない fact2: その図面名は如何わしいけれど不正利用しない fact3: もし仮に何かはもぐもぐしないしその上宿泊設備でないとすればそれは自首であるということはない fact4: もし仮に如何わしいものは不正利用しないとすると「あのモザイク図は取り掛かり易いということはない」ということは正しい fact5: もしその元陸軍大佐が如何わしいならばあのモザイク図は如何わしい fact6: もし仮に何かは如何わしいとすれば自首である ; $hypothesis$ = あのモザイク図は自首だ ; $proof$ = 
fact2 -> int1: 「如何わしいがしかし不正利用しない」物はある; int1 & fact4 -> int2: あのモザイク図は取り掛かり易くない; fact1 -> int3: もしも「あのモザイク図は取り掛かり易くない」ということは真実だとすればもぐもぐしないしそれにそれは宿泊設備でない; int2 & int3 -> int4: あのモザイク図はもぐもぐしないしかつ宿泊設備でない; fact3 -> int5: あのモザイク図がもぐもぐしなくて宿泊設備でないとすればそれは自首であるということはない; int4 & int5 -> hypothesis; __DISPROVED__
事実1: 取り掛かり易くない物はもぐもぐしないし宿泊設備でない
事実2: その図面名は如何わしいけれど不正利用しない
事実3: もし仮に何かはもぐもぐしないしその上宿泊設備でないとすればそれは自首であるということはない
事実4: もし仮に如何わしいものは不正利用しないとすると「あのモザイク図は取り掛かり易いということはない」ということは正しい
事実5: もしその元陸軍大佐が如何わしいならばあのモザイク図は如何わしい
事実6: もし仮に何かは如何わしいとすれば自首である

仮説: あのモザイク図は自首だ
1. 事実2から、推論1: "「如何わしいがしかし不正利用しない」物はある"が導かれる
2. 推論1と事実4から、推論2: "あのモザイク図は取り掛かり易くない"が導かれる
3. 事実1から、推論3: "もしも「あのモザイク図は取り掛かり易くない」ということは真実だとすればもぐもぐしないしそれにそれは宿泊設備でない"が導かれる
4. 推論2と推論3から、推論4: "あのモザイク図はもぐもぐしないしかつ宿泊設備でない"が導かれる
5. 事実3から、推論5: "あのモザイク図がもぐもぐしなくて宿泊設備でないとすればそれは自首であるということはない"が導かれる
6. 推論4と推論5から、仮説が否定される

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