そのシステム構造は覆う
fact1: 編は目的物自体である fact2: 「「編である」ということは事実な」ものはある fact3: なにがしかの物は見せ付けるということはないとすれば「それは好む」ということは成り立つ fact4: 仮にそのシステム構造が生じ易いならチョロギである fact5: あるものは青少年グループならば「滲み出るということはない」ということは真実でない fact6: もし仮に「「同志社でない」ということは誤りでない」物があるとすればあの自己改革は浪人するかまたはちらつき始める fact7: 「とあるものは最終答申であるが還帰するということはない」ということは誤りであるならばそれは嫌らしい fact8: その手術手技は浪人するなら「その自己改革は編でなくて覆うということはない」ということは成り立たない fact9: もしも「あの単純認識説は女っぽくないけど目的物自体だ」ということは間違っていれば同志社でない fact10: なにがしかの物は機動隊だとしたら「女っぽくない一方で目的物自体だ」ということは事実と異なる fact11: その被告はちらつき始める fact12: そのシステム構造は請求出来る fact13: 「あの単純認識説は滲み出る」ということは事実ならそれは機動隊だ fact14: もし仮にあるものは同志社であるとしたら覆う fact15: あの単純認識説が浪人するとすればその手術手技は浪人する fact16: 「そのシステム構造は編であるが大衆化でない」ということは成り立たない fact17: もしもなにがしかの物は編であるとすると「そのシステム構造は浪人するけどそれはちらつき始めない」ということは事実と異なる fact18: 仮に「その自己改革は編だということはないしさらに覆わない」ということは成り立たないならそのシステム構造は覆わない fact19: もしそのシステム構造が編ならばその課税状況は編だ fact20: とあるものは無駄でないならば追記する fact21: 仮に「何らかのものは浪人するがちらつき始めない」ということは間違いだとすればそれは同志社だ fact22: そのシステム構造は見せ付ける fact23: もし仮にそのシステム構造が見せ付けないとすれば把握し易い
fact2 & fact17 -> int1: 「そのシステム構造は浪人するがちらつき始めない」ということは事実と異なる; fact21 -> int2: 仮に「「そのシステム構造は浪人する一方でちらつき始めない」ということは成り立たない」ということは嘘でないとすると「同志社である」ということは誤りであるということはない; int1 & int2 -> int3: そのシステム構造は同志社だ; fact14 -> int4: 仮にそのシステム構造が同志社なら覆う; int3 & int4 -> hypothesis;
fact2 & fact17 -> int1: ¬({B}{a} & ¬{C}{a}); fact21 -> int2: ¬({B}{a} & ¬{C}{a}) -> {D}{a}; int1 & int2 -> int3: {D}{a}; fact14 -> int4: {D}{a} -> {E}{a}; int3 & int4 -> hypothesis;
その課税状況は目的物自体である
fact25 -> int5: もしもその課税状況が編なら目的物自体だ;
$facts$ = fact1: 編は目的物自体である fact2: 「「編である」ということは事実な」ものはある fact3: なにがしかの物は見せ付けるということはないとすれば「それは好む」ということは成り立つ fact4: 仮にそのシステム構造が生じ易いならチョロギである fact5: あるものは青少年グループならば「滲み出るということはない」ということは真実でない fact6: もし仮に「「同志社でない」ということは誤りでない」物があるとすればあの自己改革は浪人するかまたはちらつき始める fact7: 「とあるものは最終答申であるが還帰するということはない」ということは誤りであるならばそれは嫌らしい fact8: その手術手技は浪人するなら「その自己改革は編でなくて覆うということはない」ということは成り立たない fact9: もしも「あの単純認識説は女っぽくないけど目的物自体だ」ということは間違っていれば同志社でない fact10: なにがしかの物は機動隊だとしたら「女っぽくない一方で目的物自体だ」ということは事実と異なる fact11: その被告はちらつき始める fact12: そのシステム構造は請求出来る fact13: 「あの単純認識説は滲み出る」ということは事実ならそれは機動隊だ fact14: もし仮にあるものは同志社であるとしたら覆う fact15: あの単純認識説が浪人するとすればその手術手技は浪人する fact16: 「そのシステム構造は編であるが大衆化でない」ということは成り立たない fact17: もしもなにがしかの物は編であるとすると「そのシステム構造は浪人するけどそれはちらつき始めない」ということは事実と異なる fact18: 仮に「その自己改革は編だということはないしさらに覆わない」ということは成り立たないならそのシステム構造は覆わない fact19: もしそのシステム構造が編ならばその課税状況は編だ fact20: とあるものは無駄でないならば追記する fact21: 仮に「何らかのものは浪人するがちらつき始めない」ということは間違いだとすればそれは同志社だ fact22: そのシステム構造は見せ付ける fact23: もし仮にそのシステム構造が見せ付けないとすれば把握し易い ; $hypothesis$ = そのシステム構造は覆う ; $proof$ = 
fact2 & fact17 -> int1: 「そのシステム構造は浪人するがちらつき始めない」ということは事実と異なる; fact21 -> int2: 仮に「「そのシステム構造は浪人する一方でちらつき始めない」ということは成り立たない」ということは嘘でないとすると「同志社である」ということは誤りであるということはない; int1 & int2 -> int3: そのシステム構造は同志社だ; fact14 -> int4: 仮にそのシステム構造が同志社なら覆う; int3 & int4 -> 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: もし仮にそのシステム構造が見せ付けないとすれば把握し易い

仮説: そのシステム構造は覆う
1. 事実2と事実17から、推論1: "「そのシステム構造は浪人するがちらつき始めない」ということは事実と異なる"が導かれる
2. 事実21から、推論2: "仮に「「そのシステム構造は浪人する一方でちらつき始めない」ということは成り立たない」ということは嘘でないとすると「同志社である」ということは誤りであるということはない"が導かれる
3. 推論1と推論2から、推論3: "そのシステム構造は同志社だ"が導かれる
4. 事実14から、推論4: "仮にそのシステム構造が同志社なら覆う"が導かれる
5. 推論3と推論4から、仮説が導かれる

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