「なんらかの物は解禁しない」ということは偽だ
fact1: その共同作品が百姓らしくないし黒社会でないとすればあのスペクトルは解禁しない fact2: 仮にあるものは解禁するとすれば「滲炭法でないけど汚れ易い」ということは成り立たない fact3: その共同作品は百姓らしくないしその上黒社会であるということはない fact4: 「その共同作品は汚れ易いということはない」ということは確かであるならばあの受働債権はしかつめらしくなくてしかもそれは募集時期でない fact5: もしもそのスペクトルが解禁しないしそれが百姓らしくないとしたらその共同作品は黒社会でない fact6: 「解禁する」物はある fact7: 仮に「とあるものは滲炭法でないが汚れ易い」ということは事実と異なるならそれは汚れ易くない
fact1 & fact3 -> int1: そのスペクトルは解禁しない; int1 -> hypothesis;
あの受働債権はしかつめらしくないしまた募集時期でない
fact9 -> int2: 仮に「その共同作品は滲炭法でないが汚れ易い」ということは偽だとすれば汚れ易くない; fact10 -> int3: もし仮にその共同作品は解禁するとしたら「滲炭法でないが汚れ易い」ということは成り立つということはない;
$facts$ = fact1: その共同作品が百姓らしくないし黒社会でないとすればあのスペクトルは解禁しない fact2: 仮にあるものは解禁するとすれば「滲炭法でないけど汚れ易い」ということは成り立たない fact3: その共同作品は百姓らしくないしその上黒社会であるということはない fact4: 「その共同作品は汚れ易いということはない」ということは確かであるならばあの受働債権はしかつめらしくなくてしかもそれは募集時期でない fact5: もしもそのスペクトルが解禁しないしそれが百姓らしくないとしたらその共同作品は黒社会でない fact6: 「解禁する」物はある fact7: 仮に「とあるものは滲炭法でないが汚れ易い」ということは事実と異なるならそれは汚れ易くない ; $hypothesis$ = 「なんらかの物は解禁しない」ということは偽だ ; $proof$ = 
fact1 & fact3 -> int1: そのスペクトルは解禁しない; int1 -> hypothesis; __DISPROVED__
事実1: その共同作品が百姓らしくないし黒社会でないとすればあのスペクトルは解禁しない
事実2: 仮にあるものは解禁するとすれば「滲炭法でないけど汚れ易い」ということは成り立たない
事実3: その共同作品は百姓らしくないしその上黒社会であるということはない
事実4: 「その共同作品は汚れ易いということはない」ということは確かであるならばあの受働債権はしかつめらしくなくてしかもそれは募集時期でない
事実5: もしもそのスペクトルが解禁しないしそれが百姓らしくないとしたらその共同作品は黒社会でない
事実6: 「解禁する」物はある
事実7: 仮に「とあるものは滲炭法でないが汚れ易い」ということは事実と異なるならそれは汚れ易くない

仮説: 「なんらかの物は解禁しない」ということは偽だ
1. 事実1と事実3から、推論1: "そのスペクトルは解禁しない"が導かれる
2. 推論1から、仮説が否定される

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