「もし「浮き易いしカルマでない」ということは成り立たないとしたらえぐいということはない」ものはある
fact1: 仮に「この友・敵は御濃いけれどそれは論争しない」ということは誤りであるとすればそれは塩梅しない fact2: もし仮にあの箱根遊覧船がえぐいなら置き易い fact3: もしこの友・敵が仮面ならそれはＯ‐Ｐだ fact4: 何らかの物が印象付ければそれは仮面である fact5: 仮にあの箱根遊覧船が避け切れるとしたらそれは仮面である fact6: この友・敵が仮面でないとしたらあの箱根遊覧船は印象付けるし浮き易い fact7: 「もしカルマであるとしたらえぐくない」ものはある fact8: 置き易いものはカルマでないがしかしコンピュータ処理である fact9: もし「あの箱根遊覧船は仮面であるがしかし浮き易いということはない」ということは成り立たないとするとそれはコンピュータ処理である fact10: もしも「「カルマであるかまたは置き易いかどちらもである」ということは成り立つということはない」ものがあるとすればこの御成り門はえぐくない fact11: この友・敵は仮面でない fact12: この友・敵はカルマだ fact13: あの箱根遊覧船は避け切れる fact14: この友・敵はえぐい fact15: もしも「その五分の一以上は対談するがしかしそれはＯ‐Ｐでない」ということは成り立たないならそれは仮面だ fact16: もしこの友・敵が印象付けないとしたらあの箱根遊覧船は仮面だ fact17: 仮になにがしかのものはえぐくないならば「それは動物解放論であるしそれは浮き易いということはない」ということは誤りである fact18: もし「この友・敵はコンピュータ処理である」ということは成り立てば仮面だ fact19: もしもあの箱根遊覧船が仮面でないとするとこの友・敵はえぐい
void -> assump2: 以下のように仮定する。あの箱根遊覧船はえぐい; fact2 & assump2 -> int1: 「あの箱根遊覧船は置き易い」ということは真実だ; fact8 -> int2: 「もしあの箱根遊覧船が置き易いとすればあの箱根遊覧船はカルマでない一方でそれはコンピュータ処理だ」ということは正しい; int1 & int2 -> int3: あの箱根遊覧船はカルマでない一方でコンピュータ処理である; int3 -> int4: あの箱根遊覧船はカルマでない; fact11 & fact6 -> int5: あの箱根遊覧船は印象付けるし浮き易い; int5 -> int6: 「あの箱根遊覧船は浮き易い」ということは真実だ; int4 & int6 -> int7: あの箱根遊覧船は浮き易いけどカルマでない; void -> assump1: 以下のように仮定する。「あの箱根遊覧船は浮き易いがしかしカルマでない」ということは成り立たない; int7 & assump1 -> int8: これは矛盾である; [assump2] & int8 -> int9: あの箱根遊覧船はえぐくない; [assump1] & int9 -> int10: 「あの箱根遊覧船は浮き易いがカルマでない」ということは間違いだとしたら「えぐくない」ということは成り立つ; int10 -> hypothesis;
「この御成り門は動物解放論だけど浮き易くない」ということは成り立たない
fact20 -> int11: もしこの御成り門はえぐいということはないとすると「それは動物解放論でかつそれは浮き易くない」ということは成り立たない; fact21 & fact23 -> int12: あの箱根遊覧船は仮面だ;
$facts$ = fact1: 仮に「この友・敵は御濃いけれどそれは論争しない」ということは誤りであるとすればそれは塩梅しない fact2: もし仮にあの箱根遊覧船がえぐいなら置き易い fact3: もしこの友・敵が仮面ならそれはＯ‐Ｐだ fact4: 何らかの物が印象付ければそれは仮面である fact5: 仮にあの箱根遊覧船が避け切れるとしたらそれは仮面である fact6: この友・敵が仮面でないとしたらあの箱根遊覧船は印象付けるし浮き易い fact7: 「もしカルマであるとしたらえぐくない」ものはある fact8: 置き易いものはカルマでないがしかしコンピュータ処理である fact9: もし「あの箱根遊覧船は仮面であるがしかし浮き易いということはない」ということは成り立たないとするとそれはコンピュータ処理である fact10: もしも「「カルマであるかまたは置き易いかどちらもである」ということは成り立つということはない」ものがあるとすればこの御成り門はえぐくない fact11: この友・敵は仮面でない fact12: この友・敵はカルマだ fact13: あの箱根遊覧船は避け切れる fact14: この友・敵はえぐい fact15: もしも「その五分の一以上は対談するがしかしそれはＯ‐Ｐでない」ということは成り立たないならそれは仮面だ fact16: もしこの友・敵が印象付けないとしたらあの箱根遊覧船は仮面だ fact17: 仮になにがしかのものはえぐくないならば「それは動物解放論であるしそれは浮き易いということはない」ということは誤りである fact18: もし「この友・敵はコンピュータ処理である」ということは成り立てば仮面だ fact19: もしもあの箱根遊覧船が仮面でないとするとこの友・敵はえぐい ; $hypothesis$ = 「もし「浮き易いしカルマでない」ということは成り立たないとしたらえぐいということはない」ものはある ; $proof$ = 
void -> assump2: 以下のように仮定する。あの箱根遊覧船はえぐい; fact2 & assump2 -> int1: 「あの箱根遊覧船は置き易い」ということは真実だ; fact8 -> int2: 「もしあの箱根遊覧船が置き易いとすればあの箱根遊覧船はカルマでない一方でそれはコンピュータ処理だ」ということは正しい; int1 & int2 -> int3: あの箱根遊覧船はカルマでない一方でコンピュータ処理である; int3 -> int4: あの箱根遊覧船はカルマでない; fact11 & fact6 -> int5: あの箱根遊覧船は印象付けるし浮き易い; int5 -> int6: 「あの箱根遊覧船は浮き易い」ということは真実だ; int4 & int6 -> int7: あの箱根遊覧船は浮き易いけどカルマでない; void -> assump1: 以下のように仮定する。「あの箱根遊覧船は浮き易いがしかしカルマでない」ということは成り立たない; int7 & assump1 -> int8: これは矛盾である; [assump2] & int8 -> int9: あの箱根遊覧船はえぐくない; [assump1] & int9 -> int10: 「あの箱根遊覧船は浮き易いがカルマでない」ということは間違いだとしたら「えぐくない」ということは成り立つ; int10 -> hypothesis; __PROVED__
事実1: 仮に「この友・敵は御濃いけれどそれは論争しない」ということは誤りであるとすればそれは塩梅しない
事実2: もし仮にあの箱根遊覧船がえぐいなら置き易い
事実3: もしこの友・敵が仮面ならそれはＯ‐Ｐだ
事実4: 何らかの物が印象付ければそれは仮面である
事実5: 仮にあの箱根遊覧船が避け切れるとしたらそれは仮面である
事実6: この友・敵が仮面でないとしたらあの箱根遊覧船は印象付けるし浮き易い
事実7: 「もしカルマであるとしたらえぐくない」ものはある
事実8: 置き易いものはカルマでないがしかしコンピュータ処理である
事実9: もし「あの箱根遊覧船は仮面であるがしかし浮き易いということはない」ということは成り立たないとするとそれはコンピュータ処理である
事実10: もしも「「カルマであるかまたは置き易いかどちらもである」ということは成り立つということはない」ものがあるとすればこの御成り門はえぐくない
事実11: この友・敵は仮面でない
事実12: この友・敵はカルマだ
事実13: あの箱根遊覧船は避け切れる
事実14: この友・敵はえぐい
事実15: もしも「その五分の一以上は対談するがしかしそれはＯ‐Ｐでない」ということは成り立たないならそれは仮面だ
事実16: もしこの友・敵が印象付けないとしたらあの箱根遊覧船は仮面だ
事実17: 仮になにがしかのものはえぐくないならば「それは動物解放論であるしそれは浮き易いということはない」ということは誤りである
事実18: もし「この友・敵はコンピュータ処理である」ということは成り立てば仮面だ
事実19: もしもあの箱根遊覧船が仮面でないとするとこの友・敵はえぐい

仮説: 「もし「浮き易いしカルマでない」ということは成り立たないとしたらえぐいということはない」ものはある
1. 仮定2: 以下のように仮定する。あの箱根遊覧船はえぐい
2. 事実2と仮定2から、推論1: "「あの箱根遊覧船は置き易い」ということは真実だ"が導かれる
3. 事実8から、推論2: "「もしあの箱根遊覧船が置き易いとすればあの箱根遊覧船はカルマでない一方でそれはコンピュータ処理だ」ということは正しい"が導かれる
4. 推論1と推論2から、推論3: "あの箱根遊覧船はカルマでない一方でコンピュータ処理である"が導かれる
5. 推論3から、推論4: "あの箱根遊覧船はカルマでない"が導かれる
6. 事実11と事実6から、推論5: "あの箱根遊覧船は印象付けるし浮き易い"が導かれる
7. 推論5から、推論6: "「あの箱根遊覧船は浮き易い」ということは真実だ"が導かれる
8. 推論4と推論6から、推論7: "あの箱根遊覧船は浮き易いけどカルマでない"が導かれる
9. 仮定1: 以下のように仮定する。「あの箱根遊覧船は浮き易いがしかしカルマでない」ということは成り立たない
10. 推論7と仮定1から、推論8: "これは矛盾である"が導かれる
11. [仮定2]と推論8から、推論9: "あの箱根遊覧船はえぐくない"が導かれる
12. [仮定1]と推論9から、推論10: "「あの箱根遊覧船は浮き易いがカルマでない」ということは間違いだとしたら「えぐくない」ということは成り立つ"が導かれる
13. 推論10から、仮説が導かれる

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