「その適用方法は創造する」ということは真実である
fact1: あの大荷物が厚しないし数小節でないなら「この古絵図は後期青銅器時代である」ということは間違いでない fact2: この古絵図は色っぽい fact3: もしあの大荷物が数小節だし色っぽいならばあの古絵図は寒しない fact4: 仮にこの古絵図が寒しし後期青銅器時代であるとするとその適用方法は創造するということはない fact5: あの大荷物は祓わない fact6: 仮に「あの大荷物は祓うということはない」ということは確かであるならそれは解き解さない fact7: 仮に「あの大荷物は解き解さない」ということは正しいならば「それは厚しということはなくて成し難くない」ということは本当でない fact8: もしも「あの大荷物は厚しないし成し難くない」ということは誤りだとすれば創造しない fact9: あの大荷物は厚しないしおまけに数小節でない fact10: もし「あの大荷物は数小節でないがしかし後期青銅器時代である」ということは誤りだとすればこの古絵図は後期青銅器時代でない fact11: あの大荷物は創造しない fact12: その適用方法は厚し fact13: もしもあの大荷物が厚しけれど数小節でないならこの古絵図は後期青銅器時代である fact14: この古絵図は寒ししそれに色っぽい
fact14 -> int1: この古絵図は寒し; fact1 & fact9 -> int2: この古絵図は後期青銅器時代だ; int1 & int2 -> int3: この古絵図は寒しし後期青銅器時代である; int3 & fact4 -> hypothesis;
「その適用方法は色っぽくない」ということは誤っているということはない
fact19 & fact16 -> int4: あの大荷物は解き解すということはない; fact17 & int4 -> int5: 「「あの大荷物は厚しということはないしそれは成し難くない」ということは成り立たない」ということは本当だ; fact18 & int5 -> int6: あの大荷物は創造しない;
$facts$ = fact1: あの大荷物が厚しないし数小節でないなら「この古絵図は後期青銅器時代である」ということは間違いでない fact2: この古絵図は色っぽい fact3: もしあの大荷物が数小節だし色っぽいならばあの古絵図は寒しない fact4: 仮にこの古絵図が寒しし後期青銅器時代であるとするとその適用方法は創造するということはない fact5: あの大荷物は祓わない fact6: 仮に「あの大荷物は祓うということはない」ということは確かであるならそれは解き解さない fact7: 仮に「あの大荷物は解き解さない」ということは正しいならば「それは厚しということはなくて成し難くない」ということは本当でない fact8: もしも「あの大荷物は厚しないし成し難くない」ということは誤りだとすれば創造しない fact9: あの大荷物は厚しないしおまけに数小節でない fact10: もし「あの大荷物は数小節でないがしかし後期青銅器時代である」ということは誤りだとすればこの古絵図は後期青銅器時代でない fact11: あの大荷物は創造しない fact12: その適用方法は厚し fact13: もしもあの大荷物が厚しけれど数小節でないならこの古絵図は後期青銅器時代である fact14: この古絵図は寒ししそれに色っぽい ; $hypothesis$ = 「その適用方法は創造する」ということは真実である ; $proof$ = 
fact14 -> int1: この古絵図は寒し; fact1 & fact9 -> int2: この古絵図は後期青銅器時代だ; int1 & int2 -> int3: この古絵図は寒しし後期青銅器時代である; int3 & fact4 -> hypothesis; __DISPROVED__
事実1: あの大荷物が厚しないし数小節でないなら「この古絵図は後期青銅器時代である」ということは間違いでない
事実2: この古絵図は色っぽい
事実3: もしあの大荷物が数小節だし色っぽいならばあの古絵図は寒しない
事実4: 仮にこの古絵図が寒しし後期青銅器時代であるとするとその適用方法は創造するということはない
事実5: あの大荷物は祓わない
事実6: 仮に「あの大荷物は祓うということはない」ということは確かであるならそれは解き解さない
事実7: 仮に「あの大荷物は解き解さない」ということは正しいならば「それは厚しということはなくて成し難くない」ということは本当でない
事実8: もしも「あの大荷物は厚しないし成し難くない」ということは誤りだとすれば創造しない
事実9: あの大荷物は厚しないしおまけに数小節でない
事実10: もし「あの大荷物は数小節でないがしかし後期青銅器時代である」ということは誤りだとすればこの古絵図は後期青銅器時代でない
事実11: あの大荷物は創造しない
事実12: その適用方法は厚し
事実13: もしもあの大荷物が厚しけれど数小節でないならこの古絵図は後期青銅器時代である
事実14: この古絵図は寒ししそれに色っぽい

仮説: 「その適用方法は創造する」ということは真実である
1. 事実14から、推論1: "この古絵図は寒し"が導かれる
2. 事実1と事実9から、推論2: "この古絵図は後期青銅器時代だ"が導かれる
3. 推論1と推論2から、推論3: "この古絵図は寒しし後期青銅器時代である"が導かれる
4. 推論3と事実4から、仮説が否定される

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