あの示唆は鍛練する
fact1: 仮にあの示唆が謀殺するとするとこの風呂釜は軽々しい fact2: この風呂釜は謀殺しない fact3: もし仮に何かは謀殺しないがしかし軍人らしいならそれは軽々しかない fact4: 「その上面は目鼻館でおまけに規定する」ということは事実と異なる fact5: もしこの風呂釜は軽々しいとすると「その上面は軍人らしい」ということは間違いでない fact6: もし仮に「あるものは鍛練するしまた軽々しい」ということは間違いだとすればそれは鍛練しない fact7: もし「あの示唆は鍛練しない」ということは真実なら謀殺する fact8: 「その上面は目鼻館であるし規定する」ということは成り立つということはないならば「軍人らしいということはない」ということは事実だ
void -> assump1: 以下のように仮定する。あの示唆は鍛練しない; fact7 & assump1 -> int1: あの示唆は謀殺する; int1 & fact1 -> int2: この風呂釜は軽々しい; int2 & fact5 -> int3: その上面は軍人らしい; fact8 & fact4 -> int4: その上面は軍人らしくない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis;
あの示唆は鍛練するということはない
fact9 -> int6: もし「あの示唆が鍛練するしその上それは軽々しい」ということは偽なら鍛練しない; fact10 -> int7: もし仮にこの風呂釜が謀殺しないけどそれが軍人らしいならば軽々しかない;
$facts$ = fact1: 仮にあの示唆が謀殺するとするとこの風呂釜は軽々しい fact2: この風呂釜は謀殺しない fact3: もし仮に何かは謀殺しないがしかし軍人らしいならそれは軽々しかない fact4: 「その上面は目鼻館でおまけに規定する」ということは事実と異なる fact5: もしこの風呂釜は軽々しいとすると「その上面は軍人らしい」ということは間違いでない fact6: もし仮に「あるものは鍛練するしまた軽々しい」ということは間違いだとすればそれは鍛練しない fact7: もし「あの示唆は鍛練しない」ということは真実なら謀殺する fact8: 「その上面は目鼻館であるし規定する」ということは成り立つということはないならば「軍人らしいということはない」ということは事実だ ; $hypothesis$ = あの示唆は鍛練する ; $proof$ = 
void -> assump1: 以下のように仮定する。あの示唆は鍛練しない; fact7 & assump1 -> int1: あの示唆は謀殺する; int1 & fact1 -> int2: この風呂釜は軽々しい; int2 & fact5 -> int3: その上面は軍人らしい; fact8 & fact4 -> int4: その上面は軍人らしくない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis; __PROVED__
事実1: 仮にあの示唆が謀殺するとするとこの風呂釜は軽々しい
事実2: この風呂釜は謀殺しない
事実3: もし仮に何かは謀殺しないがしかし軍人らしいならそれは軽々しかない
事実4: 「その上面は目鼻館でおまけに規定する」ということは事実と異なる
事実5: もしこの風呂釜は軽々しいとすると「その上面は軍人らしい」ということは間違いでない
事実6: もし仮に「あるものは鍛練するしまた軽々しい」ということは間違いだとすればそれは鍛練しない
事実7: もし「あの示唆は鍛練しない」ということは真実なら謀殺する
事実8: 「その上面は目鼻館であるし規定する」ということは成り立つということはないならば「軍人らしいということはない」ということは事実だ

仮説: あの示唆は鍛練する
1. 仮定1: 以下のように仮定する。あの示唆は鍛練しない
2. 事実7と仮定1から、推論1: "あの示唆は謀殺する"が導かれる
3. 推論1と事実1から、推論2: "この風呂釜は軽々しい"が導かれる
4. 推論2と事実5から、推論3: "その上面は軍人らしい"が導かれる
5. 事実8と事実4から、推論4: "その上面は軍人らしくない"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

よって、仮説が証明されました。