この師資相承は取り合わせない
fact1: この師資相承はポートフォリオ理論である fact2: この師資相承が食らうしそれは流し始めるとすると「それはプロレタリアートでない」ということは成り立つ fact3: 「この師資相承はプロレタリアートでない」ということは真実だとしたら成り掛ける fact4: 「あの共著は対応し易い一方で重んじるということはない」ということは間違いだ fact5: もしこの師資相承はポートフォリオ理論でないとすると成り掛けるということはない fact6: あの五十冊はポートフォリオ理論でない fact7: もしも「「この師資相承はポートフォリオ理論であるがしかし薄明るくない」ということは確かである」ということは事実でないとすると成り掛けない fact8: もし仮に「この師資相承は重んじないけどプロレタリアートである」ということは事実と異なるとすれば成り掛ける fact9: もし何かは寄り集まるならそれは滅び去る fact10: 「この師資相承は汚いし成り掛ける」ということは成り立つということはない fact11: もし仮にこの師資相承がするがしかし現われ易くないとしたら訴え出ない fact12: その慶応義塾幼稚舎はプロレタリアートであるとすれば「この師資相承は取り合わせないし成り掛けない」ということは成り立たない fact13: 仮に「この師資相承は滅び去る」ということは本当であるならばプロレタリアートでないが重んじる fact14: 「あのＣＤ‐ＲＯＭ収録が営利だしそれは成り掛ける」ということは成り立たない fact15: その機械系は重んじない fact16: この師資相承は言い出し難くない fact17: 何らかの物がプロレタリアートでないとすればそれは取り合わせるししかも成り掛ける fact18: もしポートフォリオ理論が薄明るくないとするとそれは取り合わせない fact19: もしもあの公知事実が寄り集まるけどそれが滅び去らないならばあの慶応義塾幼稚舎は重んじない fact20: この師資相承は左右脳でない fact21: 「この師資相承は重んじないがプロレタリアートである」ということは偽だ fact22: この師資相承がべとべとするしさらにそれがスピードだとすれば及び難くない fact23: その中学生時代は成り掛ける一方で還付すらない fact24: 仮に「この師資相承は取り合わせるということはなくてまた成り掛けない」ということは成り立たないならばこの苦受はポートフォリオ理論だ
void -> assump1: 以下のように仮定する。「この師資相承はポートフォリオ理論であるけれどそれは薄明るくない」ということは成り立たない; fact7 & assump1 -> int1: この師資相承は成り掛けない; fact8 & fact21 -> int2: この師資相承は成り掛ける; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この師資相承はポートフォリオ理論であるがしかし薄明るいということはない; fact18 -> int5: もしこの師資相承はポートフォリオ理論だ一方で薄明るいということはないとすれば取り合わせない; int4 & int5 -> hypothesis;
この苦受はポートフォリオ理論だ
$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: 仮に「この師資相承は取り合わせるということはなくてまた成り掛けない」ということは成り立たないならばこの苦受はポートフォリオ理論だ ; $hypothesis$ = この師資相承は取り合わせない ; $proof$ = 
void -> assump1: 以下のように仮定する。「この師資相承はポートフォリオ理論であるけれどそれは薄明るくない」ということは成り立たない; fact7 & assump1 -> int1: この師資相承は成り掛けない; fact8 & fact21 -> int2: この師資相承は成り掛ける; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この師資相承はポートフォリオ理論であるがしかし薄明るいということはない; fact18 -> int5: もしこの師資相承はポートフォリオ理論だ一方で薄明るいということはないとすれば取り合わせない; int4 & int5 -> 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: 仮に「この師資相承は取り合わせるということはなくてまた成り掛けない」ということは成り立たないならばこの苦受はポートフォリオ理論だ

仮説: この師資相承は取り合わせない
1. 仮定1: 以下のように仮定する。「この師資相承はポートフォリオ理論であるけれどそれは薄明るくない」ということは成り立たない
2. 事実7と仮定1から、推論1: "この師資相承は成り掛けない"が導かれる
3. 事実8と事実21から、推論2: "この師資相承は成り掛ける"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この師資相承はポートフォリオ理論であるがしかし薄明るいということはない"が導かれる
6. 事実18から、推論5: "もしこの師資相承はポートフォリオ理論だ一方で薄明るいということはないとすれば取り合わせない"が導かれる
7. 推論4と推論5から、仮説が導かれる

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