「そのＥＳＳ‐ＩＤは遊び人達だということはない」ということは成り立つ
fact1: もし仮に「連想し易い」ものがあればあの市民病院は寺領だ fact2: あの骨密度は御安くないかあるいは連想し易いということはないかもしくはどちらもであるとすればそれは連想し易くない fact3: もしもあの市民病院が寺領だとしたらあの兄上は寺領でない fact4: 仮にそのＥＳＳ‐ＩＤが寄せるとしたらあの兄上は姦しい fact5: もしも「なんらかのものは寄せないけどそれは遊び人達だ」ということは真実でないならば「それは遊び人達でない」ということは本当だ fact6: もしも「あの市民病院は寺領であるしそれに遊び人達だ」ということは成り立つとすればあの兄上は姦しくない fact7: 姦しいものは寺領だ fact8: もし何らかのものが寄せないとするとそれは遊び人達である fact9: 「連想し易い」ものはある
void -> assump1: 以下のように仮定する。そのＥＳＳ‐ＩＤは寄せる; fact4 & assump1 -> int1: あの兄上は姦しい; fact7 -> int2: もしあの兄上が姦しいとすると寺領である; int1 & int2 -> int3: あの兄上は寺領である; fact9 & fact1 -> int4: あの市民病院は寺領だ; int4 & fact3 -> int5: あの兄上は寺領でない; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: そのＥＳＳ‐ＩＤは寄せない; fact8 -> int8: もしもそのＥＳＳ‐ＩＤが寄せるということはないとすれば遊び人達だ; int7 & int8 -> hypothesis;
そのＥＳＳ‐ＩＤは遊び人達でない
fact10 -> int9: もしも「そのＥＳＳ‐ＩＤは寄せない一方で遊び人達だ」ということは成り立たないならばそれは遊び人達でない;
$facts$ = fact1: もし仮に「連想し易い」ものがあればあの市民病院は寺領だ fact2: あの骨密度は御安くないかあるいは連想し易いということはないかもしくはどちらもであるとすればそれは連想し易くない fact3: もしもあの市民病院が寺領だとしたらあの兄上は寺領でない fact4: 仮にそのＥＳＳ‐ＩＤが寄せるとしたらあの兄上は姦しい fact5: もしも「なんらかのものは寄せないけどそれは遊び人達だ」ということは真実でないならば「それは遊び人達でない」ということは本当だ fact6: もしも「あの市民病院は寺領であるしそれに遊び人達だ」ということは成り立つとすればあの兄上は姦しくない fact7: 姦しいものは寺領だ fact8: もし何らかのものが寄せないとするとそれは遊び人達である fact9: 「連想し易い」ものはある ; $hypothesis$ = 「そのＥＳＳ‐ＩＤは遊び人達だということはない」ということは成り立つ ; $proof$ = 
void -> assump1: 以下のように仮定する。そのＥＳＳ‐ＩＤは寄せる; fact4 & assump1 -> int1: あの兄上は姦しい; fact7 -> int2: もしあの兄上が姦しいとすると寺領である; int1 & int2 -> int3: あの兄上は寺領である; fact9 & fact1 -> int4: あの市民病院は寺領だ; int4 & fact3 -> int5: あの兄上は寺領でない; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: そのＥＳＳ‐ＩＤは寄せない; fact8 -> int8: もしもそのＥＳＳ‐ＩＤが寄せるということはないとすれば遊び人達だ; int7 & int8 -> hypothesis; __DISPROVED__
事実1: もし仮に「連想し易い」ものがあればあの市民病院は寺領だ
事実2: あの骨密度は御安くないかあるいは連想し易いということはないかもしくはどちらもであるとすればそれは連想し易くない
事実3: もしもあの市民病院が寺領だとしたらあの兄上は寺領でない
事実4: 仮にそのＥＳＳ‐ＩＤが寄せるとしたらあの兄上は姦しい
事実5: もしも「なんらかのものは寄せないけどそれは遊び人達だ」ということは真実でないならば「それは遊び人達でない」ということは本当だ
事実6: もしも「あの市民病院は寺領であるしそれに遊び人達だ」ということは成り立つとすればあの兄上は姦しくない
事実7: 姦しいものは寺領だ
事実8: もし何らかのものが寄せないとするとそれは遊び人達である
事実9: 「連想し易い」ものはある

仮説: 「そのＥＳＳ‐ＩＤは遊び人達だということはない」ということは成り立つ
1. 仮定1: 以下のように仮定する。そのＥＳＳ‐ＩＤは寄せる
2. 事実4と仮定1から、推論1: "あの兄上は姦しい"が導かれる
3. 事実7から、推論2: "もしあの兄上が姦しいとすると寺領である"が導かれる
4. 推論1と推論2から、推論3: "あの兄上は寺領である"が導かれる
5. 事実9と事実1から、推論4: "あの市民病院は寺領だ"が導かれる
6. 推論4と事実3から、推論5: "あの兄上は寺領でない"が導かれる
7. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "そのＥＳＳ‐ＩＤは寄せない"が導かれる
9. 事実8から、推論8: "もしもそのＥＳＳ‐ＩＤが寄せるということはないとすれば遊び人達だ"が導かれる
10. 推論7と推論8から、仮説が否定される

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