このトルコ軍は語り明かす
fact1: 「このトルコ軍は出入りし易い一方でそれは食べ終えない」ということは成り立たない fact2: もし仮にこのトルコ軍が際限無いとしたらそれは語り明かさない fact3: 仮にこのトルコ軍は密室であるということはないとするとそれは怒りっぽくないし立て出すということはない fact4: このトルコ軍は出入りし易いが食べ終えないとするとそれは密室でない fact5: あの新聞報道は立て出す fact6: もし仮にあの酸化発酵が密室でないしかつ際限無いということはないとすればこのトルコ軍は密室だ fact7: 「このトルコ軍は出入りし易くないけどそれは食べ終える」ということは誤りである fact8: このトルコ軍は変え難くない fact9: もし仮に「このトルコ軍は出入りし易くないし更にそれは食べ終えない」ということは正しくないならば際限無い fact10: このトルコ軍は立て出す fact11: あの改名願いは際限無くない fact12: もしこのトルコ軍は密室でないとするとそれは怒りっぽくない fact13: もしもこのトルコ軍は出入りし易くないしさらに食べ終えないならばそれは密室でない
void -> assump1: 以下のように仮定する。このトルコ軍は出入りし易くないしそれに食べ終えない; fact13 & assump1 -> int1: このトルコ軍は密室でない; int1 & fact3 -> int2: このトルコ軍は怒りっぽくないし立て出さない; int2 -> int3: このトルコ軍は立て出すということはない; int3 & fact10 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「「このトルコ軍は出入りし易くないしかつそれは食べ終えるということはない」ということは成り立つ」ということは成り立つということはない; int5 & fact9 -> int6: このトルコ軍は際限無い; int6 & fact2 -> hypothesis;
この諸組織は語り明かす
$facts$ = fact1: 「このトルコ軍は出入りし易い一方でそれは食べ終えない」ということは成り立たない fact2: もし仮にこのトルコ軍が際限無いとしたらそれは語り明かさない fact3: 仮にこのトルコ軍は密室であるということはないとするとそれは怒りっぽくないし立て出すということはない fact4: このトルコ軍は出入りし易いが食べ終えないとするとそれは密室でない fact5: あの新聞報道は立て出す fact6: もし仮にあの酸化発酵が密室でないしかつ際限無いということはないとすればこのトルコ軍は密室だ fact7: 「このトルコ軍は出入りし易くないけどそれは食べ終える」ということは誤りである fact8: このトルコ軍は変え難くない fact9: もし仮に「このトルコ軍は出入りし易くないし更にそれは食べ終えない」ということは正しくないならば際限無い fact10: このトルコ軍は立て出す fact11: あの改名願いは際限無くない fact12: もしこのトルコ軍は密室でないとするとそれは怒りっぽくない fact13: もしもこのトルコ軍は出入りし易くないしさらに食べ終えないならばそれは密室でない ; $hypothesis$ = このトルコ軍は語り明かす ; $proof$ = 
void -> assump1: 以下のように仮定する。このトルコ軍は出入りし易くないしそれに食べ終えない; fact13 & assump1 -> int1: このトルコ軍は密室でない; int1 & fact3 -> int2: このトルコ軍は怒りっぽくないし立て出さない; int2 -> int3: このトルコ軍は立て出すということはない; int3 & fact10 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「「このトルコ軍は出入りし易くないしかつそれは食べ終えるということはない」ということは成り立つ」ということは成り立つということはない; int5 & fact9 -> int6: このトルコ軍は際限無い; int6 & fact2 -> hypothesis; __DISPROVED__
事実1: 「このトルコ軍は出入りし易い一方でそれは食べ終えない」ということは成り立たない
事実2: もし仮にこのトルコ軍が際限無いとしたらそれは語り明かさない
事実3: 仮にこのトルコ軍は密室であるということはないとするとそれは怒りっぽくないし立て出すということはない
事実4: このトルコ軍は出入りし易いが食べ終えないとするとそれは密室でない
事実5: あの新聞報道は立て出す
事実6: もし仮にあの酸化発酵が密室でないしかつ際限無いということはないとすればこのトルコ軍は密室だ
事実7: 「このトルコ軍は出入りし易くないけどそれは食べ終える」ということは誤りである
事実8: このトルコ軍は変え難くない
事実9: もし仮に「このトルコ軍は出入りし易くないし更にそれは食べ終えない」ということは正しくないならば際限無い
事実10: このトルコ軍は立て出す
事実11: あの改名願いは際限無くない
事実12: もしこのトルコ軍は密室でないとするとそれは怒りっぽくない
事実13: もしもこのトルコ軍は出入りし易くないしさらに食べ終えないならばそれは密室でない

仮説: このトルコ軍は語り明かす
1. 仮定1: 以下のように仮定する。このトルコ軍は出入りし易くないしそれに食べ終えない
2. 事実13と仮定1から、推論1: "このトルコ軍は密室でない"が導かれる
3. 推論1と事実3から、推論2: "このトルコ軍は怒りっぽくないし立て出さない"が導かれる
4. 推論2から、推論3: "このトルコ軍は立て出すということはない"が導かれる
5. 推論3と事実10から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「「このトルコ軍は出入りし易くないしかつそれは食べ終えるということはない」ということは成り立つ」ということは成り立つということはない"が導かれる
7. 推論5と事実9から、推論6: "このトルコ軍は際限無い"が導かれる
8. 推論6と事実2から、仮説が否定される

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