もしあのヘマタイトが転ばすとすればあのカントリー＆ウェスタンは腫脹する
fact1: 仮にあのカントリー＆ウェスタンは入門すれば「その直接体験は入門しないけど増速する」ということは事実でない fact2: 仮に「何らかのものは入門するが増速しない」ということは誤っているとしたら転ばす fact3: 「転ばさない」物はある fact4: もし仮に「通観するし増速しない」物があるならその直接体験は入門する fact5: もしも「とある物は通観する一方で増速しない」ということは嘘ならばせしめる fact6: 「入門する一方で転ばさない」ものはある fact7: あのカントリー＆ウェスタンはルポしない fact8: もしもそのエントリーが転ばすとしたらそれは勝ち残る fact9: あのヘマタイトは腫脹しない fact10: もし仮にその直接体験は盗難であるとすると修復しない fact11: もしもその直接体験が推奨出来るとするとそれは増速しない fact12: 何かは増速するとするとそれはせしめる fact13: 「あのヘマタイトは梅田ロフトだ一方で通観するということはない」ということは誤りだとしたら「転ばす」ということは成り立つ fact14: もし仮に「あのヘマタイトは入門しなくて加えて梅田ロフトでない」ということは成り立つということはないとしたら転ばさない fact15: 「あのカントリー＆ウェスタンはせしめるし入門する」ということは嘘である fact16: もしその直接体験は入門すれば「あのヘマタイトは入門するということはないけれどそれは梅田ロフトである」ということは成り立たない fact17: 「通観するし更に増速する」物があるとするとその直接体験は入門する fact18: 「あのヘマタイトはせしめる」ということは誤っていない fact19: 「あのカントリー＆ウェスタンはせしめる」ということは成り立てば腫脹する fact20: 仮にその直接体験は入門すれば「あのヘマタイトは入門しないし加えて梅田ロフトでない」ということは誤りである
void -> assump2: 以下のように仮定する。あのカントリー＆ウェスタンは通観する一方でそれは増速しない; assump2 -> int1: 「通観するしさらに増速しない」物はある; int1 & fact4 -> int2: その直接体験は入門する; int2 & fact20 -> int3: 「あのヘマタイトは入門するということはないしさらに梅田ロフトでない」ということは誤っている; int3 & fact14 -> int4: 「あのヘマタイトは転ばさない」ということは成り立つ; void -> assump1: 以下のように仮定する。あのヘマタイトは転ばす; int4 & assump1 -> int5: これは矛盾である; [assump2] & int5 -> int6: 「あのカントリー＆ウェスタンは通観するがしかし増速しない」ということは偽である; fact5 -> int7: もし「あのカントリー＆ウェスタンは通観するが増速しない」ということは成り立つということはないなら「それはせしめる」ということは確かだ; int6 & int7 -> int8: あのカントリー＆ウェスタンはせしめる; int8 & fact19 -> int9: あのカントリー＆ウェスタンは腫脹する; [assump1] & int9 -> hypothesis;
$facts$ = fact1: 仮にあのカントリー＆ウェスタンは入門すれば「その直接体験は入門しないけど増速する」ということは事実でない fact2: 仮に「何らかのものは入門するが増速しない」ということは誤っているとしたら転ばす fact3: 「転ばさない」物はある fact4: もし仮に「通観するし増速しない」物があるならその直接体験は入門する fact5: もしも「とある物は通観する一方で増速しない」ということは嘘ならばせしめる fact6: 「入門する一方で転ばさない」ものはある fact7: あのカントリー＆ウェスタンはルポしない fact8: もしもそのエントリーが転ばすとしたらそれは勝ち残る fact9: あのヘマタイトは腫脹しない fact10: もし仮にその直接体験は盗難であるとすると修復しない fact11: もしもその直接体験が推奨出来るとするとそれは増速しない fact12: 何かは増速するとするとそれはせしめる fact13: 「あのヘマタイトは梅田ロフトだ一方で通観するということはない」ということは誤りだとしたら「転ばす」ということは成り立つ fact14: もし仮に「あのヘマタイトは入門しなくて加えて梅田ロフトでない」ということは成り立つということはないとしたら転ばさない fact15: 「あのカントリー＆ウェスタンはせしめるし入門する」ということは嘘である fact16: もしその直接体験は入門すれば「あのヘマタイトは入門するということはないけれどそれは梅田ロフトである」ということは成り立たない fact17: 「通観するし更に増速する」物があるとするとその直接体験は入門する fact18: 「あのヘマタイトはせしめる」ということは誤っていない fact19: 「あのカントリー＆ウェスタンはせしめる」ということは成り立てば腫脹する fact20: 仮にその直接体験は入門すれば「あのヘマタイトは入門しないし加えて梅田ロフトでない」ということは誤りである ; $hypothesis$ = もしあのヘマタイトが転ばすとすればあのカントリー＆ウェスタンは腫脹する ; $proof$ = 
void -> assump2: 以下のように仮定する。あのカントリー＆ウェスタンは通観する一方でそれは増速しない; assump2 -> int1: 「通観するしさらに増速しない」物はある; int1 & fact4 -> int2: その直接体験は入門する; int2 & fact20 -> int3: 「あのヘマタイトは入門するということはないしさらに梅田ロフトでない」ということは誤っている; int3 & fact14 -> int4: 「あのヘマタイトは転ばさない」ということは成り立つ; void -> assump1: 以下のように仮定する。あのヘマタイトは転ばす; int4 & assump1 -> int5: これは矛盾である; [assump2] & int5 -> int6: 「あのカントリー＆ウェスタンは通観するがしかし増速しない」ということは偽である; fact5 -> int7: もし「あのカントリー＆ウェスタンは通観するが増速しない」ということは成り立つということはないなら「それはせしめる」ということは確かだ; int6 & int7 -> int8: あのカントリー＆ウェスタンはせしめる; int8 & fact19 -> int9: あのカントリー＆ウェスタンは腫脹する; [assump1] & int9 -> hypothesis; __PROVED__
事実1: 仮にあのカントリー＆ウェスタンは入門すれば「その直接体験は入門しないけど増速する」ということは事実でない
事実2: 仮に「何らかのものは入門するが増速しない」ということは誤っているとしたら転ばす
事実3: 「転ばさない」物はある
事実4: もし仮に「通観するし増速しない」物があるならその直接体験は入門する
事実5: もしも「とある物は通観する一方で増速しない」ということは嘘ならばせしめる
事実6: 「入門する一方で転ばさない」ものはある
事実7: あのカントリー＆ウェスタンはルポしない
事実8: もしもそのエントリーが転ばすとしたらそれは勝ち残る
事実9: あのヘマタイトは腫脹しない
事実10: もし仮にその直接体験は盗難であるとすると修復しない
事実11: もしもその直接体験が推奨出来るとするとそれは増速しない
事実12: 何かは増速するとするとそれはせしめる
事実13: 「あのヘマタイトは梅田ロフトだ一方で通観するということはない」ということは誤りだとしたら「転ばす」ということは成り立つ
事実14: もし仮に「あのヘマタイトは入門しなくて加えて梅田ロフトでない」ということは成り立つということはないとしたら転ばさない
事実15: 「あのカントリー＆ウェスタンはせしめるし入門する」ということは嘘である
事実16: もしその直接体験は入門すれば「あのヘマタイトは入門するということはないけれどそれは梅田ロフトである」ということは成り立たない
事実17: 「通観するし更に増速する」物があるとするとその直接体験は入門する
事実18: 「あのヘマタイトはせしめる」ということは誤っていない
事実19: 「あのカントリー＆ウェスタンはせしめる」ということは成り立てば腫脹する
事実20: 仮にその直接体験は入門すれば「あのヘマタイトは入門しないし加えて梅田ロフトでない」ということは誤りである

仮説: もしあのヘマタイトが転ばすとすればあのカントリー＆ウェスタンは腫脹する
1. 仮定2: 以下のように仮定する。あのカントリー＆ウェスタンは通観する一方でそれは増速しない
2. 仮定2から、推論1: "「通観するしさらに増速しない」物はある"が導かれる
3. 推論1と事実4から、推論2: "その直接体験は入門する"が導かれる
4. 推論2と事実20から、推論3: "「あのヘマタイトは入門するということはないしさらに梅田ロフトでない」ということは誤っている"が導かれる
5. 推論3と事実14から、推論4: "「あのヘマタイトは転ばさない」ということは成り立つ"が導かれる
6. 仮定1: 以下のように仮定する。あのヘマタイトは転ばす
7. 推論4と仮定1から、推論5: "これは矛盾である"が導かれる
8. [仮定2]と推論5から、推論6: "「あのカントリー＆ウェスタンは通観するがしかし増速しない」ということは偽である"が導かれる
9. 事実5から、推論7: "もし「あのカントリー＆ウェスタンは通観するが増速しない」ということは成り立つということはないなら「それはせしめる」ということは確かだ"が導かれる
10. 推論6と推論7から、推論8: "あのカントリー＆ウェスタンはせしめる"が導かれる
11. 推論8と事実19から、推論9: "あのカントリー＆ウェスタンは腫脹する"が導かれる
12. [仮定1]と推論9から、仮説が導かれる

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