あの旧器は水臭い
fact1: 仮になんらかの物が協和銀行であるならば記念行事でないかもしくはそれは含めないかあるいはどちらもだ fact2: 「もしある物が御悪くないならばその承認はＤＮＡ分析だ」ということは成り立つ fact3: 仮に「六日町である」物はあるとすれば「あの長期固定金利は六日町でないしまたそれは御しない」ということは成り立つということはない fact4: もし仮になにがしかのものは協和銀行だとすると「それは水臭くなくて更にそれは記念行事だ」ということは間違っている fact5: 仮に「あの旧器は記念行事だが含めない」ということは嘘ならばそれは六日町だ fact6: あの長期固定金利は痛々しくない fact7: もし「その承認は協和銀行だということはない」ということは事実ならそれは水臭くない fact8: その理工学部はＤＮＡ分析であるということはない fact9: もし何かは記念行事でないなら水臭くない fact10: もしその承認は協和銀行でないとすれば「その理工学部は協和銀行でないしさらにそれはＤＮＡ分析でない」ということは成り立たない fact11: あの長期固定金利は御悪い fact12: 仮に「あの旧器は記念行事である」ということは成り立つとすると含める fact13: もし「「怖いしさらに御悪い」ということは嘘な」ものがあるとしたらその理工学部は御悪くない fact14: あの長期固定金利は御悪いとすると「その理工学部は痛々しくない一方で協和銀行である」ということは嘘だ fact15: もし仮に「なにがしかのものは痛々しいということはないけど協和銀行だ」ということは偽であるならばそれは協和銀行でない fact16: もし「「記念行事でない」ということは成り立つ」ものはあるなら「あの旧器は記念行事だが含めない」ということは成り立つということはない fact17: 「あの長期固定金利は痛々しくないならば「あの長期固定金利は怖いしさらにそれは御悪い」ということは成り立つということはない」ということは成り立つ fact18: もし仮に「あの旧器は含める」ということは事実であるとしたらその承認は協和銀行でない
void -> assump1: 以下のように仮定する。あの旧器は記念行事である; fact12 & assump1 -> int1: あの旧器は含める; int1 & fact18 -> int2: その承認は協和銀行でない; int2 & fact10 -> int3: 「その理工学部は協和銀行だということはないしさらにＤＮＡ分析でない」ということは成り立たない; fact15 -> int4: もしも「その理工学部は痛々しくないけどそれは協和銀行である」ということは事実と異なるならそれは協和銀行であるということはない; fact11 & fact14 -> int5: 「その理工学部は痛々しくない一方で協和銀行である」ということは偽である; int4 & int5 -> int6: その理工学部は協和銀行であるということはない; fact8 & int6 -> int7: その理工学部は協和銀行でなくてそれはＤＮＡ分析であるということはない; int3 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: あの旧器は記念行事だということはない; fact9 -> int10: もしもあの旧器は記念行事でないならそれは水臭くない; int9 & int10 -> hypothesis;
あの旧器は水臭い
fact22 -> int11: もしその承認は協和銀行であるならばそれは記念行事でないかあるいは含めないかもしくは両方だ; fact21 & fact19 -> int12: 「「あの長期固定金利は怖いしおまけに御悪い」ということは成り立たない」ということは確かだ; int12 -> int13: 「「怖いし御悪い」ということは成り立たない」物はある; int13 & fact20 -> int14: その理工学部は御悪くない; int14 -> int15: 「御悪いということはない」ものはある; int15 & fact23 -> int16: その承認はＤＮＡ分析である;
$facts$ = fact1: 仮になんらかの物が協和銀行であるならば記念行事でないかもしくはそれは含めないかあるいはどちらもだ fact2: 「もしある物が御悪くないならばその承認はＤＮＡ分析だ」ということは成り立つ fact3: 仮に「六日町である」物はあるとすれば「あの長期固定金利は六日町でないしまたそれは御しない」ということは成り立つということはない fact4: もし仮になにがしかのものは協和銀行だとすると「それは水臭くなくて更にそれは記念行事だ」ということは間違っている fact5: 仮に「あの旧器は記念行事だが含めない」ということは嘘ならばそれは六日町だ fact6: あの長期固定金利は痛々しくない fact7: もし「その承認は協和銀行だということはない」ということは事実ならそれは水臭くない fact8: その理工学部はＤＮＡ分析であるということはない fact9: もし何かは記念行事でないなら水臭くない fact10: もしその承認は協和銀行でないとすれば「その理工学部は協和銀行でないしさらにそれはＤＮＡ分析でない」ということは成り立たない fact11: あの長期固定金利は御悪い fact12: 仮に「あの旧器は記念行事である」ということは成り立つとすると含める fact13: もし「「怖いしさらに御悪い」ということは嘘な」ものがあるとしたらその理工学部は御悪くない fact14: あの長期固定金利は御悪いとすると「その理工学部は痛々しくない一方で協和銀行である」ということは嘘だ fact15: もし仮に「なにがしかのものは痛々しいということはないけど協和銀行だ」ということは偽であるならばそれは協和銀行でない fact16: もし「「記念行事でない」ということは成り立つ」ものはあるなら「あの旧器は記念行事だが含めない」ということは成り立つということはない fact17: 「あの長期固定金利は痛々しくないならば「あの長期固定金利は怖いしさらにそれは御悪い」ということは成り立つということはない」ということは成り立つ fact18: もし仮に「あの旧器は含める」ということは事実であるとしたらその承認は協和銀行でない ; $hypothesis$ = あの旧器は水臭い ; $proof$ = 
void -> assump1: 以下のように仮定する。あの旧器は記念行事である; fact12 & assump1 -> int1: あの旧器は含める; int1 & fact18 -> int2: その承認は協和銀行でない; int2 & fact10 -> int3: 「その理工学部は協和銀行だということはないしさらにＤＮＡ分析でない」ということは成り立たない; fact15 -> int4: もしも「その理工学部は痛々しくないけどそれは協和銀行である」ということは事実と異なるならそれは協和銀行であるということはない; fact11 & fact14 -> int5: 「その理工学部は痛々しくない一方で協和銀行である」ということは偽である; int4 & int5 -> int6: その理工学部は協和銀行であるということはない; fact8 & int6 -> int7: その理工学部は協和銀行でなくてそれはＤＮＡ分析であるということはない; int3 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: あの旧器は記念行事だということはない; fact9 -> int10: もしもあの旧器は記念行事でないならそれは水臭くない; int9 & int10 -> hypothesis; __DISPROVED__
事実1: 仮になんらかの物が協和銀行であるならば記念行事でないかもしくはそれは含めないかあるいはどちらもだ
事実2: 「もしある物が御悪くないならばその承認はＤＮＡ分析だ」ということは成り立つ
事実3: 仮に「六日町である」物はあるとすれば「あの長期固定金利は六日町でないしまたそれは御しない」ということは成り立つということはない
事実4: もし仮になにがしかのものは協和銀行だとすると「それは水臭くなくて更にそれは記念行事だ」ということは間違っている
事実5: 仮に「あの旧器は記念行事だが含めない」ということは嘘ならばそれは六日町だ
事実6: あの長期固定金利は痛々しくない
事実7: もし「その承認は協和銀行だということはない」ということは事実ならそれは水臭くない
事実8: その理工学部はＤＮＡ分析であるということはない
事実9: もし何かは記念行事でないなら水臭くない
事実10: もしその承認は協和銀行でないとすれば「その理工学部は協和銀行でないしさらにそれはＤＮＡ分析でない」ということは成り立たない
事実11: あの長期固定金利は御悪い
事実12: 仮に「あの旧器は記念行事である」ということは成り立つとすると含める
事実13: もし「「怖いしさらに御悪い」ということは嘘な」ものがあるとしたらその理工学部は御悪くない
事実14: あの長期固定金利は御悪いとすると「その理工学部は痛々しくない一方で協和銀行である」ということは嘘だ
事実15: もし仮に「なにがしかのものは痛々しいということはないけど協和銀行だ」ということは偽であるならばそれは協和銀行でない
事実16: もし「「記念行事でない」ということは成り立つ」ものはあるなら「あの旧器は記念行事だが含めない」ということは成り立つということはない
事実17: 「あの長期固定金利は痛々しくないならば「あの長期固定金利は怖いしさらにそれは御悪い」ということは成り立つということはない」ということは成り立つ
事実18: もし仮に「あの旧器は含める」ということは事実であるとしたらその承認は協和銀行でない

仮説: あの旧器は水臭い
1. 仮定1: 以下のように仮定する。あの旧器は記念行事である
2. 事実12と仮定1から、推論1: "あの旧器は含める"が導かれる
3. 推論1と事実18から、推論2: "その承認は協和銀行でない"が導かれる
4. 推論2と事実10から、推論3: "「その理工学部は協和銀行だということはないしさらにＤＮＡ分析でない」ということは成り立たない"が導かれる
5. 事実15から、推論4: "もしも「その理工学部は痛々しくないけどそれは協和銀行である」ということは事実と異なるならそれは協和銀行であるということはない"が導かれる
6. 事実11と事実14から、推論5: "「その理工学部は痛々しくない一方で協和銀行である」ということは偽である"が導かれる
7. 推論4と推論5から、推論6: "その理工学部は協和銀行であるということはない"が導かれる
8. 事実8と推論6から、推論7: "その理工学部は協和銀行でなくてそれはＤＮＡ分析であるということはない"が導かれる
9. 推論3と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "あの旧器は記念行事だということはない"が導かれる
11. 事実9から、推論10: "もしもあの旧器は記念行事でないならそれは水臭くない"が導かれる
12. 推論9と推論10から、仮説が否定される

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