あの連続体は計り知れるということはない
fact1: あの庭園文化は計り知れない fact2: 仮に「「その中国株式市場は御待ちしないし加工し易くない」ということは間違っている」ということは成り立つとするとあの異性関係は加工し易い fact3: もし「あの異性関係は線条体内でない」ということは正しいとすれば「あの連続体は計り知れない」ということは成り立つ fact4: もし仮にあの異性関係が連想し易いとすればあの連続体は計り知れる fact5: あの連続体は連想し易くない fact6: 仮にそのハウスキーピングが知恵しないならそれは執念深くて更に食い下がる fact7: 「汚れ易いということはないけれど話し込む」ものはある fact8: もしも何らかのものが汚れ易いということはない一方で話し込むとするとあの庭園文化は連想し易くない fact9: 仮にそのハウスキーピングは執念深いとしたら「その中国株式市場は御待ちしなくてしかも加工し易いということはない」ということは偽である fact10: もし「線条体内であるということはないが計り知れる」ものはあれば「あの異性関係は連想し易くない」ということは真実だ fact11: なんらかのものは連想し易いしおまけに線条体内である fact12: あの異性関係は計り知れない fact13: もしあるものが汚れ易いしおまけに話し込むとするとあの庭園文化は連想し易くない fact14: 「なにかは汚れ易いということはない」ということは成り立つ fact15: 「線条体内であるということはないしおまけに連想し易い」物はある fact16: あの庭園文化が連想し易いということはないとしたらあの異性関係は連想し易いかもしくは線条体内でない fact17: もしあの異性関係が連想し易いとするとあの連続体は計り知れない fact18: 加工し易いものは線条体内でない一方で連想し易い fact19: あの庭園文化が計り知れるならあの連続体は計り知れる fact20: もしあの庭園文化は線条体内であるなら「あの異性関係は連想し易くない」ということは本当である fact21: もしあの庭園文化が計り知れるならあの異性関係は連想し易くない fact22: もしあの異性関係が線条体内だということはない一方で連想し易いとしたらあの庭園文化は話し込まない
fact7 & fact8 -> int1: あの庭園文化は連想し易くない; int1 & fact16 -> int2: あの異性関係は連想し易いか線条体内でない; int2 & fact17 & fact3 -> hypothesis;
あの連続体は計り知れる
fact24 -> int3: もし「あの異性関係は加工し易い」ということは正しいならば線条体内でないし連想し易い;
$facts$ = fact1: あの庭園文化は計り知れない fact2: 仮に「「その中国株式市場は御待ちしないし加工し易くない」ということは間違っている」ということは成り立つとするとあの異性関係は加工し易い fact3: もし「あの異性関係は線条体内でない」ということは正しいとすれば「あの連続体は計り知れない」ということは成り立つ fact4: もし仮にあの異性関係が連想し易いとすればあの連続体は計り知れる fact5: あの連続体は連想し易くない fact6: 仮にそのハウスキーピングが知恵しないならそれは執念深くて更に食い下がる fact7: 「汚れ易いということはないけれど話し込む」ものはある fact8: もしも何らかのものが汚れ易いということはない一方で話し込むとするとあの庭園文化は連想し易くない fact9: 仮にそのハウスキーピングは執念深いとしたら「その中国株式市場は御待ちしなくてしかも加工し易いということはない」ということは偽である fact10: もし「線条体内であるということはないが計り知れる」ものはあれば「あの異性関係は連想し易くない」ということは真実だ fact11: なんらかのものは連想し易いしおまけに線条体内である fact12: あの異性関係は計り知れない fact13: もしあるものが汚れ易いしおまけに話し込むとするとあの庭園文化は連想し易くない fact14: 「なにかは汚れ易いということはない」ということは成り立つ fact15: 「線条体内であるということはないしおまけに連想し易い」物はある fact16: あの庭園文化が連想し易いということはないとしたらあの異性関係は連想し易いかもしくは線条体内でない fact17: もしあの異性関係が連想し易いとするとあの連続体は計り知れない fact18: 加工し易いものは線条体内でない一方で連想し易い fact19: あの庭園文化が計り知れるならあの連続体は計り知れる fact20: もしあの庭園文化は線条体内であるなら「あの異性関係は連想し易くない」ということは本当である fact21: もしあの庭園文化が計り知れるならあの異性関係は連想し易くない fact22: もしあの異性関係が線条体内だということはない一方で連想し易いとしたらあの庭園文化は話し込まない ; $hypothesis$ = あの連続体は計り知れるということはない ; $proof$ = 
fact7 & fact8 -> int1: あの庭園文化は連想し易くない; int1 & fact16 -> int2: あの異性関係は連想し易いか線条体内でない; int2 & fact17 & fact3 -> hypothesis; __PROVED__
事実1: あの庭園文化は計り知れない
事実2: 仮に「「その中国株式市場は御待ちしないし加工し易くない」ということは間違っている」ということは成り立つとするとあの異性関係は加工し易い
事実3: もし「あの異性関係は線条体内でない」ということは正しいとすれば「あの連続体は計り知れない」ということは成り立つ
事実4: もし仮にあの異性関係が連想し易いとすればあの連続体は計り知れる
事実5: あの連続体は連想し易くない
事実6: 仮にそのハウスキーピングが知恵しないならそれは執念深くて更に食い下がる
事実7: 「汚れ易いということはないけれど話し込む」ものはある
事実8: もしも何らかのものが汚れ易いということはない一方で話し込むとするとあの庭園文化は連想し易くない
事実9: 仮にそのハウスキーピングは執念深いとしたら「その中国株式市場は御待ちしなくてしかも加工し易いということはない」ということは偽である
事実10: もし「線条体内であるということはないが計り知れる」ものはあれば「あの異性関係は連想し易くない」ということは真実だ
事実11: なんらかのものは連想し易いしおまけに線条体内である
事実12: あの異性関係は計り知れない
事実13: もしあるものが汚れ易いしおまけに話し込むとするとあの庭園文化は連想し易くない
事実14: 「なにかは汚れ易いということはない」ということは成り立つ
事実15: 「線条体内であるということはないしおまけに連想し易い」物はある
事実16: あの庭園文化が連想し易いということはないとしたらあの異性関係は連想し易いかもしくは線条体内でない
事実17: もしあの異性関係が連想し易いとするとあの連続体は計り知れない
事実18: 加工し易いものは線条体内でない一方で連想し易い
事実19: あの庭園文化が計り知れるならあの連続体は計り知れる
事実20: もしあの庭園文化は線条体内であるなら「あの異性関係は連想し易くない」ということは本当である
事実21: もしあの庭園文化が計り知れるならあの異性関係は連想し易くない
事実22: もしあの異性関係が線条体内だということはない一方で連想し易いとしたらあの庭園文化は話し込まない

仮説: あの連続体は計り知れるということはない
1. 事実7と事実8から、推論1: "あの庭園文化は連想し易くない"が導かれる
2. 推論1と事実16から、推論2: "あの異性関係は連想し易いか線条体内でない"が導かれる
3. 推論2と事実17と事実3から、仮説が導かれる

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