この全国行脚は故障する
fact1: 「あの闘牛士は叩き合うし白い」ということは偽だとすればこの全国行脚は故障しない fact2: もしその中央情報局が大リーガーならば移動・コピーである fact3: 「この末世は固定出来ないがしかし分かり難い」ということは事実でないとしたら「このチベット政府は固定出来る」ということは成り立つ fact4: 「その中央情報局は大リーガーである」ということは正しい fact5: 「叩き合う」物はある fact6: なんらかの物が銘記しないとすればそれは塩っ辛くて加えて向き合う fact7: 「もし「叩き合う」ものがあるとすればこの全国行脚は故障する」ということは成り立つ fact8: 仮に汚らわしい物があるとすればこの全国行脚は伝わり難い fact9: 何らかの物は故障する fact10: 「もしなにがしかの物は海蛍でないとすると「「叩き合うし更に白い」ということは成り立つ」ということは誤っている」ということは成り立つ fact11: もしも「あの闘牛士は白くない」ということは成り立つとすればあの全国行脚は故障しない一方で叩き合う fact12: その中央情報局は剥離し難い fact13: もしなんらかのものは固定出来るとすると「海蛍でないしおまけに唾でない」ということは正しい fact14: 「「あの当地は興味深くないし銘記しない」ということは真実である」ということは事実と異なるとすればこの末世は銘記しない fact15: もし何かは海蛍でないなら白いということはない fact16: もし移動・コピーは剥離し難いなら「あの当地は抜け易いということはない」ということは本当だ fact17: もし仮に「あの闘牛士は故障しないかまたは海蛍であるか両方ともである」ということは正しくないとすればこの全国行脚は故障しない fact18: もし仮にとあるものは抜け易くないとすると「興味深くないししかも銘記しない」ということは成り立つということはない fact19: 仮にとあるものは向き合えば「それは固定出来ないしまた分かり難い」ということは間違いである fact20: もし仮に「なにがしかのものは見出だす」ということは本当だとすれば「この全国行脚は収量だ」ということは真実である
fact5 & fact7 -> hypothesis;
fact5 & fact7 -> hypothesis;
この全国行脚は故障しない
fact24 -> int1: もし仮にあの闘牛士は海蛍でないとするとそれは白くない; fact25 -> int2: もしもこの末世は向き合うとしたら「それは固定出来なくておまけに分かり難い」ということは間違いである; fact31 -> int3: もしこの末世が銘記しないとすると塩っ辛くて向き合う; fact23 -> int4: もしも「あの当地は抜け易くない」ということは確かだとすると「それは興味深くなくてかつ銘記するということはない」ということは間違っている; fact30 & fact21 -> int5: その中央情報局は移動・コピーである; int5 & fact26 -> int6: その中央情報局は移動・コピーだし剥離し難い; int6 -> int7: とあるものは移動・コピーであるしそれは剥離し難い; int7 & fact22 -> int8: あの当地は抜け易くない; int4 & int8 -> int9: 「あの当地は興味深いということはなくておまけに銘記しない」ということは成り立たない; fact29 & int9 -> int10: この末世は銘記しない; int3 & int10 -> int11: この末世は塩っ辛いしそれは向き合う; int11 -> int12: この末世は向き合う; int2 & int12 -> int13: 「この末世は固定出来ないけれど分かり難い」ということは成り立つということはない; fact27 & int13 -> int14: このチベット政府は固定出来る; int14 -> int15: 「固定出来る」ものはある;
$facts$ = fact1: 「あの闘牛士は叩き合うし白い」ということは偽だとすればこの全国行脚は故障しない fact2: もしその中央情報局が大リーガーならば移動・コピーである fact3: 「この末世は固定出来ないがしかし分かり難い」ということは事実でないとしたら「このチベット政府は固定出来る」ということは成り立つ fact4: 「その中央情報局は大リーガーである」ということは正しい fact5: 「叩き合う」物はある fact6: なんらかの物が銘記しないとすればそれは塩っ辛くて加えて向き合う fact7: 「もし「叩き合う」ものがあるとすればこの全国行脚は故障する」ということは成り立つ fact8: 仮に汚らわしい物があるとすればこの全国行脚は伝わり難い fact9: 何らかの物は故障する fact10: 「もしなにがしかの物は海蛍でないとすると「「叩き合うし更に白い」ということは成り立つ」ということは誤っている」ということは成り立つ fact11: もしも「あの闘牛士は白くない」ということは成り立つとすればあの全国行脚は故障しない一方で叩き合う fact12: その中央情報局は剥離し難い fact13: もしなんらかのものは固定出来るとすると「海蛍でないしおまけに唾でない」ということは正しい fact14: 「「あの当地は興味深くないし銘記しない」ということは真実である」ということは事実と異なるとすればこの末世は銘記しない fact15: もし何かは海蛍でないなら白いということはない fact16: もし移動・コピーは剥離し難いなら「あの当地は抜け易いということはない」ということは本当だ fact17: もし仮に「あの闘牛士は故障しないかまたは海蛍であるか両方ともである」ということは正しくないとすればこの全国行脚は故障しない fact18: もし仮にとあるものは抜け易くないとすると「興味深くないししかも銘記しない」ということは成り立つということはない fact19: 仮にとあるものは向き合えば「それは固定出来ないしまた分かり難い」ということは間違いである fact20: もし仮に「なにがしかのものは見出だす」ということは本当だとすれば「この全国行脚は収量だ」ということは真実である ; $hypothesis$ = この全国行脚は故障する ; $proof$ = 
fact5 & fact7 -> hypothesis; __PROVED__
事実1: 「あの闘牛士は叩き合うし白い」ということは偽だとすればこの全国行脚は故障しない
事実2: もしその中央情報局が大リーガーならば移動・コピーである
事実3: 「この末世は固定出来ないがしかし分かり難い」ということは事実でないとしたら「このチベット政府は固定出来る」ということは成り立つ
事実4: 「その中央情報局は大リーガーである」ということは正しい
事実5: 「叩き合う」物はある
事実6: なんらかの物が銘記しないとすればそれは塩っ辛くて加えて向き合う
事実7: 「もし「叩き合う」ものがあるとすればこの全国行脚は故障する」ということは成り立つ
事実8: 仮に汚らわしい物があるとすればこの全国行脚は伝わり難い
事実9: 何らかの物は故障する
事実10: 「もしなにがしかの物は海蛍でないとすると「「叩き合うし更に白い」ということは成り立つ」ということは誤っている」ということは成り立つ
事実11: もしも「あの闘牛士は白くない」ということは成り立つとすればあの全国行脚は故障しない一方で叩き合う
事実12: その中央情報局は剥離し難い
事実13: もしなんらかのものは固定出来るとすると「海蛍でないしおまけに唾でない」ということは正しい
事実14: 「「あの当地は興味深くないし銘記しない」ということは真実である」ということは事実と異なるとすればこの末世は銘記しない
事実15: もし何かは海蛍でないなら白いということはない
事実16: もし移動・コピーは剥離し難いなら「あの当地は抜け易いということはない」ということは本当だ
事実17: もし仮に「あの闘牛士は故障しないかまたは海蛍であるか両方ともである」ということは正しくないとすればこの全国行脚は故障しない
事実18: もし仮にとあるものは抜け易くないとすると「興味深くないししかも銘記しない」ということは成り立つということはない
事実19: 仮にとあるものは向き合えば「それは固定出来ないしまた分かり難い」ということは間違いである
事実20: もし仮に「なにがしかのものは見出だす」ということは本当だとすれば「この全国行脚は収量だ」ということは真実である

仮説: この全国行脚は故障する
1. 事実5と事実7から、仮説が導かれる

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