その国指定は他愛無い
fact1: あの代車は歩まない fact2: あのＭＰＲ画像は登録会社なら「制覇しないしその上それは東征軍だ」ということは成り立たない fact3: その国指定は成仏しない fact4: もし何かは歩むとすると「それは百戦する」ということは真実である fact5: 仮にとある物が喧しいとすればそれは抗し難い fact6: あのコスト効率は歩まない fact7: このウロリは仕方無し fact8: このウロリは他愛無いとすると「歩まないしさらに抗し難くない」ということは成り立たない fact9: もし仮にこのウロリは醇化であるとすれば「その国指定は他愛無い」ということは事実だ fact10: あのＭＰＲ画像が仕舞い易いとすればそれは登録会社だ fact11: もしあの代車は歩まないとすると「このウロリは醇化でないけど成仏する」ということは本当でない fact12: もし「このウロリは醇化だということはないけれど成仏する」ということは成り立たないとするとその国指定は他愛無い fact13: 「「制覇しないしその上東征軍だ」ということは成り立たない」ものがあればこのウロリは喧しい fact14: あのＭＰＲ画像は仕舞い易い fact15: 仮にあのＭＰＲ画像は東征軍である一方で喧しくないならば「他愛無い」ということは間違っていない fact16: もしあのＭＰＲ画像が他愛無いならこのウロリは他愛無い
fact11 & fact1 -> int1: 「「このウロリは醇化でないが成仏する」ということは成り立たない」ということは事実である; int1 & fact12 -> hypothesis;
その国指定は他愛無くない
fact20 -> int2: もし「このウロリは喧しい」ということは成り立つとすると抗し難い; fact17 & fact21 -> int3: あのＭＰＲ画像は登録会社である; fact18 & int3 -> int4: 「あのＭＰＲ画像は制覇しないが東征軍だ」ということは成り立たない; int4 -> int5: 「「制覇しなくて東征軍だ」ということは成り立たない」ものはある; int5 & fact19 -> int6: このウロリは喧しい; int2 & int6 -> int7: このウロリは抗し難い; int7 -> int8: 「抗し難い」物はある;
$facts$ = fact1: あの代車は歩まない fact2: あのＭＰＲ画像は登録会社なら「制覇しないしその上それは東征軍だ」ということは成り立たない fact3: その国指定は成仏しない fact4: もし何かは歩むとすると「それは百戦する」ということは真実である fact5: 仮にとある物が喧しいとすればそれは抗し難い fact6: あのコスト効率は歩まない fact7: このウロリは仕方無し fact8: このウロリは他愛無いとすると「歩まないしさらに抗し難くない」ということは成り立たない fact9: もし仮にこのウロリは醇化であるとすれば「その国指定は他愛無い」ということは事実だ fact10: あのＭＰＲ画像が仕舞い易いとすればそれは登録会社だ fact11: もしあの代車は歩まないとすると「このウロリは醇化でないけど成仏する」ということは本当でない fact12: もし「このウロリは醇化だということはないけれど成仏する」ということは成り立たないとするとその国指定は他愛無い fact13: 「「制覇しないしその上東征軍だ」ということは成り立たない」ものがあればこのウロリは喧しい fact14: あのＭＰＲ画像は仕舞い易い fact15: 仮にあのＭＰＲ画像は東征軍である一方で喧しくないならば「他愛無い」ということは間違っていない fact16: もしあのＭＰＲ画像が他愛無いならこのウロリは他愛無い ; $hypothesis$ = その国指定は他愛無い ; $proof$ = 
fact11 & fact1 -> int1: 「「このウロリは醇化でないが成仏する」ということは成り立たない」ということは事実である; int1 & fact12 -> hypothesis; __PROVED__
事実1: あの代車は歩まない
事実2: あのＭＰＲ画像は登録会社なら「制覇しないしその上それは東征軍だ」ということは成り立たない
事実3: その国指定は成仏しない
事実4: もし何かは歩むとすると「それは百戦する」ということは真実である
事実5: 仮にとある物が喧しいとすればそれは抗し難い
事実6: あのコスト効率は歩まない
事実7: このウロリは仕方無し
事実8: このウロリは他愛無いとすると「歩まないしさらに抗し難くない」ということは成り立たない
事実9: もし仮にこのウロリは醇化であるとすれば「その国指定は他愛無い」ということは事実だ
事実10: あのＭＰＲ画像が仕舞い易いとすればそれは登録会社だ
事実11: もしあの代車は歩まないとすると「このウロリは醇化でないけど成仏する」ということは本当でない
事実12: もし「このウロリは醇化だということはないけれど成仏する」ということは成り立たないとするとその国指定は他愛無い
事実13: 「「制覇しないしその上東征軍だ」ということは成り立たない」ものがあればこのウロリは喧しい
事実14: あのＭＰＲ画像は仕舞い易い
事実15: 仮にあのＭＰＲ画像は東征軍である一方で喧しくないならば「他愛無い」ということは間違っていない
事実16: もしあのＭＰＲ画像が他愛無いならこのウロリは他愛無い

仮説: その国指定は他愛無い
1. 事実11と事実1から、推論1: "「「このウロリは醇化でないが成仏する」ということは成り立たない」ということは事実である"が導かれる
2. 推論1と事実12から、仮説が導かれる

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