「この散歩がてらは呼び出し側でないか例示するかもしくは両方ともだ」ということは間違っている
fact1: 「悪しい」ものはある fact2: もし仮にその刺客集団が人間臭いとするとむさくるしいが懲戒委員会でない fact3: もしもその刺客集団はテトラペプチドであるということはないとすれば「それは貯水池であるしそれは気恥ずかしくない」ということは成り立たない fact4: 仮にその刺客集団はテトラペプチドでないなら「それは貯水池でないしそれは気恥ずかしい」ということは偽だ fact5: もしあるものがテトラペプチドだということはないとすれば運行供用者責任でないか広いか両方ともである fact6: 仮に「悪しい」物はあるとすると「その刺客集団は出足でない」ということは成り立つ fact7: もし仮に「その刺客集団は貯水池でなくてそれに気恥ずかしくない」ということは偽ならこの散歩がてらは例示する fact8: その刺客集団はテトラペプチドでない fact9: 「その刺客集団は貯水池だけれど気恥ずかしくない」ということは成り立たない fact10: むさくるしくないものはテトラペプチドであるしさらに由々し fact11: その刺客集団がむさくるしいが懲戒委員会でないとしたらこの散歩がてらはむさくるしくない fact12: 「その刺客集団は貯水池でないがしかし気恥ずかしい」ということは誤りだ fact13: もしなにかはテトラペプチドであるなら「呼び出し側でないかまたは例示するか両方ともである」ということは偽である fact14: もしその刺客集団はテトラペプチドでないとしたら「それは貯水池でなくておまけに気恥ずかしくない」ということは成り立たない fact15: この散歩がてらは呼び出し側であるかそれは例示する fact16: その刺客集団は呼び出し側だ fact17: 人間臭くない物は由々しかもしくはむさくるしいかあるいは両方である fact18: もしもその刺客集団が出足でないとしたらこの散歩がてらは懲戒委員会である一方で人間臭くない fact19: 仮に「その刺客集団は呼び出し側でないしその上テトラペプチドでない」ということは誤っているとすればこの散歩がてらは気恥ずかしい
fact14 & fact8 -> int1: 「その刺客集団は貯水池でないし気恥ずかしくない」ということは間違いだ; int1 & fact7 -> int2: この散歩がてらは例示する; int2 -> hypothesis;
あの玄蕃殿は運行供用者責任だということはないか広いかまたはどちらもである
fact20 -> int3: 仮に「あの玄蕃殿はテトラペプチドだということはない」ということは本当であるなら運行供用者責任だということはないかまたはそれは広い;
$facts$ = fact1: 「悪しい」ものはある fact2: もし仮にその刺客集団が人間臭いとするとむさくるしいが懲戒委員会でない fact3: もしもその刺客集団はテトラペプチドであるということはないとすれば「それは貯水池であるしそれは気恥ずかしくない」ということは成り立たない fact4: 仮にその刺客集団はテトラペプチドでないなら「それは貯水池でないしそれは気恥ずかしい」ということは偽だ fact5: もしあるものがテトラペプチドだということはないとすれば運行供用者責任でないか広いか両方ともである fact6: 仮に「悪しい」物はあるとすると「その刺客集団は出足でない」ということは成り立つ fact7: もし仮に「その刺客集団は貯水池でなくてそれに気恥ずかしくない」ということは偽ならこの散歩がてらは例示する fact8: その刺客集団はテトラペプチドでない fact9: 「その刺客集団は貯水池だけれど気恥ずかしくない」ということは成り立たない fact10: むさくるしくないものはテトラペプチドであるしさらに由々し fact11: その刺客集団がむさくるしいが懲戒委員会でないとしたらこの散歩がてらはむさくるしくない fact12: 「その刺客集団は貯水池でないがしかし気恥ずかしい」ということは誤りだ fact13: もしなにかはテトラペプチドであるなら「呼び出し側でないかまたは例示するか両方ともである」ということは偽である fact14: もしその刺客集団はテトラペプチドでないとしたら「それは貯水池でなくておまけに気恥ずかしくない」ということは成り立たない fact15: この散歩がてらは呼び出し側であるかそれは例示する fact16: その刺客集団は呼び出し側だ fact17: 人間臭くない物は由々しかもしくはむさくるしいかあるいは両方である fact18: もしもその刺客集団が出足でないとしたらこの散歩がてらは懲戒委員会である一方で人間臭くない fact19: 仮に「その刺客集団は呼び出し側でないしその上テトラペプチドでない」ということは誤っているとすればこの散歩がてらは気恥ずかしい ; $hypothesis$ = 「この散歩がてらは呼び出し側でないか例示するかもしくは両方ともだ」ということは間違っている ; $proof$ = 
fact14 & fact8 -> int1: 「その刺客集団は貯水池でないし気恥ずかしくない」ということは間違いだ; int1 & fact7 -> int2: この散歩がてらは例示する; int2 -> hypothesis; __DISPROVED__
事実1: 「悪しい」ものはある
事実2: もし仮にその刺客集団が人間臭いとするとむさくるしいが懲戒委員会でない
事実3: もしもその刺客集団はテトラペプチドであるということはないとすれば「それは貯水池であるしそれは気恥ずかしくない」ということは成り立たない
事実4: 仮にその刺客集団はテトラペプチドでないなら「それは貯水池でないしそれは気恥ずかしい」ということは偽だ
事実5: もしあるものがテトラペプチドだということはないとすれば運行供用者責任でないか広いか両方ともである
事実6: 仮に「悪しい」物はあるとすると「その刺客集団は出足でない」ということは成り立つ
事実7: もし仮に「その刺客集団は貯水池でなくてそれに気恥ずかしくない」ということは偽ならこの散歩がてらは例示する
事実8: その刺客集団はテトラペプチドでない
事実9: 「その刺客集団は貯水池だけれど気恥ずかしくない」ということは成り立たない
事実10: むさくるしくないものはテトラペプチドであるしさらに由々し
事実11: その刺客集団がむさくるしいが懲戒委員会でないとしたらこの散歩がてらはむさくるしくない
事実12: 「その刺客集団は貯水池でないがしかし気恥ずかしい」ということは誤りだ
事実13: もしなにかはテトラペプチドであるなら「呼び出し側でないかまたは例示するか両方ともである」ということは偽である
事実14: もしその刺客集団はテトラペプチドでないとしたら「それは貯水池でなくておまけに気恥ずかしくない」ということは成り立たない
事実15: この散歩がてらは呼び出し側であるかそれは例示する
事実16: その刺客集団は呼び出し側だ
事実17: 人間臭くない物は由々しかもしくはむさくるしいかあるいは両方である
事実18: もしもその刺客集団が出足でないとしたらこの散歩がてらは懲戒委員会である一方で人間臭くない
事実19: 仮に「その刺客集団は呼び出し側でないしその上テトラペプチドでない」ということは誤っているとすればこの散歩がてらは気恥ずかしい

仮説: 「この散歩がてらは呼び出し側でないか例示するかもしくは両方ともだ」ということは間違っている
1. 事実14と事実8から、推論1: "「その刺客集団は貯水池でないし気恥ずかしくない」ということは間違いだ"が導かれる
2. 推論1と事実7から、推論2: "この散歩がてらは例示する"が導かれる
3. 推論2から、仮説が否定される

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