この絶対服従は見窄らしい
fact1: もしもこの絶対的価値が座り易いとすればあの防寒はどす黒い fact2: もし何らかのものがどす黒いなら解け易い fact3: もしこの絶対的価値が熱水だとすればこの防寒はどす黒い fact4: もしもとあるものが愛し合うならそれはどす黒くないけど解け易い fact5: もしもこの防寒が解け易くないとすればこの晩方はどす黒くない fact6: もし「あるものは愛し合わないが解け易い」ということは真実でないとすると捩る fact7: もしその大旦那が愛し合うとすればそれは捩る fact8: この防寒は解け易いとしたら「その大旦那は愛し合うしその上解け易い」ということは間違っている fact9: なんらかのものは座り易いとすれば「熱水でないがしかし会社自体である」ということは成り立たない fact10: 「その大旦那が愛し合うしその上解け易い」ということは間違っている fact11: もし仮に「この運動機能は上げ難くない」ということは成り立つとするとこの絶対服従は見窄らしい fact12: もし見窄らしい物は黒しということはないとしたら「それは上げ難い」ということは成り立つ fact13: もしもその大旦那がどす黒くないならこの防寒は解け易い fact14: もしもその大旦那が捩るかあるいはそれがたわいないならばこの運動機能は上げ難くない fact15: 「この絶対服従は見窄らしくないがしかしたわいない」ということは事実と異なる fact16: 「あらゆるものは熱水であるか座り易い」ということは正しい fact17: どす黒くないものは座り易い fact18: 仮になにがしかの物は上げ難いならば「捩るかあるいはたわいなくない」ということは成り立たない fact19: もしこの防寒は解け易いならば「その大旦那は愛し合うということはないがしかし解け易い」ということは嘘だ fact20: 「もしとある物はどす黒くないとすると「それは熱水だし座り易い」ということは誤りだ」ということは真実だ fact21: なんらかのものが愛し合うなら捩る fact22: もしもこの防寒は愛し合うとしたら「この晩方はどす黒くない」ということは真実である fact23: 「何かは熱水だしかつ座り易い」ということは本当でないとすればそれは見窄らしくない fact24: もしも「その大旦那は捩るかあるいはそれはたわいなくないかあるいはどちらもである」ということは真実でないならこの防寒は捩らない fact25: その大旦那がたわいないとするとこの運動機能は上げ難くない
fact16 -> int1: この絶対的価値は熱水であるか座り易い; int1 & fact3 & fact1 -> int2: この防寒はどす黒い; fact2 -> int3: もしもこの防寒がどす黒いとすると解け易い; int2 & int3 -> int4: この防寒は解け易い; int4 & fact19 -> int5: 「その大旦那は愛し合わないけど解け易い」ということは誤りである; fact6 -> int6: 仮に「その大旦那は愛し合わないがしかし解け易い」ということは誤っているとするとそれは捩る; int5 & int6 -> int7: その大旦那は捩る; int7 -> int8: その大旦那は捩るかもしくはそれはたわいない; int8 & fact14 -> int9: この運動機能は上げ難くない; int9 & fact11 -> hypothesis;
「この晩方は熱水でないがしかし会社自体だ」ということは成り立たない
fact28 -> int10: もし仮にこの晩方は座り易いとしたら「熱水でないし会社自体だ」ということは成り立たない; fact32 -> int11: 仮にこの晩方がどす黒いということはないならばそれは座り易い; fact29 -> int12: その大旦那は上げ難いなら「捩るかたわいなくない」ということは間違っている; fact30 -> int13: もしその大旦那は見窄らしいがしかし黒しないとしたらそれは上げ難い;
$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: もしも「その大旦那は捩るかあるいはそれはたわいなくないかあるいはどちらもである」ということは真実でないならこの防寒は捩らない fact25: その大旦那がたわいないとするとこの運動機能は上げ難くない ; $hypothesis$ = この絶対服従は見窄らしい ; $proof$ = 
fact16 -> int1: この絶対的価値は熱水であるか座り易い; int1 & fact3 & fact1 -> int2: この防寒はどす黒い; fact2 -> int3: もしもこの防寒がどす黒いとすると解け易い; int2 & int3 -> int4: この防寒は解け易い; int4 & fact19 -> int5: 「その大旦那は愛し合わないけど解け易い」ということは誤りである; fact6 -> int6: 仮に「その大旦那は愛し合わないがしかし解け易い」ということは誤っているとするとそれは捩る; int5 & int6 -> int7: その大旦那は捩る; int7 -> int8: その大旦那は捩るかもしくはそれはたわいない; int8 & fact14 -> int9: この運動機能は上げ難くない; int9 & fact11 -> 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: もしも「その大旦那は捩るかあるいはそれはたわいなくないかあるいはどちらもである」ということは真実でないならこの防寒は捩らない
事実25: その大旦那がたわいないとするとこの運動機能は上げ難くない

仮説: この絶対服従は見窄らしい
1. 事実16から、推論1: "この絶対的価値は熱水であるか座り易い"が導かれる
2. 推論1と事実3と事実1から、推論2: "この防寒はどす黒い"が導かれる
3. 事実2から、推論3: "もしもこの防寒がどす黒いとすると解け易い"が導かれる
4. 推論2と推論3から、推論4: "この防寒は解け易い"が導かれる
5. 推論4と事実19から、推論5: "「その大旦那は愛し合わないけど解け易い」ということは誤りである"が導かれる
6. 事実6から、推論6: "仮に「その大旦那は愛し合わないがしかし解け易い」ということは誤っているとするとそれは捩る"が導かれる
7. 推論5と推論6から、推論7: "その大旦那は捩る"が導かれる
8. 推論7から、推論8: "その大旦那は捩るかもしくはそれはたわいない"が導かれる
9. 推論8と事実14から、推論9: "この運動機能は上げ難くない"が導かれる
10. 推論9と事実11から、仮説が導かれる

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