あの観察ポイントは患う
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: もし仮にこの意思主体が遣り直せるとすればそれは申し訳無い
void -> assump1: 以下のように仮定する。あの観察ポイントは生白い; fact4 & assump1 -> int1: あの観察ポイントは著述する; int1 & fact11 -> int2: この意思主体は著述するが申し訳無いということはない; int2 & fact15 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの観察ポイントは生白くない; int4 & fact16 -> int5: あの観察ポイントは頻回であるかまたは高額化しない; fact10 -> int6: もしあの観察ポイントは頻回であるかまたは高額化しないとしたらそれは過剰適応する; int5 & int6 -> int7: あの観察ポイントは過剰適応する; fact6 -> int8: もしもあの観察ポイントが過剰適応すれば患う; int7 & int8 -> 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: もしとある物が高額化しないならそれは過剰適応する fact25: もし仮にこの意思主体が遣り直せるとすればそれは申し訳無い ; $hypothesis$ = あの観察ポイントは患う ; $proof$ = 
void -> assump1: 以下のように仮定する。あの観察ポイントは生白い; fact4 & assump1 -> int1: あの観察ポイントは著述する; int1 & fact11 -> int2: この意思主体は著述するが申し訳無いということはない; int2 & fact15 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの観察ポイントは生白くない; int4 & fact16 -> int5: あの観察ポイントは頻回であるかまたは高額化しない; fact10 -> int6: もしあの観察ポイントは頻回であるかまたは高額化しないとしたらそれは過剰適応する; int5 & int6 -> int7: あの観察ポイントは過剰適応する; fact6 -> int8: もしもあの観察ポイントが過剰適応すれば患う; int7 & int8 -> 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: もし仮にこの意思主体が遣り直せるとすればそれは申し訳無い

仮説: あの観察ポイントは患う
1. 仮定1: 以下のように仮定する。あの観察ポイントは生白い
2. 事実4と仮定1から、推論1: "あの観察ポイントは著述する"が導かれる
3. 推論1と事実11から、推論2: "この意思主体は著述するが申し訳無いということはない"が導かれる
4. 推論2と事実15から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの観察ポイントは生白くない"が導かれる
6. 推論4と事実16から、推論5: "あの観察ポイントは頻回であるかまたは高額化しない"が導かれる
7. 事実10から、推論6: "もしあの観察ポイントは頻回であるかまたは高額化しないとしたらそれは過剰適応する"が導かれる
8. 推論5と推論6から、推論7: "あの観察ポイントは過剰適応する"が導かれる
9. 事実6から、推論8: "もしもあの観察ポイントが過剰適応すれば患う"が導かれる
10. 推論7と推論8から、仮説が導かれる

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