「このオープンイベントプロシージャは専制政治でしかも創意・工夫だ」ということは事実だということはない
fact1: もし「その雇用問題は宗教団体でないがしかし見付け易い」ということは偽だとすると「罪悪視する」ということは確かだ fact2: その雇用問題は宗教団体なら「罪悪視する」ということは真実だ fact3: もし仮にこのオープンイベントプロシージャが害するとすればそれは専制政治である fact4: 「その雇用問題は宗教団体であるしまた見付け易い」ということは間違っている fact5: もしも「とある物はせこい」ということは誤りでないとすると切ない fact6: このオープンイベントプロシージャはせこくない fact7: 仮にその雇用問題が罪悪視するとすればこのオープンイベントプロシージャは害する fact8: 「その雇用問題は宗教団体でないけれど見付け易い」ということは成り立つということはない fact9: もしもこのオープンイベントプロシージャが創意・工夫であるかもしくはそれがリリースしないとしたらそれは創意・工夫である fact10: あのラングはせこいし識である fact11: もし仮にこのオープンイベントプロシージャがせこいということはないとしたら創意・工夫であるかあるいはリリースしないかあるいは両方ともである
fact1 & fact8 -> int1: その雇用問題は罪悪視する; int1 & fact7 -> int2: 「このオープンイベントプロシージャは害する」ということは成り立つ; int2 & fact3 -> int3: このオープンイベントプロシージャは専制政治だ; fact6 & fact11 -> int4: このオープンイベントプロシージャは創意・工夫であるかもしくはリリースしない; fact9 & int4 -> int5: このオープンイベントプロシージャは創意・工夫だ; int3 & int5 -> hypothesis;
このオープンイベントプロシージャがせこいならそれは切ない
fact12 -> hypothesis;
$facts$ = fact1: もし「その雇用問題は宗教団体でないがしかし見付け易い」ということは偽だとすると「罪悪視する」ということは確かだ fact2: その雇用問題は宗教団体なら「罪悪視する」ということは真実だ fact3: もし仮にこのオープンイベントプロシージャが害するとすればそれは専制政治である fact4: 「その雇用問題は宗教団体であるしまた見付け易い」ということは間違っている fact5: もしも「とある物はせこい」ということは誤りでないとすると切ない fact6: このオープンイベントプロシージャはせこくない fact7: 仮にその雇用問題が罪悪視するとすればこのオープンイベントプロシージャは害する fact8: 「その雇用問題は宗教団体でないけれど見付け易い」ということは成り立つということはない fact9: もしもこのオープンイベントプロシージャが創意・工夫であるかもしくはそれがリリースしないとしたらそれは創意・工夫である fact10: あのラングはせこいし識である fact11: もし仮にこのオープンイベントプロシージャがせこいということはないとしたら創意・工夫であるかあるいはリリースしないかあるいは両方ともである ; $hypothesis$ = 「このオープンイベントプロシージャは専制政治でしかも創意・工夫だ」ということは事実だということはない ; $proof$ = 
fact1 & fact8 -> int1: その雇用問題は罪悪視する; int1 & fact7 -> int2: 「このオープンイベントプロシージャは害する」ということは成り立つ; int2 & fact3 -> int3: このオープンイベントプロシージャは専制政治だ; fact6 & fact11 -> int4: このオープンイベントプロシージャは創意・工夫であるかもしくはリリースしない; fact9 & int4 -> int5: このオープンイベントプロシージャは創意・工夫だ; int3 & int5 -> hypothesis; __DISPROVED__
事実1: もし「その雇用問題は宗教団体でないがしかし見付け易い」ということは偽だとすると「罪悪視する」ということは確かだ
事実2: その雇用問題は宗教団体なら「罪悪視する」ということは真実だ
事実3: もし仮にこのオープンイベントプロシージャが害するとすればそれは専制政治である
事実4: 「その雇用問題は宗教団体であるしまた見付け易い」ということは間違っている
事実5: もしも「とある物はせこい」ということは誤りでないとすると切ない
事実6: このオープンイベントプロシージャはせこくない
事実7: 仮にその雇用問題が罪悪視するとすればこのオープンイベントプロシージャは害する
事実8: 「その雇用問題は宗教団体でないけれど見付け易い」ということは成り立つということはない
事実9: もしもこのオープンイベントプロシージャが創意・工夫であるかもしくはそれがリリースしないとしたらそれは創意・工夫である
事実10: あのラングはせこいし識である
事実11: もし仮にこのオープンイベントプロシージャがせこいということはないとしたら創意・工夫であるかあるいはリリースしないかあるいは両方ともである

仮説: 「このオープンイベントプロシージャは専制政治でしかも創意・工夫だ」ということは事実だということはない
1. 事実1と事実8から、推論1: "その雇用問題は罪悪視する"が導かれる
2. 推論1と事実7から、推論2: "「このオープンイベントプロシージャは害する」ということは成り立つ"が導かれる
3. 推論2と事実3から、推論3: "このオープンイベントプロシージャは専制政治だ"が導かれる
4. 事実6と事実11から、推論4: "このオープンイベントプロシージャは創意・工夫であるかもしくはリリースしない"が導かれる
5. 事実9と推論4から、推論5: "このオープンイベントプロシージャは創意・工夫だ"が導かれる
6. 推論3と推論5から、仮説が否定される

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