あのトルコ政府は遣る瀬無くない
fact1: 仮に「判別し難い」ものがあるとすればその千九百九十九年時点は遣る瀬無いし更にそれは発現し易い fact2: 「指名する」ものはある fact3: あのトルコ政府は十等分するとすれば「その千九百九十九年時点は遣る瀬無い」ということは成り立つ fact4: 仮に「その千九百九十九年時点は発現し易いし指名する」ということは本当でないとすればあのトルコ政府は遣る瀬無くない fact5: もし仮にその千九百九十九年時点が十等分するとするとあのトルコ政府は押し付けがましい fact6: 押し付けがましい物は遣る瀬無い fact7: もしもあのトルコ政府が発現し易いならその千九百九十九年時点は押し付けがましい fact8: 発現し易いものは十等分する fact9: もし仮に「指名する」ものがあるとすればその千九百九十九年時点は発現し易いしまた判別し難い
fact2 & fact9 -> int1: その千九百九十九年時点は発現し易くて判別し難い; int1 -> int2: その千九百九十九年時点は発現し易い; fact8 -> int3: 仮にその千九百九十九年時点が発現し易いとすれば十等分する; int2 & int3 -> int4: 「その千九百九十九年時点は十等分する」ということは確かだ; int4 & fact5 -> int5: あのトルコ政府は押し付けがましい; fact6 -> int6: 「あのトルコ政府は押し付けがましい」ということは本当ならばそれは遣る瀬無い; int5 & int6 -> hypothesis;
あのトルコ政府は遣る瀬無くない
$facts$ = fact1: 仮に「判別し難い」ものがあるとすればその千九百九十九年時点は遣る瀬無いし更にそれは発現し易い fact2: 「指名する」ものはある fact3: あのトルコ政府は十等分するとすれば「その千九百九十九年時点は遣る瀬無い」ということは成り立つ fact4: 仮に「その千九百九十九年時点は発現し易いし指名する」ということは本当でないとすればあのトルコ政府は遣る瀬無くない fact5: もし仮にその千九百九十九年時点が十等分するとするとあのトルコ政府は押し付けがましい fact6: 押し付けがましい物は遣る瀬無い fact7: もしもあのトルコ政府が発現し易いならその千九百九十九年時点は押し付けがましい fact8: 発現し易いものは十等分する fact9: もし仮に「指名する」ものがあるとすればその千九百九十九年時点は発現し易いしまた判別し難い ; $hypothesis$ = あのトルコ政府は遣る瀬無くない ; $proof$ = 
fact2 & fact9 -> int1: その千九百九十九年時点は発現し易くて判別し難い; int1 -> int2: その千九百九十九年時点は発現し易い; fact8 -> int3: 仮にその千九百九十九年時点が発現し易いとすれば十等分する; int2 & int3 -> int4: 「その千九百九十九年時点は十等分する」ということは確かだ; int4 & fact5 -> int5: あのトルコ政府は押し付けがましい; fact6 -> int6: 「あのトルコ政府は押し付けがましい」ということは本当ならばそれは遣る瀬無い; int5 & int6 -> hypothesis; __DISPROVED__
事実1: 仮に「判別し難い」ものがあるとすればその千九百九十九年時点は遣る瀬無いし更にそれは発現し易い
事実2: 「指名する」ものはある
事実3: あのトルコ政府は十等分するとすれば「その千九百九十九年時点は遣る瀬無い」ということは成り立つ
事実4: 仮に「その千九百九十九年時点は発現し易いし指名する」ということは本当でないとすればあのトルコ政府は遣る瀬無くない
事実5: もし仮にその千九百九十九年時点が十等分するとするとあのトルコ政府は押し付けがましい
事実6: 押し付けがましい物は遣る瀬無い
事実7: もしもあのトルコ政府が発現し易いならその千九百九十九年時点は押し付けがましい
事実8: 発現し易いものは十等分する
事実9: もし仮に「指名する」ものがあるとすればその千九百九十九年時点は発現し易いしまた判別し難い

仮説: あのトルコ政府は遣る瀬無くない
1. 事実2と事実9から、推論1: "その千九百九十九年時点は発現し易くて判別し難い"が導かれる
2. 推論1から、推論2: "その千九百九十九年時点は発現し易い"が導かれる
3. 事実8から、推論3: "仮にその千九百九十九年時点が発現し易いとすれば十等分する"が導かれる
4. 推論2と推論3から、推論4: "「その千九百九十九年時点は十等分する」ということは確かだ"が導かれる
5. 推論4と事実5から、推論5: "あのトルコ政府は押し付けがましい"が導かれる
6. 事実6から、推論6: "「あのトルコ政府は押し付けがましい」ということは本当ならばそれは遣る瀬無い"が導かれる
7. 推論5と推論6から、仮説が否定される

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