この特産物は翻訳するということはない
fact1: もしもある物が散らし書きだとしたらそれは甘酸っぱくない fact2: もしもなにかは隙間無くないとすればそれは散らし書きである一方で翻訳するということはない fact3: もし仮にこの寵児は甘酸っぱいということはないならば「このスムーズシェーディングは甘酸っぱくないしまた玄武でない」ということは間違っている fact4: 仮に「このスムーズシェーディングは甘酸っぱいということはないししかも玄武でない」ということは成り立たないならこの特産物は翻訳する fact5: この寵児は散らし書きだしさらに隙間無い
fact5 -> int1: この寵児は散らし書きだ; fact1 -> int2: 仮にこの寵児は散らし書きであるとしたら甘酸っぱいということはない; int1 & int2 -> int3: この寵児は甘酸っぱくない; int3 & fact3 -> int4: 「このスムーズシェーディングは甘酸っぱいということはないし更にそれは玄武でない」ということは真実でない; int4 & fact4 -> hypothesis;
この特産物は翻訳しない
fact6 -> int5: 仮にこの特産物が隙間無くないとすればそれが散らし書きだしそれは翻訳しない;
$facts$ = fact1: もしもある物が散らし書きだとしたらそれは甘酸っぱくない fact2: もしもなにかは隙間無くないとすればそれは散らし書きである一方で翻訳するということはない fact3: もし仮にこの寵児は甘酸っぱいということはないならば「このスムーズシェーディングは甘酸っぱくないしまた玄武でない」ということは間違っている fact4: 仮に「このスムーズシェーディングは甘酸っぱいということはないししかも玄武でない」ということは成り立たないならこの特産物は翻訳する fact5: この寵児は散らし書きだしさらに隙間無い ; $hypothesis$ = この特産物は翻訳するということはない ; $proof$ = 
fact5 -> int1: この寵児は散らし書きだ; fact1 -> int2: 仮にこの寵児は散らし書きであるとしたら甘酸っぱいということはない; int1 & int2 -> int3: この寵児は甘酸っぱくない; int3 & fact3 -> int4: 「このスムーズシェーディングは甘酸っぱいということはないし更にそれは玄武でない」ということは真実でない; int4 & fact4 -> hypothesis; __DISPROVED__
事実1: もしもある物が散らし書きだとしたらそれは甘酸っぱくない
事実2: もしもなにかは隙間無くないとすればそれは散らし書きである一方で翻訳するということはない
事実3: もし仮にこの寵児は甘酸っぱいということはないならば「このスムーズシェーディングは甘酸っぱくないしまた玄武でない」ということは間違っている
事実4: 仮に「このスムーズシェーディングは甘酸っぱいということはないししかも玄武でない」ということは成り立たないならこの特産物は翻訳する
事実5: この寵児は散らし書きだしさらに隙間無い

仮説: この特産物は翻訳するということはない
1. 事実5から、推論1: "この寵児は散らし書きだ"が導かれる
2. 事実1から、推論2: "仮にこの寵児は散らし書きであるとしたら甘酸っぱいということはない"が導かれる
3. 推論1と推論2から、推論3: "この寵児は甘酸っぱくない"が導かれる
4. 推論3と事実3から、推論4: "「このスムーズシェーディングは甘酸っぱいということはないし更にそれは玄武でない」ということは真実でない"が導かれる
5. 推論4と事実4から、仮説が否定される

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