その不透明仕上げは異本でない
fact1: あの雑剪は香辛料でないとしたら「蛇であるしそれに核兵器廃絶だ」ということは間違っている fact2: その辞が黄色っぽくないがそれは乗り易いならば「その不透明仕上げは黄色っぽくない」ということは成り立つ fact3: 仮に「あの雑剪は顔料でないしＩＴ・デジタル分野でない」ということは嘘であるとしたらその不透明仕上げは恋人である fact4: もしも「「蛇だし核兵器廃絶だ」ということは間違いな」ものがあるとするとその不透明仕上げは蛇でない fact5: あの雑剪は委託先でないとしたら「顔料だということはないしそれにＩＴ・デジタル分野でない」ということは成り立つということはない fact6: 仮になんらかのものが蛇でないしさらにそれが黄色っぽくないとすると恋人でない fact7: もしもその不透明仕上げが恋人だとすると異本である fact8: あのＮＡＳＤＡＱ指数は丸っこくないしその上防備しない fact9: あの雑剪は委託先だということはない fact10: もしもあのＮＡＳＤＡＱ指数が丸っこくないし更にそれが防備しないならばあの雑剪は香辛料でない fact11: 仮になにがしかのものは恋人でないならそれは異本だということはないしその上委託先であるということはない fact12: 仮にその辞は先鋭化しないとしたら「黄色っぽくないがしかし乗り易い」ということは成り立つ
fact5 & fact9 -> int1: 「あの雑剪は顔料でなくてＩＴ・デジタル分野でない」ということは偽である; int1 & fact3 -> int2: その不透明仕上げは恋人である; int2 & fact7 -> hypothesis;
その不透明仕上げは異本でない
fact14 -> int3: もしもその不透明仕上げが恋人でないとすれば異本でないししかも委託先でない; fact17 -> int4: その不透明仕上げが蛇でないし黄色っぽくないならそれは恋人でない; fact15 & fact18 -> int5: あの雑剪は香辛料でない; fact16 & int5 -> int6: 「「あの雑剪は蛇で核兵器廃絶だ」ということは真実である」ということは間違っている; int6 -> int7: 「「蛇だししかも核兵器廃絶だ」ということは確かでない」ものはある; int7 & fact20 -> int8: その不透明仕上げは蛇でない;
$facts$ = fact1: あの雑剪は香辛料でないとしたら「蛇であるしそれに核兵器廃絶だ」ということは間違っている fact2: その辞が黄色っぽくないがそれは乗り易いならば「その不透明仕上げは黄色っぽくない」ということは成り立つ fact3: 仮に「あの雑剪は顔料でないしＩＴ・デジタル分野でない」ということは嘘であるとしたらその不透明仕上げは恋人である fact4: もしも「「蛇だし核兵器廃絶だ」ということは間違いな」ものがあるとするとその不透明仕上げは蛇でない fact5: あの雑剪は委託先でないとしたら「顔料だということはないしそれにＩＴ・デジタル分野でない」ということは成り立つということはない fact6: 仮になんらかのものが蛇でないしさらにそれが黄色っぽくないとすると恋人でない fact7: もしもその不透明仕上げが恋人だとすると異本である fact8: あのＮＡＳＤＡＱ指数は丸っこくないしその上防備しない fact9: あの雑剪は委託先だということはない fact10: もしもあのＮＡＳＤＡＱ指数が丸っこくないし更にそれが防備しないならばあの雑剪は香辛料でない fact11: 仮になにがしかのものは恋人でないならそれは異本だということはないしその上委託先であるということはない fact12: 仮にその辞は先鋭化しないとしたら「黄色っぽくないがしかし乗り易い」ということは成り立つ ; $hypothesis$ = その不透明仕上げは異本でない ; $proof$ = 
fact5 & fact9 -> int1: 「あの雑剪は顔料でなくてＩＴ・デジタル分野でない」ということは偽である; int1 & fact3 -> int2: その不透明仕上げは恋人である; int2 & fact7 -> hypothesis; __DISPROVED__
事実1: あの雑剪は香辛料でないとしたら「蛇であるしそれに核兵器廃絶だ」ということは間違っている
事実2: その辞が黄色っぽくないがそれは乗り易いならば「その不透明仕上げは黄色っぽくない」ということは成り立つ
事実3: 仮に「あの雑剪は顔料でないしＩＴ・デジタル分野でない」ということは嘘であるとしたらその不透明仕上げは恋人である
事実4: もしも「「蛇だし核兵器廃絶だ」ということは間違いな」ものがあるとするとその不透明仕上げは蛇でない
事実5: あの雑剪は委託先でないとしたら「顔料だということはないしそれにＩＴ・デジタル分野でない」ということは成り立つということはない
事実6: 仮になんらかのものが蛇でないしさらにそれが黄色っぽくないとすると恋人でない
事実7: もしもその不透明仕上げが恋人だとすると異本である
事実8: あのＮＡＳＤＡＱ指数は丸っこくないしその上防備しない
事実9: あの雑剪は委託先だということはない
事実10: もしもあのＮＡＳＤＡＱ指数が丸っこくないし更にそれが防備しないならばあの雑剪は香辛料でない
事実11: 仮になにがしかのものは恋人でないならそれは異本だということはないしその上委託先であるということはない
事実12: 仮にその辞は先鋭化しないとしたら「黄色っぽくないがしかし乗り易い」ということは成り立つ

仮説: その不透明仕上げは異本でない
1. 事実5と事実9から、推論1: "「あの雑剪は顔料でなくてＩＴ・デジタル分野でない」ということは偽である"が導かれる
2. 推論1と事実3から、推論2: "その不透明仕上げは恋人である"が導かれる
3. 推論2と事実7から、仮説が否定される

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