その神保家は消化し難くないけれど丸い
fact1: 眠い物は想像し難い fact2: もしも「「その大神輿は雄々しかないかそれは打ち据える」ということは事実である」ということは成り立たないとすれば「その丸太小屋は眠い」ということは確かである fact3: もし仮に「何かは惜しみ無くてそれは多重曲線だ」ということは誤っているならそれは惜しみ無くない fact4: 仮になにがしかの物は多重曲線だとすると「消化し難くないし丸い」ということは成り立たない fact5: 仮にこのレジスト層が惜しみ無いししかも世界最速であるならばその丸太小屋は想像し難くない fact6: もしこのレジスト層が世界最速だとすればあの神保家は消化し難くない fact7: 仮にこのレジスト層が惜しみ無くないなら世界最速であるかまたは消化し難いかまたはどちらもだ fact8: 「その大神輿は雄々しかないかもしくは打ち据えるかあるいは両方ともである」ということは嘘だ fact9: このレジスト層は惜しみ無い fact10: 惜しみ無いものは消化し難い fact11: もしもこのレジスト層は世界最速でないとすれば「その神保家は多重曲線である」ということは真実だ
void -> assump1: 以下のように仮定する。このレジスト層は世界最速だ; fact9 & assump1 -> int1: このレジスト層は惜しみ無くて世界最速である; int1 & fact5 -> int2: その丸太小屋は想像し難くない; fact8 & fact2 -> int3: その丸太小屋は眠い; fact1 -> int4: もし仮にその丸太小屋が眠いとしたらそれは想像し難い; int3 & int4 -> int5: 「その丸太小屋は想像し難い」ということは成り立つ; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: このレジスト層は世界最速でない; int7 & fact11 -> int8: その神保家は多重曲線だ; fact4 -> int9: その神保家は多重曲線ならば「それは消化し難くないしかつ丸い」ということは事実と異なる; int8 & int9 -> hypothesis;
その神保家は消化し難くないけどそれは丸い
fact13 -> int10: もしも「「このレジスト層は惜しみ無くて多重曲線である」ということは間違っていない」ということは間違っているとすると「惜しみ無くない」ということは成り立つ;
$facts$ = fact1: 眠い物は想像し難い fact2: もしも「「その大神輿は雄々しかないかそれは打ち据える」ということは事実である」ということは成り立たないとすれば「その丸太小屋は眠い」ということは確かである fact3: もし仮に「何かは惜しみ無くてそれは多重曲線だ」ということは誤っているならそれは惜しみ無くない fact4: 仮になにがしかの物は多重曲線だとすると「消化し難くないし丸い」ということは成り立たない fact5: 仮にこのレジスト層が惜しみ無いししかも世界最速であるならばその丸太小屋は想像し難くない fact6: もしこのレジスト層が世界最速だとすればあの神保家は消化し難くない fact7: 仮にこのレジスト層が惜しみ無くないなら世界最速であるかまたは消化し難いかまたはどちらもだ fact8: 「その大神輿は雄々しかないかもしくは打ち据えるかあるいは両方ともである」ということは嘘だ fact9: このレジスト層は惜しみ無い fact10: 惜しみ無いものは消化し難い fact11: もしもこのレジスト層は世界最速でないとすれば「その神保家は多重曲線である」ということは真実だ ; $hypothesis$ = その神保家は消化し難くないけれど丸い ; $proof$ = 
void -> assump1: 以下のように仮定する。このレジスト層は世界最速だ; fact9 & assump1 -> int1: このレジスト層は惜しみ無くて世界最速である; int1 & fact5 -> int2: その丸太小屋は想像し難くない; fact8 & fact2 -> int3: その丸太小屋は眠い; fact1 -> int4: もし仮にその丸太小屋が眠いとしたらそれは想像し難い; int3 & int4 -> int5: 「その丸太小屋は想像し難い」ということは成り立つ; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: このレジスト層は世界最速でない; int7 & fact11 -> int8: その神保家は多重曲線だ; fact4 -> int9: その神保家は多重曲線ならば「それは消化し難くないしかつ丸い」ということは事実と異なる; int8 & int9 -> hypothesis; __DISPROVED__
事実1: 眠い物は想像し難い
事実2: もしも「「その大神輿は雄々しかないかそれは打ち据える」ということは事実である」ということは成り立たないとすれば「その丸太小屋は眠い」ということは確かである
事実3: もし仮に「何かは惜しみ無くてそれは多重曲線だ」ということは誤っているならそれは惜しみ無くない
事実4: 仮になにがしかの物は多重曲線だとすると「消化し難くないし丸い」ということは成り立たない
事実5: 仮にこのレジスト層が惜しみ無いししかも世界最速であるならばその丸太小屋は想像し難くない
事実6: もしこのレジスト層が世界最速だとすればあの神保家は消化し難くない
事実7: 仮にこのレジスト層が惜しみ無くないなら世界最速であるかまたは消化し難いかまたはどちらもだ
事実8: 「その大神輿は雄々しかないかもしくは打ち据えるかあるいは両方ともである」ということは嘘だ
事実9: このレジスト層は惜しみ無い
事実10: 惜しみ無いものは消化し難い
事実11: もしもこのレジスト層は世界最速でないとすれば「その神保家は多重曲線である」ということは真実だ

仮説: その神保家は消化し難くないけれど丸い
1. 仮定1: 以下のように仮定する。このレジスト層は世界最速だ
2. 事実9と仮定1から、推論1: "このレジスト層は惜しみ無くて世界最速である"が導かれる
3. 推論1と事実5から、推論2: "その丸太小屋は想像し難くない"が導かれる
4. 事実8と事実2から、推論3: "その丸太小屋は眠い"が導かれる
5. 事実1から、推論4: "もし仮にその丸太小屋が眠いとしたらそれは想像し難い"が導かれる
6. 推論3と推論4から、推論5: "「その丸太小屋は想像し難い」ということは成り立つ"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "このレジスト層は世界最速でない"が導かれる
9. 推論7と事実11から、推論8: "その神保家は多重曲線だ"が導かれる
10. 事実4から、推論9: "その神保家は多重曲線ならば「それは消化し難くないしかつ丸い」ということは事実と異なる"が導かれる
11. 推論8と推論9から、仮説が否定される

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