この供用年度はウォンボーでない
fact1: 「太り難いしおまけに弁解がましいということはない」ものはある fact2: もし「とある物は用心深い一方で果たし終えない」ということは成り立たないとするとそれは用心深くない fact3: もしこの行政がのさばるならこの供用年度はウォンボーであるということはない fact4: とあるものは太り難いしそれに弁解がましい fact5: 仮に「「太り難いがしかし弁解がましくらない」ものはある」ということは成り立てばその千九百四十年代は指揮命令だ fact6: もしもなにがしかのものは指揮命令でないとしたら「太り難いかもしくは弁解はましくらないか両方ともだ」ということは成り立たない fact7: 「太り難い」ものはある fact8: この行政は用心深くないとすると「それは指揮命令でないけど弁解がましい」ということは間違いである fact9: なにかは弁解がましかない fact10: あのフライトスタイルは用心深いとすると「この行政はのさばる」ということは成り立つ fact11: 「なにがしかの物はのさばるしおまけに指揮命令だ」ということは間違っているとしたら指揮命令であるということはない fact12: その千九百四十年代が指揮命令ならあのフライトスタイルは用心深い
fact1 & fact5 -> int1: その千九百四十年代は指揮命令だ; int1 & fact12 -> int2: あのフライトスタイルは用心深い; int2 & fact10 -> int3: この行政はのさばる; int3 & fact3 -> hypothesis;
この供用年度はウォンボーだ
fact14 -> int4: もし仮にこの供用年度は指揮命令だということはないとしたら「それが太り難いかまたは弁解はましくらないかまたはどちらもである」ということは成り立つということはない; fact13 -> int5: 「この供用年度はのさばるしかつそれは指揮命令だ」ということは誤りだとするとそれは指揮命令でない; fact15 -> int6: もし「あのフライトスタイルは用心深いが果たし終えない」ということは間違いであるとすれば「用心深いということはない」ということは真実である;
$facts$ = fact1: 「太り難いしおまけに弁解がましいということはない」ものはある fact2: もし「とある物は用心深い一方で果たし終えない」ということは成り立たないとするとそれは用心深くない fact3: もしこの行政がのさばるならこの供用年度はウォンボーであるということはない fact4: とあるものは太り難いしそれに弁解がましい fact5: 仮に「「太り難いがしかし弁解がましくらない」ものはある」ということは成り立てばその千九百四十年代は指揮命令だ fact6: もしもなにがしかのものは指揮命令でないとしたら「太り難いかもしくは弁解はましくらないか両方ともだ」ということは成り立たない fact7: 「太り難い」ものはある fact8: この行政は用心深くないとすると「それは指揮命令でないけど弁解がましい」ということは間違いである fact9: なにかは弁解がましかない fact10: あのフライトスタイルは用心深いとすると「この行政はのさばる」ということは成り立つ fact11: 「なにがしかの物はのさばるしおまけに指揮命令だ」ということは間違っているとしたら指揮命令であるということはない fact12: その千九百四十年代が指揮命令ならあのフライトスタイルは用心深い ; $hypothesis$ = この供用年度はウォンボーでない ; $proof$ = 
fact1 & fact5 -> int1: その千九百四十年代は指揮命令だ; int1 & fact12 -> int2: あのフライトスタイルは用心深い; int2 & fact10 -> int3: この行政はのさばる; int3 & fact3 -> hypothesis; __PROVED__
事実1: 「太り難いしおまけに弁解がましいということはない」ものはある
事実2: もし「とある物は用心深い一方で果たし終えない」ということは成り立たないとするとそれは用心深くない
事実3: もしこの行政がのさばるならこの供用年度はウォンボーであるということはない
事実4: とあるものは太り難いしそれに弁解がましい
事実5: 仮に「「太り難いがしかし弁解がましくらない」ものはある」ということは成り立てばその千九百四十年代は指揮命令だ
事実6: もしもなにがしかのものは指揮命令でないとしたら「太り難いかもしくは弁解はましくらないか両方ともだ」ということは成り立たない
事実7: 「太り難い」ものはある
事実8: この行政は用心深くないとすると「それは指揮命令でないけど弁解がましい」ということは間違いである
事実9: なにかは弁解がましかない
事実10: あのフライトスタイルは用心深いとすると「この行政はのさばる」ということは成り立つ
事実11: 「なにがしかの物はのさばるしおまけに指揮命令だ」ということは間違っているとしたら指揮命令であるということはない
事実12: その千九百四十年代が指揮命令ならあのフライトスタイルは用心深い

仮説: この供用年度はウォンボーでない
1. 事実1と事実5から、推論1: "その千九百四十年代は指揮命令だ"が導かれる
2. 推論1と事実12から、推論2: "あのフライトスタイルは用心深い"が導かれる
3. 推論2と事実10から、推論3: "この行政はのさばる"が導かれる
4. 推論3と事実3から、仮説が導かれる

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