あの戦乱は赴任先であるということはない
fact1: この猛者は解答する fact2: もし仮にこの猛者が進発するしおまけに解答するとすればあの戦乱は赴任先でない fact3: 仮に「この猛者は医療費であるか入れ溶かさないかまたはどちらもだ」ということは成り立たないとしたら進発する fact4: 「この猛者は医療費であるかもしくは入れ溶かさない」ということは誤りだ
fact3 & fact4 -> int1: 「この猛者は進発する」ということは正しい; int1 & fact1 -> int2: この猛者は進発するしそれは解答する; int2 & fact2 -> hypothesis;
$facts$ = fact1: この猛者は解答する fact2: もし仮にこの猛者が進発するしおまけに解答するとすればあの戦乱は赴任先でない fact3: 仮に「この猛者は医療費であるか入れ溶かさないかまたはどちらもだ」ということは成り立たないとしたら進発する fact4: 「この猛者は医療費であるかもしくは入れ溶かさない」ということは誤りだ ; $hypothesis$ = あの戦乱は赴任先であるということはない ; $proof$ = 
fact3 & fact4 -> int1: 「この猛者は進発する」ということは正しい; int1 & fact1 -> int2: この猛者は進発するしそれは解答する; int2 & fact2 -> hypothesis; __PROVED__
事実1: この猛者は解答する
事実2: もし仮にこの猛者が進発するしおまけに解答するとすればあの戦乱は赴任先でない
事実3: 仮に「この猛者は医療費であるか入れ溶かさないかまたはどちらもだ」ということは成り立たないとしたら進発する
事実4: 「この猛者は医療費であるかもしくは入れ溶かさない」ということは誤りだ

仮説: あの戦乱は赴任先であるということはない
1. 事実3と事実4から、推論1: "「この猛者は進発する」ということは正しい"が導かれる
2. 推論1と事実1から、推論2: "この猛者は進発するしそれは解答する"が導かれる
3. 推論2と事実2から、仮説が導かれる

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