あの池田家は両替するということはない
fact1: 仮に国有銀行は竪穴住居でないとするとそれは両替しない fact2: もし「置き換える」ものがあるとするとこの辺り前は長子相続でない fact3: 「置き換える」物はある fact4: もし仮になにかは覚え難くないならそれは国有銀行だけれど竪穴住居でない fact5: 仮に「「平たいが覚え難くない」ということは成り立たない」ものがあるならこの駐在員は国有銀行だ fact6: もしもあの池田家がバース党政権でないとしたらこの茯苓は平たいが覚え難くない fact7: あの池田家はμＬでない fact8: あの池田家は竪穴住居だということはなくて加えて両替しない fact9: もしその欧州空間開発見通しＥＳＤＰはバース党政権でないとすれば「平たいけど覚え難くない」ということは成り立つということはない fact10: もし仮になんらかの物が長子相続でないとすれば押さえ付けるし安っぽい fact11: この保税地域は両替しない fact12: もしこの辺り前が甲飛だがバース党政権でないとしたらその欧州空間開発見通しＥＳＤＰはバース党政権でない fact13: あの三氏は両替しないし更にそれは生息出来ない fact14: あの池田家は面食らうということはない fact15: 「あの池田家は崩ぜない」ということは確かだ fact16: あの池田家は竪穴住居でない fact17: 安っぽいものは甲飛であるけれどバース党政権でない fact18: あの池田家は二千〜三千万円経営でない fact19: あの池田家は有機合成でなくてかつ措置命令でない fact20: このＣＥＲは竪穴住居でない
fact8 -> hypothesis;
fact8 -> hypothesis;
この茯苓は両替しない
fact21 -> int1: 仮にこの茯苓は国有銀行であるが竪穴住居でないとすれば両替しない; fact22 -> int2: この茯苓が覚え難くないとすれば国有銀行だ一方で竪穴住居でない;
$facts$ = fact1: 仮に国有銀行は竪穴住居でないとするとそれは両替しない fact2: もし「置き換える」ものがあるとするとこの辺り前は長子相続でない fact3: 「置き換える」物はある fact4: もし仮になにかは覚え難くないならそれは国有銀行だけれど竪穴住居でない fact5: 仮に「「平たいが覚え難くない」ということは成り立たない」ものがあるならこの駐在員は国有銀行だ fact6: もしもあの池田家がバース党政権でないとしたらこの茯苓は平たいが覚え難くない fact7: あの池田家はμＬでない fact8: あの池田家は竪穴住居だということはなくて加えて両替しない fact9: もしその欧州空間開発見通しＥＳＤＰはバース党政権でないとすれば「平たいけど覚え難くない」ということは成り立つということはない fact10: もし仮になんらかの物が長子相続でないとすれば押さえ付けるし安っぽい fact11: この保税地域は両替しない fact12: もしこの辺り前が甲飛だがバース党政権でないとしたらその欧州空間開発見通しＥＳＤＰはバース党政権でない fact13: あの三氏は両替しないし更にそれは生息出来ない fact14: あの池田家は面食らうということはない fact15: 「あの池田家は崩ぜない」ということは確かだ fact16: あの池田家は竪穴住居でない fact17: 安っぽいものは甲飛であるけれどバース党政権でない fact18: あの池田家は二千〜三千万円経営でない fact19: あの池田家は有機合成でなくてかつ措置命令でない fact20: このＣＥＲは竪穴住居でない ; $hypothesis$ = あの池田家は両替するということはない ; $proof$ = 
fact8 -> hypothesis; __PROVED__
事実1: 仮に国有銀行は竪穴住居でないとするとそれは両替しない
事実2: もし「置き換える」ものがあるとするとこの辺り前は長子相続でない
事実3: 「置き換える」物はある
事実4: もし仮になにかは覚え難くないならそれは国有銀行だけれど竪穴住居でない
事実5: 仮に「「平たいが覚え難くない」ということは成り立たない」ものがあるならこの駐在員は国有銀行だ
事実6: もしもあの池田家がバース党政権でないとしたらこの茯苓は平たいが覚え難くない
事実7: あの池田家はμＬでない
事実8: あの池田家は竪穴住居だということはなくて加えて両替しない
事実9: もしその欧州空間開発見通しＥＳＤＰはバース党政権でないとすれば「平たいけど覚え難くない」ということは成り立つということはない
事実10: もし仮になんらかの物が長子相続でないとすれば押さえ付けるし安っぽい
事実11: この保税地域は両替しない
事実12: もしこの辺り前が甲飛だがバース党政権でないとしたらその欧州空間開発見通しＥＳＤＰはバース党政権でない
事実13: あの三氏は両替しないし更にそれは生息出来ない
事実14: あの池田家は面食らうということはない
事実15: 「あの池田家は崩ぜない」ということは確かだ
事実16: あの池田家は竪穴住居でない
事実17: 安っぽいものは甲飛であるけれどバース党政権でない
事実18: あの池田家は二千〜三千万円経営でない
事実19: あの池田家は有機合成でなくてかつ措置命令でない
事実20: このＣＥＲは竪穴住居でない

仮説: あの池田家は両替するということはない
1. 事実8から、仮説が導かれる

よって、仮説が証明されました。