この小鉤は心許なくないがしかし眠り続ける
fact1: もしもその自民党本部がコーラだとするとそれはニュース番組である fact2: その苦痛は眠り続けない fact3: 仮にあのＴＨワンが活動し難くないし加えて修復すということはないとするとあの共配物流は活動し難くない fact4: あの共配物流は気息である fact5: あのＴＨワンは忌ま忌ましい fact6: その自民党本部はＴリンパ球だ fact7: この小鉤は眠り続ける fact8: 打ち上がり易くないものは帰社しない fact9: もしも「その自民党本部はＴリンパ球である」ということは正しいとすればコーラである fact10: もし「なんらかのものは忌ま忌ましかない」ということは正しいなら「それは心許なくないがしかし眠り続ける」ということは間違いだ fact11: もし仮にその自民党本部がニュース番組で加えて成り易いとしたらあのＴＨワンは設置基準でない fact12: あのＴＨワンはフォーム要素でない fact13: 仮にこの小鉤が活動し難くて加えてそれが設置基準であるとしたらあのＴＨワンは修復すらない fact14: もしあの共配物流が打ち上がり易いならこの小鉤は帰社する fact15: 仮にこの小鉤が帰社するとすればそれは活動し難い fact16: もしそのオートバイが誓約するならそれは打ち上がり易い fact17: とあるものが眠り続けるということはないとすると打ち上がり易くない fact18: もし仮になにがしかの物は設置基準でないならば「それは眠り続ける」ということは誤っていない fact19: もしもこの小鉤が設置基準だということはないとすれば眠り続ける fact20: なんらかの物が設置基準でないとすればそれは心許ないということはないが眠り続ける fact21: あのＴＨワンは修復す fact22: もしあの共配物流は忌ま忌ましいなら「この小鉤は帰社する」ということは成り立つ fact23: もしもあの共配物流が打ち上がり易いけれどそれが帰社しないならこの小鉤は忌ま忌ましかない fact24: あの共配物流は忌ま忌ましいかあるいは打ち上がり易いか両方である
fact24 & fact22 & fact14 -> int1: 「この小鉤は帰社する」ということは本当である; int1 & fact15 -> int2: この小鉤は活動し難い; void -> assump1: 以下のように仮定する。この小鉤は設置基準だ; int2 & assump1 -> int3: 「この小鉤は活動し難いししかも設置基準だ」ということは事実だ; int3 & fact13 -> int4: あのＴＨワンは修復すらない; int4 & fact21 -> int5: これは矛盾である; [assump1] & int5 -> int6: この小鉤は設置基準でない; fact20 -> int7: この小鉤が設置基準でないならば心許なくないし加えて眠り続ける; int6 & int7 -> hypothesis;
「この小鉤は心許なくないけどそれは眠り続ける」ということは偽だ
fact27 -> int8: もしもこの小鉤は忌ま忌ましいということはないとしたら「それは心許ないということはなくてしかも眠り続ける」ということは間違っている; fact29 & fact31 -> int9: 「その自民党本部はコーラだ」ということは間違いでない; fact28 & int9 -> int10: その自民党本部はニュース番組だ;
$facts$ = fact1: もしもその自民党本部がコーラだとするとそれはニュース番組である fact2: その苦痛は眠り続けない fact3: 仮にあのＴＨワンが活動し難くないし加えて修復すということはないとするとあの共配物流は活動し難くない fact4: あの共配物流は気息である fact5: あのＴＨワンは忌ま忌ましい fact6: その自民党本部はＴリンパ球だ fact7: この小鉤は眠り続ける fact8: 打ち上がり易くないものは帰社しない fact9: もしも「その自民党本部はＴリンパ球である」ということは正しいとすればコーラである fact10: もし「なんらかのものは忌ま忌ましかない」ということは正しいなら「それは心許なくないがしかし眠り続ける」ということは間違いだ fact11: もし仮にその自民党本部がニュース番組で加えて成り易いとしたらあのＴＨワンは設置基準でない fact12: あのＴＨワンはフォーム要素でない fact13: 仮にこの小鉤が活動し難くて加えてそれが設置基準であるとしたらあのＴＨワンは修復すらない fact14: もしあの共配物流が打ち上がり易いならこの小鉤は帰社する fact15: 仮にこの小鉤が帰社するとすればそれは活動し難い fact16: もしそのオートバイが誓約するならそれは打ち上がり易い fact17: とあるものが眠り続けるということはないとすると打ち上がり易くない fact18: もし仮になにがしかの物は設置基準でないならば「それは眠り続ける」ということは誤っていない fact19: もしもこの小鉤が設置基準だということはないとすれば眠り続ける fact20: なんらかの物が設置基準でないとすればそれは心許ないということはないが眠り続ける fact21: あのＴＨワンは修復す fact22: もしあの共配物流は忌ま忌ましいなら「この小鉤は帰社する」ということは成り立つ fact23: もしもあの共配物流が打ち上がり易いけれどそれが帰社しないならこの小鉤は忌ま忌ましかない fact24: あの共配物流は忌ま忌ましいかあるいは打ち上がり易いか両方である ; $hypothesis$ = この小鉤は心許なくないがしかし眠り続ける ; $proof$ = 
fact24 & fact22 & fact14 -> int1: 「この小鉤は帰社する」ということは本当である; int1 & fact15 -> int2: この小鉤は活動し難い; void -> assump1: 以下のように仮定する。この小鉤は設置基準だ; int2 & assump1 -> int3: 「この小鉤は活動し難いししかも設置基準だ」ということは事実だ; int3 & fact13 -> int4: あのＴＨワンは修復すらない; int4 & fact21 -> int5: これは矛盾である; [assump1] & int5 -> int6: この小鉤は設置基準でない; fact20 -> int7: この小鉤が設置基準でないならば心許なくないし加えて眠り続ける; int6 & int7 -> hypothesis; __PROVED__
事実1: もしもその自民党本部がコーラだとするとそれはニュース番組である
事実2: その苦痛は眠り続けない
事実3: 仮にあのＴＨワンが活動し難くないし加えて修復すということはないとするとあの共配物流は活動し難くない
事実4: あの共配物流は気息である
事実5: あのＴＨワンは忌ま忌ましい
事実6: その自民党本部はＴリンパ球だ
事実7: この小鉤は眠り続ける
事実8: 打ち上がり易くないものは帰社しない
事実9: もしも「その自民党本部はＴリンパ球である」ということは正しいとすればコーラである
事実10: もし「なんらかのものは忌ま忌ましかない」ということは正しいなら「それは心許なくないがしかし眠り続ける」ということは間違いだ
事実11: もし仮にその自民党本部がニュース番組で加えて成り易いとしたらあのＴＨワンは設置基準でない
事実12: あのＴＨワンはフォーム要素でない
事実13: 仮にこの小鉤が活動し難くて加えてそれが設置基準であるとしたらあのＴＨワンは修復すらない
事実14: もしあの共配物流が打ち上がり易いならこの小鉤は帰社する
事実15: 仮にこの小鉤が帰社するとすればそれは活動し難い
事実16: もしそのオートバイが誓約するならそれは打ち上がり易い
事実17: とあるものが眠り続けるということはないとすると打ち上がり易くない
事実18: もし仮になにがしかの物は設置基準でないならば「それは眠り続ける」ということは誤っていない
事実19: もしもこの小鉤が設置基準だということはないとすれば眠り続ける
事実20: なんらかの物が設置基準でないとすればそれは心許ないということはないが眠り続ける
事実21: あのＴＨワンは修復す
事実22: もしあの共配物流は忌ま忌ましいなら「この小鉤は帰社する」ということは成り立つ
事実23: もしもあの共配物流が打ち上がり易いけれどそれが帰社しないならこの小鉤は忌ま忌ましかない
事実24: あの共配物流は忌ま忌ましいかあるいは打ち上がり易いか両方である

仮説: この小鉤は心許なくないがしかし眠り続ける
1. 事実24と事実22と事実14から、推論1: "「この小鉤は帰社する」ということは本当である"が導かれる
2. 推論1と事実15から、推論2: "この小鉤は活動し難い"が導かれる
3. 仮定1: 以下のように仮定する。この小鉤は設置基準だ
4. 推論2と仮定1から、推論3: "「この小鉤は活動し難いししかも設置基準だ」ということは事実だ"が導かれる
5. 推論3と事実13から、推論4: "あのＴＨワンは修復すらない"が導かれる
6. 推論4と事実21から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "この小鉤は設置基準でない"が導かれる
8. 事実20から、推論7: "この小鉤が設置基準でないならば心許なくないし加えて眠り続ける"が導かれる
9. 推論6と推論7から、仮説が導かれる

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