「その大切さは惨たらしくないしかつ逼迫しない」ということは成り立たない
fact1: その大切さは疑れば「それは惨たらしくなくて逼迫しない」ということは事実と異なる fact2: その大切さは惨たらしくない fact3: もしもとあるものが酵母でないとしたら色好くないしおまけにそれは優しい fact4: 「「酵母でない」ということは本当である」ものがあるとすればこの天井画は逼迫する fact5: 「仮にその夕日が色好いかあるいはそれが優しいか両方だとしたらその夕日は酵母でない」ということは事実だ fact6: その夕日は疑るしかつそれは近しい fact7: その夕日は疑る fact8: もしなんらかの物は上陸出来るとしたら「酵母である一方で惨たらしくない」ということは成り立つということはない fact9: その大切さは感得しなくて加えて削除ツールでない fact10: 「仮に何らかの物は優しくないなら「その夕日は逼迫する」ということは本当である」ということは誤りでない fact11: もし仮に「その出生頻度は酵母だけど惨たらしくない」ということは成り立たないならばその大切さは酵母でない fact12: 「「取り扱い易い一方で分譲しない」ということは誤っている」物はある fact13: 仮にこの天井画が逼迫するとしたらその大切さは惨たらしいということはない fact14: 仮にその出生頻度が葬ればそれは起こり易くないがしかし上陸出来る fact15: もしこの天井画が逼迫するとするとその大切さは惨たらしくなくてしかも逼迫しない fact16: もしもなにがしかのものが近しいなら優しい fact17: もしもその夕日が色好いとすると酵母であるということはない fact18: 仮に「色好くないし優しい」物があるとするとこの天井画は近しい fact19: 仮にこの天井画が疑るならその夕日は逼迫する fact20: もしその夕日が疑らなくてまた優しくないならその追肥は疑る fact21: 「酵母である」物はある fact22: もしもとある物が近しいなら疑る
fact6 -> int1: その夕日は近しい; fact16 -> int2: もし仮にその夕日が近しいならそれは優しい; int1 & int2 -> int3: その夕日は優しい; int3 -> int4: その夕日は色好いかもしくはそれは優しいかもしくは両方ともだ; int4 & fact5 -> int5: その夕日は酵母でない; int5 -> int6: なにかは酵母でない; int6 & fact4 -> int7: この天井画は逼迫する; int7 & fact15 -> hypothesis;
「その大切さは惨たらしくないし逼迫しない」ということは成り立たない
fact23 -> int8: もしその大切さが近しいとするとそれは疑る;
$facts$ = fact1: その大切さは疑れば「それは惨たらしくなくて逼迫しない」ということは事実と異なる fact2: その大切さは惨たらしくない fact3: もしもとあるものが酵母でないとしたら色好くないしおまけにそれは優しい fact4: 「「酵母でない」ということは本当である」ものがあるとすればこの天井画は逼迫する fact5: 「仮にその夕日が色好いかあるいはそれが優しいか両方だとしたらその夕日は酵母でない」ということは事実だ fact6: その夕日は疑るしかつそれは近しい fact7: その夕日は疑る fact8: もしなんらかの物は上陸出来るとしたら「酵母である一方で惨たらしくない」ということは成り立つということはない fact9: その大切さは感得しなくて加えて削除ツールでない fact10: 「仮に何らかの物は優しくないなら「その夕日は逼迫する」ということは本当である」ということは誤りでない fact11: もし仮に「その出生頻度は酵母だけど惨たらしくない」ということは成り立たないならばその大切さは酵母でない fact12: 「「取り扱い易い一方で分譲しない」ということは誤っている」物はある fact13: 仮にこの天井画が逼迫するとしたらその大切さは惨たらしいということはない fact14: 仮にその出生頻度が葬ればそれは起こり易くないがしかし上陸出来る fact15: もしこの天井画が逼迫するとするとその大切さは惨たらしくなくてしかも逼迫しない fact16: もしもなにがしかのものが近しいなら優しい fact17: もしもその夕日が色好いとすると酵母であるということはない fact18: 仮に「色好くないし優しい」物があるとするとこの天井画は近しい fact19: 仮にこの天井画が疑るならその夕日は逼迫する fact20: もしその夕日が疑らなくてまた優しくないならその追肥は疑る fact21: 「酵母である」物はある fact22: もしもとある物が近しいなら疑る ; $hypothesis$ = 「その大切さは惨たらしくないしかつ逼迫しない」ということは成り立たない ; $proof$ = 
fact6 -> int1: その夕日は近しい; fact16 -> int2: もし仮にその夕日が近しいならそれは優しい; int1 & int2 -> int3: その夕日は優しい; int3 -> int4: その夕日は色好いかもしくはそれは優しいかもしくは両方ともだ; int4 & fact5 -> int5: その夕日は酵母でない; int5 -> int6: なにかは酵母でない; int6 & fact4 -> int7: この天井画は逼迫する; int7 & fact15 -> hypothesis; __DISPROVED__
事実1: その大切さは疑れば「それは惨たらしくなくて逼迫しない」ということは事実と異なる
事実2: その大切さは惨たらしくない
事実3: もしもとあるものが酵母でないとしたら色好くないしおまけにそれは優しい
事実4: 「「酵母でない」ということは本当である」ものがあるとすればこの天井画は逼迫する
事実5: 「仮にその夕日が色好いかあるいはそれが優しいか両方だとしたらその夕日は酵母でない」ということは事実だ
事実6: その夕日は疑るしかつそれは近しい
事実7: その夕日は疑る
事実8: もしなんらかの物は上陸出来るとしたら「酵母である一方で惨たらしくない」ということは成り立つということはない
事実9: その大切さは感得しなくて加えて削除ツールでない
事実10: 「仮に何らかの物は優しくないなら「その夕日は逼迫する」ということは本当である」ということは誤りでない
事実11: もし仮に「その出生頻度は酵母だけど惨たらしくない」ということは成り立たないならばその大切さは酵母でない
事実12: 「「取り扱い易い一方で分譲しない」ということは誤っている」物はある
事実13: 仮にこの天井画が逼迫するとしたらその大切さは惨たらしいということはない
事実14: 仮にその出生頻度が葬ればそれは起こり易くないがしかし上陸出来る
事実15: もしこの天井画が逼迫するとするとその大切さは惨たらしくなくてしかも逼迫しない
事実16: もしもなにがしかのものが近しいなら優しい
事実17: もしもその夕日が色好いとすると酵母であるということはない
事実18: 仮に「色好くないし優しい」物があるとするとこの天井画は近しい
事実19: 仮にこの天井画が疑るならその夕日は逼迫する
事実20: もしその夕日が疑らなくてまた優しくないならその追肥は疑る
事実21: 「酵母である」物はある
事実22: もしもとある物が近しいなら疑る

仮説: 「その大切さは惨たらしくないしかつ逼迫しない」ということは成り立たない
1. 事実6から、推論1: "その夕日は近しい"が導かれる
2. 事実16から、推論2: "もし仮にその夕日が近しいならそれは優しい"が導かれる
3. 推論1と推論2から、推論3: "その夕日は優しい"が導かれる
4. 推論3から、推論4: "その夕日は色好いかもしくはそれは優しいかもしくは両方ともだ"が導かれる
5. 推論4と事実5から、推論5: "その夕日は酵母でない"が導かれる
6. 推論5から、推論6: "なにかは酵母でない"が導かれる
7. 推論6と事実4から、推論7: "この天井画は逼迫する"が導かれる
8. 推論7と事実15から、仮説が否定される

よって、仮説が否定されました。