その奴隷制は紅茶専門店だ
fact1: 「もし仮にその三千万円程度が鬻ぐとしたらその三千万円程度はビッグ・スカートだ」ということは成り立つ fact2: もし仮にその三千万円程度が大差無いとするとその奴隷制はビッグ・スカートである fact3: 仮に幼けない物が状況変化ならば断定し難いということはない fact4: 「その三千万円程度は口汚くなくて加えて寂しかない」ということは偽である fact5: もしその三千万円程度が秋風であるとしたらその奴隷制はビッグ・スカートである fact6: あの第一目的は状況変化である fact7: その奴隷制は状況変化だ fact8: もしも「その奴隷制はビッグ・スカートだ」ということは成り立つなら口汚い fact9: 「あの第一目的は澄み切るしそれは紅茶専門店だ」ということは成り立たないとすればあの奴隷制は紅茶専門店でない fact10: その三千万円程度は幼けない fact11: あの第一目的が澄み切るとしたらそれは幼けないということはない一方で状況変化だ fact12: 「あの第一目的は断定し難いということはない」ということは成り立つ fact13: 仮にあの第一目的が澄み切るとすると状況変化だ fact14: 「その三千万円程度は射止める」ということは成り立つ fact15: その奴隷制が断定し難いならば口汚くなくてその上幼けない fact16: もしもあるものは澄み切るとしたら「それはバトル警視だ」ということは確かである fact17: もし仮に「その奴隷制は口汚い」ということは正しいとすると紅茶専門店だ fact18: あの第一目的は断定し難くないけど澄み切る fact19: 仮にその三千万円程度はビッグ・スカートであるとすればそれは秋風である fact20: 大差無い物は幼けない fact21: その三千万円程度はグラデュエートでない一方でＭＩＤである fact22: 仮に何らかのものは高価過ぎない一方で秋風であるとすると状況変化だ fact23: もし「高価過ぎる」物があるとしたらその三千万円程度は秋風であるかまたはそれは大差無いかどちらもである fact24: もしその三千万円程度は状況変化だとすれば「あの第一目的は秋風だ」ということは成り立つ fact25: その三千万円程度は秋風であるかまたはそれは口汚い fact26: あの第一目的が幼けなくないがそれは状況変化であるならそれは高価過ぎる fact27: もし「その三千万円程度は口汚いということはないしおまけに寂しいということはない」ということは誤っているとしたら高価過ぎない fact28: 「澄み切る」ものはある
fact18 -> int1: あの第一目的は澄み切る; int1 & fact11 -> int2: あの第一目的は幼けなくないけれど状況変化だ; int2 & fact26 -> int3: あの第一目的は高価過ぎる; int3 -> int4: 「高価過ぎる」ものはある; int4 & fact23 -> int5: その三千万円程度は秋風であるか大差無い; int5 & fact5 & fact2 -> int6: その奴隷制はビッグ・スカートだ; int6 & fact8 -> int7: その奴隷制は口汚い; int7 & fact17 -> hypothesis;
その奴隷制は紅茶専門店でない
fact34 -> int8: その三千万円程度が幼けないしおまけに状況変化であるとすると断定し難くない; fact33 -> int9: 「その三千万円程度が大差無いとするとその三千万円程度は幼けない」ということは成り立つ; fact31 -> int10: もしもその三千万円程度は高価過ぎないが秋風であるとしたら「状況変化でない」ということは成り立たない; fact29 & fact30 -> int11: その三千万円程度は高価過ぎない;
$facts$ = fact1: 「もし仮にその三千万円程度が鬻ぐとしたらその三千万円程度はビッグ・スカートだ」ということは成り立つ fact2: もし仮にその三千万円程度が大差無いとするとその奴隷制はビッグ・スカートである fact3: 仮に幼けない物が状況変化ならば断定し難いということはない fact4: 「その三千万円程度は口汚くなくて加えて寂しかない」ということは偽である fact5: もしその三千万円程度が秋風であるとしたらその奴隷制はビッグ・スカートである fact6: あの第一目的は状況変化である fact7: その奴隷制は状況変化だ fact8: もしも「その奴隷制はビッグ・スカートだ」ということは成り立つなら口汚い fact9: 「あの第一目的は澄み切るしそれは紅茶専門店だ」ということは成り立たないとすればあの奴隷制は紅茶専門店でない fact10: その三千万円程度は幼けない fact11: あの第一目的が澄み切るとしたらそれは幼けないということはない一方で状況変化だ fact12: 「あの第一目的は断定し難いということはない」ということは成り立つ fact13: 仮にあの第一目的が澄み切るとすると状況変化だ fact14: 「その三千万円程度は射止める」ということは成り立つ fact15: その奴隷制が断定し難いならば口汚くなくてその上幼けない fact16: もしもあるものは澄み切るとしたら「それはバトル警視だ」ということは確かである fact17: もし仮に「その奴隷制は口汚い」ということは正しいとすると紅茶専門店だ fact18: あの第一目的は断定し難くないけど澄み切る fact19: 仮にその三千万円程度はビッグ・スカートであるとすればそれは秋風である fact20: 大差無い物は幼けない fact21: その三千万円程度はグラデュエートでない一方でＭＩＤである fact22: 仮に何らかのものは高価過ぎない一方で秋風であるとすると状況変化だ fact23: もし「高価過ぎる」物があるとしたらその三千万円程度は秋風であるかまたはそれは大差無いかどちらもである fact24: もしその三千万円程度は状況変化だとすれば「あの第一目的は秋風だ」ということは成り立つ fact25: その三千万円程度は秋風であるかまたはそれは口汚い fact26: あの第一目的が幼けなくないがそれは状況変化であるならそれは高価過ぎる fact27: もし「その三千万円程度は口汚いということはないしおまけに寂しいということはない」ということは誤っているとしたら高価過ぎない fact28: 「澄み切る」ものはある ; $hypothesis$ = その奴隷制は紅茶専門店だ ; $proof$ = 
fact18 -> int1: あの第一目的は澄み切る; int1 & fact11 -> int2: あの第一目的は幼けなくないけれど状況変化だ; int2 & fact26 -> int3: あの第一目的は高価過ぎる; int3 -> int4: 「高価過ぎる」ものはある; int4 & fact23 -> int5: その三千万円程度は秋風であるか大差無い; int5 & fact5 & fact2 -> int6: その奴隷制はビッグ・スカートだ; int6 & fact8 -> int7: その奴隷制は口汚い; int7 & fact17 -> hypothesis; __PROVED__
事実1: 「もし仮にその三千万円程度が鬻ぐとしたらその三千万円程度はビッグ・スカートだ」ということは成り立つ
事実2: もし仮にその三千万円程度が大差無いとするとその奴隷制はビッグ・スカートである
事実3: 仮に幼けない物が状況変化ならば断定し難いということはない
事実4: 「その三千万円程度は口汚くなくて加えて寂しかない」ということは偽である
事実5: もしその三千万円程度が秋風であるとしたらその奴隷制はビッグ・スカートである
事実6: あの第一目的は状況変化である
事実7: その奴隷制は状況変化だ
事実8: もしも「その奴隷制はビッグ・スカートだ」ということは成り立つなら口汚い
事実9: 「あの第一目的は澄み切るしそれは紅茶専門店だ」ということは成り立たないとすればあの奴隷制は紅茶専門店でない
事実10: その三千万円程度は幼けない
事実11: あの第一目的が澄み切るとしたらそれは幼けないということはない一方で状況変化だ
事実12: 「あの第一目的は断定し難いということはない」ということは成り立つ
事実13: 仮にあの第一目的が澄み切るとすると状況変化だ
事実14: 「その三千万円程度は射止める」ということは成り立つ
事実15: その奴隷制が断定し難いならば口汚くなくてその上幼けない
事実16: もしもあるものは澄み切るとしたら「それはバトル警視だ」ということは確かである
事実17: もし仮に「その奴隷制は口汚い」ということは正しいとすると紅茶専門店だ
事実18: あの第一目的は断定し難くないけど澄み切る
事実19: 仮にその三千万円程度はビッグ・スカートであるとすればそれは秋風である
事実20: 大差無い物は幼けない
事実21: その三千万円程度はグラデュエートでない一方でＭＩＤである
事実22: 仮に何らかのものは高価過ぎない一方で秋風であるとすると状況変化だ
事実23: もし「高価過ぎる」物があるとしたらその三千万円程度は秋風であるかまたはそれは大差無いかどちらもである
事実24: もしその三千万円程度は状況変化だとすれば「あの第一目的は秋風だ」ということは成り立つ
事実25: その三千万円程度は秋風であるかまたはそれは口汚い
事実26: あの第一目的が幼けなくないがそれは状況変化であるならそれは高価過ぎる
事実27: もし「その三千万円程度は口汚いということはないしおまけに寂しいということはない」ということは誤っているとしたら高価過ぎない
事実28: 「澄み切る」ものはある

仮説: その奴隷制は紅茶専門店だ
1. 事実18から、推論1: "あの第一目的は澄み切る"が導かれる
2. 推論1と事実11から、推論2: "あの第一目的は幼けなくないけれど状況変化だ"が導かれる
3. 推論2と事実26から、推論3: "あの第一目的は高価過ぎる"が導かれる
4. 推論3から、推論4: "「高価過ぎる」ものはある"が導かれる
5. 推論4と事実23から、推論5: "その三千万円程度は秋風であるか大差無い"が導かれる
6. 推論5と事実5と事実2から、推論6: "その奴隷制はビッグ・スカートだ"が導かれる
7. 推論6と事実8から、推論7: "その奴隷制は口汚い"が導かれる
8. 推論7と事実17から、仮説が導かれる

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