この不可分性は大きいか調べ易い
fact1: もしもなんらかの物は生み難くないならば「出港しないし秘さない」ということは成り立たない fact2: このページ表示時はＮＭＲであるかもしくは大きいか両方ともだ fact3: もしも「そのダラードは出港しなくて秘さない」ということは間違いであるとするとこの不可分性は出港しない fact4: このジョンシクが奥床しくないしさらに袖廊でないならばそのダラードは幸福追求でない fact5: もし仮に「何らかの物は幸福追求だということはない」ということは正しいなら生み難くてかつ秘す fact6: 「「あの土地利用構造が甲論乙駁しないしさらにそれは奥床しくない」ということは確かだ」ということは誤りである fact7: 仮に「この不可分性は三割近くでないけれど瞑想する」ということは間違いであるとすると大きい fact8: 「この不可分性は三割近くでない一方でそれは瞑想する」ということは成り立たない fact9: 仮に「あの土地利用構造は甲論乙駁しなくてまた奥床しくない」ということは成り立たないならばこのジョンシクは奥床しくない fact10: 「このジョンシクは早期でないか前頭中心部であるかまたはどちらもだ」ということは偽だ fact11: もし「「このジョンシクは早期でないかまたは前頭中心部であるかもしくは両方だ」ということは成り立つ」ということは成り立つということはないならそれは袖廊でない fact12: もし仮にこの不可分性が瞑想しないなら大きい fact13: 何らかのものは秘すとすると「この不可分性は出港するしその上大きい」ということは事実と異なる fact14: もし仮になにかは調べ易くないとしたら「御優しくないしそれは瞑想する」ということは間違っている
fact7 & fact8 -> int1: この不可分性は大きい; int1 -> hypothesis;
fact7 & fact8 -> int1: {B}{a}; int1 -> hypothesis;
「この不可分性は大きいかあるいはそれは調べ易いかまたは両方である」ということは確かでない
fact16 -> int2: もし仮にそのダラードは生み難いということはないならば「それは出港しなくてそれにそれは秘さない」ということは誤りである;
$facts$ = fact1: もしもなんらかの物は生み難くないならば「出港しないし秘さない」ということは成り立たない fact2: このページ表示時はＮＭＲであるかもしくは大きいか両方ともだ fact3: もしも「そのダラードは出港しなくて秘さない」ということは間違いであるとするとこの不可分性は出港しない fact4: このジョンシクが奥床しくないしさらに袖廊でないならばそのダラードは幸福追求でない fact5: もし仮に「何らかの物は幸福追求だということはない」ということは正しいなら生み難くてかつ秘す fact6: 「「あの土地利用構造が甲論乙駁しないしさらにそれは奥床しくない」ということは確かだ」ということは誤りである fact7: 仮に「この不可分性は三割近くでないけれど瞑想する」ということは間違いであるとすると大きい fact8: 「この不可分性は三割近くでない一方でそれは瞑想する」ということは成り立たない fact9: 仮に「あの土地利用構造は甲論乙駁しなくてまた奥床しくない」ということは成り立たないならばこのジョンシクは奥床しくない fact10: 「このジョンシクは早期でないか前頭中心部であるかまたはどちらもだ」ということは偽だ fact11: もし「「このジョンシクは早期でないかまたは前頭中心部であるかもしくは両方だ」ということは成り立つ」ということは成り立つということはないならそれは袖廊でない fact12: もし仮にこの不可分性が瞑想しないなら大きい fact13: 何らかのものは秘すとすると「この不可分性は出港するしその上大きい」ということは事実と異なる fact14: もし仮になにかは調べ易くないとしたら「御優しくないしそれは瞑想する」ということは間違っている ; $hypothesis$ = この不可分性は大きいか調べ易い ; $proof$ = 
fact7 & fact8 -> int1: この不可分性は大きい; int1 -> hypothesis; __PROVED__
事実1: もしもなんらかの物は生み難くないならば「出港しないし秘さない」ということは成り立たない
事実2: このページ表示時はＮＭＲであるかもしくは大きいか両方ともだ
事実3: もしも「そのダラードは出港しなくて秘さない」ということは間違いであるとするとこの不可分性は出港しない
事実4: このジョンシクが奥床しくないしさらに袖廊でないならばそのダラードは幸福追求でない
事実5: もし仮に「何らかの物は幸福追求だということはない」ということは正しいなら生み難くてかつ秘す
事実6: 「「あの土地利用構造が甲論乙駁しないしさらにそれは奥床しくない」ということは確かだ」ということは誤りである
事実7: 仮に「この不可分性は三割近くでないけれど瞑想する」ということは間違いであるとすると大きい
事実8: 「この不可分性は三割近くでない一方でそれは瞑想する」ということは成り立たない
事実9: 仮に「あの土地利用構造は甲論乙駁しなくてまた奥床しくない」ということは成り立たないならばこのジョンシクは奥床しくない
事実10: 「このジョンシクは早期でないか前頭中心部であるかまたはどちらもだ」ということは偽だ
事実11: もし「「このジョンシクは早期でないかまたは前頭中心部であるかもしくは両方だ」ということは成り立つ」ということは成り立つということはないならそれは袖廊でない
事実12: もし仮にこの不可分性が瞑想しないなら大きい
事実13: 何らかのものは秘すとすると「この不可分性は出港するしその上大きい」ということは事実と異なる
事実14: もし仮になにかは調べ易くないとしたら「御優しくないしそれは瞑想する」ということは間違っている

仮説: この不可分性は大きいか調べ易い
1. 事実7と事実8から、推論1: "この不可分性は大きい"が導かれる
2. 推論1から、仮説が導かれる

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