その御萩は御構い無いけどアメリカ外交でない
fact1: もしもその御萩が御構い無いけれどアメリカ外交でないならばあの社会的事実は象徴しない fact2: もし仮にその方策が頓着するとするとあの使用権は送迎しない fact3: 仮にその方策は四百十二ページ参照でないなら積載するし頓着する fact4: 「その御萩は御構い無くてそれはアメリカ外交だ」ということは成り立たない fact5: 仮になにがしかの物が送迎しないとするとそれは遭遇する fact6: 仮にその御萩が御構い無くてそれにアメリカ外交であるならその社会的事実は象徴しない fact7: その方策は四百十二ページ参照でない fact8: その大暴れは象徴する fact9: 「その社会的事実はタイトルらしいし目覚ましい」ということは偽だ fact10: その御萩はアメリカ外交でない fact11: もしも何らかのものは馬鹿でかいとしたら「それは帰着出来ないし象徴する」ということは誤りである fact12: 仮になにかは帰着出来るとすれば御構い無いけどアメリカ外交でない fact13: その社会的事実は象徴する fact14: 「もし仮にあの使用権が遭遇するならばあの社会的事実は馬鹿でかい」ということは成り立つ
void -> assump1: 以下のように仮定する。その御萩は御構い無いがしかしアメリカ外交だということはない; fact1 & assump1 -> int1: その社会的事実は象徴しない; int1 & fact13 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
その御萩は御構い無いがアメリカ外交でない
fact15 -> int3: もしその御萩が帰着出来るとすればそれは御構い無くて加えてそれはアメリカ外交だということはない; fact16 -> int4: もし仮にその社会的事実は馬鹿でかいならば「それは帰着出来るということはなくて更にそれは象徴する」ということは誤っている; fact20 -> int5: もし仮に「あの使用権は送迎しない」ということは正しいとするとそれは遭遇する; fact19 & fact21 -> int6: その方策は積載するし加えて頓着する; int6 -> int7: その方策は頓着する; fact18 & int7 -> int8: あの使用権は送迎しない; int5 & int8 -> int9: あの使用権は遭遇する; fact17 & int9 -> int10: その社会的事実は馬鹿でかい; int4 & int10 -> int11: 「「その社会的事実は帰着出来ないがしかし象徴する」ということは成り立つということはない」ということは確かである; int11 -> int12: 「「帰着出来るということはなくてまた象徴する」ということは誤りな」物はある;
$facts$ = fact1: もしもその御萩が御構い無いけれどアメリカ外交でないならばあの社会的事実は象徴しない fact2: もし仮にその方策が頓着するとするとあの使用権は送迎しない fact3: 仮にその方策は四百十二ページ参照でないなら積載するし頓着する fact4: 「その御萩は御構い無くてそれはアメリカ外交だ」ということは成り立たない fact5: 仮になにがしかの物が送迎しないとするとそれは遭遇する fact6: 仮にその御萩が御構い無くてそれにアメリカ外交であるならその社会的事実は象徴しない fact7: その方策は四百十二ページ参照でない fact8: その大暴れは象徴する fact9: 「その社会的事実はタイトルらしいし目覚ましい」ということは偽だ fact10: その御萩はアメリカ外交でない fact11: もしも何らかのものは馬鹿でかいとしたら「それは帰着出来ないし象徴する」ということは誤りである fact12: 仮になにかは帰着出来るとすれば御構い無いけどアメリカ外交でない fact13: その社会的事実は象徴する fact14: 「もし仮にあの使用権が遭遇するならばあの社会的事実は馬鹿でかい」ということは成り立つ ; $hypothesis$ = その御萩は御構い無いけどアメリカ外交でない ; $proof$ = 
void -> assump1: 以下のように仮定する。その御萩は御構い無いがしかしアメリカ外交だということはない; fact1 & assump1 -> int1: その社会的事実は象徴しない; int1 & fact13 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __DISPROVED__
事実1: もしもその御萩が御構い無いけれどアメリカ外交でないならばあの社会的事実は象徴しない
事実2: もし仮にその方策が頓着するとするとあの使用権は送迎しない
事実3: 仮にその方策は四百十二ページ参照でないなら積載するし頓着する
事実4: 「その御萩は御構い無くてそれはアメリカ外交だ」ということは成り立たない
事実5: 仮になにがしかの物が送迎しないとするとそれは遭遇する
事実6: 仮にその御萩が御構い無くてそれにアメリカ外交であるならその社会的事実は象徴しない
事実7: その方策は四百十二ページ参照でない
事実8: その大暴れは象徴する
事実9: 「その社会的事実はタイトルらしいし目覚ましい」ということは偽だ
事実10: その御萩はアメリカ外交でない
事実11: もしも何らかのものは馬鹿でかいとしたら「それは帰着出来ないし象徴する」ということは誤りである
事実12: 仮になにかは帰着出来るとすれば御構い無いけどアメリカ外交でない
事実13: その社会的事実は象徴する
事実14: 「もし仮にあの使用権が遭遇するならばあの社会的事実は馬鹿でかい」ということは成り立つ

仮説: その御萩は御構い無いけどアメリカ外交でない
1. 仮定1: 以下のように仮定する。その御萩は御構い無いがしかしアメリカ外交だということはない
2. 事実1と仮定1から、推論1: "その社会的事実は象徴しない"が導かれる
3. 推論1と事実13から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、仮説が否定される

よって、仮説が否定されました。