あの疲労感は再任拒否であるということはないしその上見掛けでない
fact1: 仮に「何かは意義深くないけど虐殺だ」ということは嘘だとすれば「虐殺でない」ということは真実だ fact2: 仮にあの応募資格が大当たりするならあの孫弟子達は再任拒否である fact3: 仮にあの孫弟子達は再任拒否であるならば「あの疲労感は再任拒否でなくてその上それは見掛けでない」ということは成り立たない fact4: 仮に何かは虐殺であるということはないとしたらそれはオプショナルツアーだけれど本論部でない fact5: 仮にあの応募資格は清々しいとすれば「それは意義深くなくてかつ虐殺だ」ということは間違っている fact6: あの応募資格は大当たりする fact7: もしもあの疲労感は再任拒否であるとしたら「あの孫弟子達は再任拒否であるが見掛けだということはない」ということは成り立たない fact8: その財力は大当たりする fact9: 仮になにかは大当たりするとしたらそれは再任拒否でなくてその上見掛けでない
fact2 & fact6 -> int1: あの孫弟子達は再任拒否である; int1 & fact3 -> hypothesis;
あの疲労感は再任拒否だということはなくてそれは見掛けでない
fact11 -> int2: もしあの疲労感が大当たりするとしたら再任拒否でないしさらに見掛けでない; fact13 -> int3: もしあの応募資格は虐殺でないとするとオプショナルツアーであるが本論部でない; fact12 -> int4: もしも「あの応募資格は意義深くない虐殺だ」ということは成り立たないならば「虐殺でない」ということは事実である;
$facts$ = fact1: 仮に「何かは意義深くないけど虐殺だ」ということは嘘だとすれば「虐殺でない」ということは真実だ fact2: 仮にあの応募資格が大当たりするならあの孫弟子達は再任拒否である fact3: 仮にあの孫弟子達は再任拒否であるならば「あの疲労感は再任拒否でなくてその上それは見掛けでない」ということは成り立たない fact4: 仮に何かは虐殺であるということはないとしたらそれはオプショナルツアーだけれど本論部でない fact5: 仮にあの応募資格は清々しいとすれば「それは意義深くなくてかつ虐殺だ」ということは間違っている fact6: あの応募資格は大当たりする fact7: もしもあの疲労感は再任拒否であるとしたら「あの孫弟子達は再任拒否であるが見掛けだということはない」ということは成り立たない fact8: その財力は大当たりする fact9: 仮になにかは大当たりするとしたらそれは再任拒否でなくてその上見掛けでない ; $hypothesis$ = あの疲労感は再任拒否であるということはないしその上見掛けでない ; $proof$ = 
fact2 & fact6 -> int1: あの孫弟子達は再任拒否である; int1 & fact3 -> hypothesis; __DISPROVED__
事実1: 仮に「何かは意義深くないけど虐殺だ」ということは嘘だとすれば「虐殺でない」ということは真実だ
事実2: 仮にあの応募資格が大当たりするならあの孫弟子達は再任拒否である
事実3: 仮にあの孫弟子達は再任拒否であるならば「あの疲労感は再任拒否でなくてその上それは見掛けでない」ということは成り立たない
事実4: 仮に何かは虐殺であるということはないとしたらそれはオプショナルツアーだけれど本論部でない
事実5: 仮にあの応募資格は清々しいとすれば「それは意義深くなくてかつ虐殺だ」ということは間違っている
事実6: あの応募資格は大当たりする
事実7: もしもあの疲労感は再任拒否であるとしたら「あの孫弟子達は再任拒否であるが見掛けだということはない」ということは成り立たない
事実8: その財力は大当たりする
事実9: 仮になにかは大当たりするとしたらそれは再任拒否でなくてその上見掛けでない

仮説: あの疲労感は再任拒否であるということはないしその上見掛けでない
1. 事実2と事実6から、推論1: "あの孫弟子達は再任拒否である"が導かれる
2. 推論1と事実3から、仮説が否定される

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