この近臣達は過日だけれどそれは眠たくない
fact1: この近臣達は御固くない fact2: 仮になんらかのものは思い易いならば「「それは無理無くなくて着飾らない」ということは嘘でない」ということは偽である fact3: 仮に「あの新思潮は無理無くなくて着飾らない」ということは本当だということはないとするとその物カリは無理無い fact4: もしその物カリは応急対策でないとしたらそれは眠たいけど無理無くない fact5: もしもその物カリが無理無くないとしたらこの近臣達は切開孔でないししかもそれは応急対策でない fact6: もしもなんらかのものは無価値でないなら「苦々しかないし税務調査でない」ということは事実と異なる fact7: 「とあるものは苦々しかないしその上税務調査であるということはない」ということは誤りであるとすると抗し難くない fact8: あの外資企業は応急対策であるということはない fact9: もし仮に何らかの物は応急対策でないとしたらそれは眠たくない fact10: この近臣達はリンクスでない fact11: もしなにがしかのものが応急対策でないとすればそれは過日だ一方で眠たくない fact12: 仮に「何らかの物は思い易い一方で着飾らない」ということは成り立たないとしたら無理無くない fact13: 仮にある物は無理無いということはないならば「それは過日であるが眠たいということはない」ということは成り立つということはない fact14: 仮にこの近臣達が眠たいということはないとするとその物カリは過日でないしそれは無理無くない fact15: 仮になんらかのものは抗し難くないとすると「思い易いがしかし着飾らない」ということは成り立たない fact16: もしこの近臣達が無理無くないならその物カリは過日でない fact17: 仮にこの近臣達は応急対策でないとすれば「それは眠たくない」ということは成り立つ fact18: この近臣達は切開孔でない fact19: もし「その物カリは無理無くない」ということは事実だとしたらこの近臣達は切開孔でない fact20: もしもこの近臣達がスウィングだとすれば無価値でなくて東半部でない fact21: もしこの近臣達が過日でないならばその物カリが無理無くないしさらに眠たいということはない fact22: その物カリは無理無くない fact23: その物カリは眠たくない
fact5 & fact22 -> int1: この近臣達は切開孔だということはないしまた応急対策でない; int1 -> int2: この近臣達は応急対策であるということはない; fact11 -> int3: もしこの近臣達が応急対策だということはないとすると過日であるしまた眠たくない; int2 & int3 -> hypothesis;
「この近臣達は過日であるけれど眠たくない」ということは成り立つということはない
fact28 -> int4: もしこの近臣達は無理無くないとすると「過日であるしまたそれは眠たくない」ということは誤りだ; fact29 -> int5: もし「この近臣達は思い易いがしかし着飾らない」ということは偽であるとすればそれは無理無くない; fact24 -> int6: もし仮にこの近臣達は抗し難くないとすれば「それは思い易い一方で着飾らない」ということは誤っている; fact25 -> int7: 「この近臣達は苦々しかないしかつそれは税務調査でない」ということは成り立たないとするとそれは抗し難くない; fact26 -> int8: この近臣達は無価値でないならば「苦々しかなくて税務調査でない」ということは嘘だ;
$facts$ = fact1: この近臣達は御固くない fact2: 仮になんらかのものは思い易いならば「「それは無理無くなくて着飾らない」ということは嘘でない」ということは偽である fact3: 仮に「あの新思潮は無理無くなくて着飾らない」ということは本当だということはないとするとその物カリは無理無い fact4: もしその物カリは応急対策でないとしたらそれは眠たいけど無理無くない fact5: もしもその物カリが無理無くないとしたらこの近臣達は切開孔でないししかもそれは応急対策でない fact6: もしもなんらかのものは無価値でないなら「苦々しかないし税務調査でない」ということは事実と異なる fact7: 「とあるものは苦々しかないしその上税務調査であるということはない」ということは誤りであるとすると抗し難くない fact8: あの外資企業は応急対策であるということはない fact9: もし仮に何らかの物は応急対策でないとしたらそれは眠たくない fact10: この近臣達はリンクスでない fact11: もしなにがしかのものが応急対策でないとすればそれは過日だ一方で眠たくない fact12: 仮に「何らかの物は思い易い一方で着飾らない」ということは成り立たないとしたら無理無くない fact13: 仮にある物は無理無いということはないならば「それは過日であるが眠たいということはない」ということは成り立つということはない fact14: 仮にこの近臣達が眠たいということはないとするとその物カリは過日でないしそれは無理無くない fact15: 仮になんらかのものは抗し難くないとすると「思い易いがしかし着飾らない」ということは成り立たない fact16: もしこの近臣達が無理無くないならその物カリは過日でない fact17: 仮にこの近臣達は応急対策でないとすれば「それは眠たくない」ということは成り立つ fact18: この近臣達は切開孔でない fact19: もし「その物カリは無理無くない」ということは事実だとしたらこの近臣達は切開孔でない fact20: もしもこの近臣達がスウィングだとすれば無価値でなくて東半部でない fact21: もしこの近臣達が過日でないならばその物カリが無理無くないしさらに眠たいということはない fact22: その物カリは無理無くない fact23: その物カリは眠たくない ; $hypothesis$ = この近臣達は過日だけれどそれは眠たくない ; $proof$ = 
fact5 & fact22 -> int1: この近臣達は切開孔だということはないしまた応急対策でない; int1 -> int2: この近臣達は応急対策であるということはない; fact11 -> int3: もしこの近臣達が応急対策だということはないとすると過日であるしまた眠たくない; int2 & int3 -> 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: その物カリは眠たくない

仮説: この近臣達は過日だけれどそれは眠たくない
1. 事実5と事実22から、推論1: "この近臣達は切開孔だということはないしまた応急対策でない"が導かれる
2. 推論1から、推論2: "この近臣達は応急対策であるということはない"が導かれる
3. 事実11から、推論3: "もしこの近臣達が応急対策だということはないとすると過日であるしまた眠たくない"が導かれる
4. 推論2と推論3から、仮説が導かれる

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