「この仏師はべた付き易いが広げ過ぎるということはない」ということは誤りだ
fact1: その身形は作り得るがしかしそれは広げ過ぎない fact2: もしその怪談部屋は脂っこくないならば「この仏師は譜代派でまたそれは新鋭だ」ということは嘘だ fact3: 仮にその怪談部屋が細長いけれど動かし難くないとしたらこの仏師は広げ過ぎない fact4: 「その怪談部屋は広げ過ぎる」ということは事実である fact5: もし仮になんらかの物は新鋭でないとすると「それはべた付き易いけれど広げ過ぎない」ということは誤りだ fact6: その怪談部屋が新鋭でないとすればそれは細長い fact7: もし「「何かは譜代派であるし更に新鋭である」ということは本当である」ということは誤っているとしたら新鋭でない fact8: 「その怪談部屋は細長い」ということは本当だ fact9: その怪談部屋は新鋭でないとすると「それは細長い一方で動かし難くない」ということは成り立つ fact10: あの廃油は支障無い一方でそれは設計でない fact11: 譜代派はべた付き易い fact12: この世界文明はべた付き易い fact13: この仏師は脂っこいしまた譜代派である fact14: 「動かし難いものは長し」ということは成り立つ fact15: この仏師がホワイトカラーだけどそれは朗誦しない fact16: この仏師はショートパスだ fact17: あらゆる物はひょろ長い fact18: その怪談部屋は新鋭でない fact19: もし仮に何かはひょろ長いけど呪詛しないならそれは脂っこくない
fact9 & fact18 -> int1: その怪談部屋は細長いけど動かし難くない; int1 & fact3 -> int2: この仏師は広げ過ぎない; fact13 -> int3: この仏師は譜代派である; fact11 -> int4: もしもこの仏師が譜代派ならそれはべた付き易い; int3 & int4 -> int5: この仏師はべた付き易い; int2 & int5 -> hypothesis;
「この仏師はべた付き易いけれど広げ過ぎない」ということは間違っている
fact23 -> int6: 仮にこの仏師は新鋭でないなら「べた付き易いが広げ過ぎるということはない」ということは事実と異なる; fact24 -> int7: 仮に「この仏師は譜代派であるしおまけにそれは新鋭だ」ということは成り立つということはないとしたらそれは新鋭でない; fact22 -> int8: 仮にその怪談部屋がひょろ長いがそれが呪詛しないならばそれは脂っこくない; fact25 -> int9: 「その怪談部屋はひょろ長い」ということは成り立つ; fact20 -> int10: 「支障無いが設計だということはない」物はある;
$facts$ = fact1: その身形は作り得るがしかしそれは広げ過ぎない fact2: もしその怪談部屋は脂っこくないならば「この仏師は譜代派でまたそれは新鋭だ」ということは嘘だ fact3: 仮にその怪談部屋が細長いけれど動かし難くないとしたらこの仏師は広げ過ぎない fact4: 「その怪談部屋は広げ過ぎる」ということは事実である fact5: もし仮になんらかの物は新鋭でないとすると「それはべた付き易いけれど広げ過ぎない」ということは誤りだ fact6: その怪談部屋が新鋭でないとすればそれは細長い fact7: もし「「何かは譜代派であるし更に新鋭である」ということは本当である」ということは誤っているとしたら新鋭でない fact8: 「その怪談部屋は細長い」ということは本当だ fact9: その怪談部屋は新鋭でないとすると「それは細長い一方で動かし難くない」ということは成り立つ fact10: あの廃油は支障無い一方でそれは設計でない fact11: 譜代派はべた付き易い fact12: この世界文明はべた付き易い fact13: この仏師は脂っこいしまた譜代派である fact14: 「動かし難いものは長し」ということは成り立つ fact15: この仏師がホワイトカラーだけどそれは朗誦しない fact16: この仏師はショートパスだ fact17: あらゆる物はひょろ長い fact18: その怪談部屋は新鋭でない fact19: もし仮に何かはひょろ長いけど呪詛しないならそれは脂っこくない ; $hypothesis$ = 「この仏師はべた付き易いが広げ過ぎるということはない」ということは誤りだ ; $proof$ = 
fact9 & fact18 -> int1: その怪談部屋は細長いけど動かし難くない; int1 & fact3 -> int2: この仏師は広げ過ぎない; fact13 -> int3: この仏師は譜代派である; fact11 -> int4: もしもこの仏師が譜代派ならそれはべた付き易い; int3 & int4 -> int5: この仏師はべた付き易い; int2 & int5 -> hypothesis; __DISPROVED__
事実1: その身形は作り得るがしかしそれは広げ過ぎない
事実2: もしその怪談部屋は脂っこくないならば「この仏師は譜代派でまたそれは新鋭だ」ということは嘘だ
事実3: 仮にその怪談部屋が細長いけれど動かし難くないとしたらこの仏師は広げ過ぎない
事実4: 「その怪談部屋は広げ過ぎる」ということは事実である
事実5: もし仮になんらかの物は新鋭でないとすると「それはべた付き易いけれど広げ過ぎない」ということは誤りだ
事実6: その怪談部屋が新鋭でないとすればそれは細長い
事実7: もし「「何かは譜代派であるし更に新鋭である」ということは本当である」ということは誤っているとしたら新鋭でない
事実8: 「その怪談部屋は細長い」ということは本当だ
事実9: その怪談部屋は新鋭でないとすると「それは細長い一方で動かし難くない」ということは成り立つ
事実10: あの廃油は支障無い一方でそれは設計でない
事実11: 譜代派はべた付き易い
事実12: この世界文明はべた付き易い
事実13: この仏師は脂っこいしまた譜代派である
事実14: 「動かし難いものは長し」ということは成り立つ
事実15: この仏師がホワイトカラーだけどそれは朗誦しない
事実16: この仏師はショートパスだ
事実17: あらゆる物はひょろ長い
事実18: その怪談部屋は新鋭でない
事実19: もし仮に何かはひょろ長いけど呪詛しないならそれは脂っこくない

仮説: 「この仏師はべた付き易いが広げ過ぎるということはない」ということは誤りだ
1. 事実9と事実18から、推論1: "その怪談部屋は細長いけど動かし難くない"が導かれる
2. 推論1と事実3から、推論2: "この仏師は広げ過ぎない"が導かれる
3. 事実13から、推論3: "この仏師は譜代派である"が導かれる
4. 事実11から、推論4: "もしもこの仏師が譜代派ならそれはべた付き易い"が導かれる
5. 推論3と推論4から、推論5: "この仏師はべた付き易い"が導かれる
6. 推論2と推論5から、仮説が否定される

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