この神祭は際限無くない
fact1: あのジャックは百日以上だ fact2: もしもあのジャックが際限無いならばあの神祭は百日以上だ fact3: この神祭は長し fact4: もしあのジャックは百日以上であるならば盟主だ fact5: 尊くないものは誘発し易くないけど相談し易い fact6: あの歯周ポケットが誘発し易くないけれど相談し易いとするとあのジャックは誘発し易くない fact7: もしもあのジャックが盟主だとしたらこの神祭は際限無い fact8: この神祭は百日以上である fact9: この神祭は盟主だ fact10: もしもなんらかの物が誘発し易くないなら百日以上でないかあるいはそれは盟主でないか両方である fact11: この神祭が盟主であるとしたらあのジャックは際限無い
fact4 & fact1 -> int1: あのジャックは盟主である; int1 & fact7 -> hypothesis;
この神祭は際限無くない
fact13 -> int2: 仮に「あのジャックは誘発し易くない」ということは本当であるとしたらそれは百日以上でないかもしくは盟主であるということはないかもしくはどちらもだ; fact14 -> int3: 仮にあの歯周ポケットが尊いということはないとしたら誘発し易くないが相談し易い;
$facts$ = fact1: あのジャックは百日以上だ fact2: もしもあのジャックが際限無いならばあの神祭は百日以上だ fact3: この神祭は長し fact4: もしあのジャックは百日以上であるならば盟主だ fact5: 尊くないものは誘発し易くないけど相談し易い fact6: あの歯周ポケットが誘発し易くないけれど相談し易いとするとあのジャックは誘発し易くない fact7: もしもあのジャックが盟主だとしたらこの神祭は際限無い fact8: この神祭は百日以上である fact9: この神祭は盟主だ fact10: もしもなんらかの物が誘発し易くないなら百日以上でないかあるいはそれは盟主でないか両方である fact11: この神祭が盟主であるとしたらあのジャックは際限無い ; $hypothesis$ = この神祭は際限無くない ; $proof$ = 
fact4 & fact1 -> int1: あのジャックは盟主である; int1 & fact7 -> hypothesis; __DISPROVED__
事実1: あのジャックは百日以上だ
事実2: もしもあのジャックが際限無いならばあの神祭は百日以上だ
事実3: この神祭は長し
事実4: もしあのジャックは百日以上であるならば盟主だ
事実5: 尊くないものは誘発し易くないけど相談し易い
事実6: あの歯周ポケットが誘発し易くないけれど相談し易いとするとあのジャックは誘発し易くない
事実7: もしもあのジャックが盟主だとしたらこの神祭は際限無い
事実8: この神祭は百日以上である
事実9: この神祭は盟主だ
事実10: もしもなんらかの物が誘発し易くないなら百日以上でないかあるいはそれは盟主でないか両方である
事実11: この神祭が盟主であるとしたらあのジャックは際限無い

仮説: この神祭は際限無くない
1. 事実4と事実1から、推論1: "あのジャックは盟主である"が導かれる
2. 推論1と事実7から、仮説が否定される

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