「あの船宿は感慨深い」ということは間違いであるということはない
fact1: 「プルーンであるか移植出来るかまたは両方ともである」物はある fact2: 「あの船宿が織り成すしまた胸苦しいとしたらこのペインは其れらしくない」ということは成り立つ fact3: この召喚は面映ゆかない fact4: 仮に「「プルーンであるか移植出来るかまたはどちらもである」ということは間違いである」物があるとするとあの船宿は織り成す fact5: とあるものはプルーンでない fact6: なにがしかの物は移植出来るということはない fact7: あの船宿は催眠療法でない fact8: この召喚が予測し易いということはないしおまけに面映ゆかないとするとこのペインは其れらしい fact9: この召喚は予測し易いということはない fact10: もし仮に面映ゆかない物が催眠療法なら其れらしいということはない fact11: もしもなにがしかのものが其れらしくないとしたら織り成すし加えてそれは胸苦しいということはない fact12: 「「プルーンであるか移植出来るかまたはどちらもだ」ということは成り立たない」ものはある fact13: もし何かは催眠療法でなくて胸苦しいということはないとするとそれは感慨深い fact14: このペインが予測し易くないとしたらあの船宿は面映ゆかないがしかし催眠療法である
fact12 & fact4 -> int1: あの船宿は織り成す; void -> assump1: 以下のように仮定する。あの船宿は胸苦しい; int1 & assump1 -> int2: あの船宿は織り成すしまた胸苦しい; int2 & fact2 -> int3: このペインは其れらしくない; fact9 & fact3 -> int4: この召喚は予測し易いということはないしさらに面映ゆかない; int4 & fact8 -> int5: 「このペインは其れらしい」ということは確かである; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの船宿は胸苦しくない; int7 & fact7 -> int8: あの船宿は催眠療法でなくて胸苦しくない; fact13 -> int9: あの船宿が催眠療法でなくて胸苦しいということはないならば感慨深い; int8 & int9 -> hypothesis;
あの船宿は感慨深いということはない
fact17 -> int10: もしあの船宿が其れらしくないとすればそれは織り成すけれど胸苦しくない; fact15 -> int11: もしあの船宿は面映ゆかないがしかし催眠療法だとするとそれは其れらしくない;
$facts$ = fact1: 「プルーンであるか移植出来るかまたは両方ともである」物はある fact2: 「あの船宿が織り成すしまた胸苦しいとしたらこのペインは其れらしくない」ということは成り立つ fact3: この召喚は面映ゆかない fact4: 仮に「「プルーンであるか移植出来るかまたはどちらもである」ということは間違いである」物があるとするとあの船宿は織り成す fact5: とあるものはプルーンでない fact6: なにがしかの物は移植出来るということはない fact7: あの船宿は催眠療法でない fact8: この召喚が予測し易いということはないしおまけに面映ゆかないとするとこのペインは其れらしい fact9: この召喚は予測し易いということはない fact10: もし仮に面映ゆかない物が催眠療法なら其れらしいということはない fact11: もしもなにがしかのものが其れらしくないとしたら織り成すし加えてそれは胸苦しいということはない fact12: 「「プルーンであるか移植出来るかまたはどちらもだ」ということは成り立たない」ものはある fact13: もし何かは催眠療法でなくて胸苦しいということはないとするとそれは感慨深い fact14: このペインが予測し易くないとしたらあの船宿は面映ゆかないがしかし催眠療法である ; $hypothesis$ = 「あの船宿は感慨深い」ということは間違いであるということはない ; $proof$ = 
fact12 & fact4 -> int1: あの船宿は織り成す; void -> assump1: 以下のように仮定する。あの船宿は胸苦しい; int1 & assump1 -> int2: あの船宿は織り成すしまた胸苦しい; int2 & fact2 -> int3: このペインは其れらしくない; fact9 & fact3 -> int4: この召喚は予測し易いということはないしさらに面映ゆかない; int4 & fact8 -> int5: 「このペインは其れらしい」ということは確かである; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの船宿は胸苦しくない; int7 & fact7 -> int8: あの船宿は催眠療法でなくて胸苦しくない; fact13 -> int9: あの船宿が催眠療法でなくて胸苦しいということはないならば感慨深い; int8 & int9 -> hypothesis; __PROVED__
事実1: 「プルーンであるか移植出来るかまたは両方ともである」物はある
事実2: 「あの船宿が織り成すしまた胸苦しいとしたらこのペインは其れらしくない」ということは成り立つ
事実3: この召喚は面映ゆかない
事実4: 仮に「「プルーンであるか移植出来るかまたはどちらもである」ということは間違いである」物があるとするとあの船宿は織り成す
事実5: とあるものはプルーンでない
事実6: なにがしかの物は移植出来るということはない
事実7: あの船宿は催眠療法でない
事実8: この召喚が予測し易いということはないしおまけに面映ゆかないとするとこのペインは其れらしい
事実9: この召喚は予測し易いということはない
事実10: もし仮に面映ゆかない物が催眠療法なら其れらしいということはない
事実11: もしもなにがしかのものが其れらしくないとしたら織り成すし加えてそれは胸苦しいということはない
事実12: 「「プルーンであるか移植出来るかまたはどちらもだ」ということは成り立たない」ものはある
事実13: もし何かは催眠療法でなくて胸苦しいということはないとするとそれは感慨深い
事実14: このペインが予測し易くないとしたらあの船宿は面映ゆかないがしかし催眠療法である

仮説: 「あの船宿は感慨深い」ということは間違いであるということはない
1. 事実12と事実4から、推論1: "あの船宿は織り成す"が導かれる
2. 仮定1: 以下のように仮定する。あの船宿は胸苦しい
3. 推論1と仮定1から、推論2: "あの船宿は織り成すしまた胸苦しい"が導かれる
4. 推論2と事実2から、推論3: "このペインは其れらしくない"が導かれる
5. 事実9と事実3から、推論4: "この召喚は予測し易いということはないしさらに面映ゆかない"が導かれる
6. 推論4と事実8から、推論5: "「このペインは其れらしい」ということは確かである"が導かれる
7. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "あの船宿は胸苦しくない"が導かれる
9. 推論7と事実7から、推論8: "あの船宿は催眠療法でなくて胸苦しくない"が導かれる
10. 事実13から、推論9: "あの船宿が催眠療法でなくて胸苦しいということはないならば感慨深い"が導かれる
11. 推論8と推論9から、仮説が導かれる

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