このラッキーグッズは激減だ
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: その実質的民主主義は幼いかまたは提示方法だ fact26: もし仮にこのラッキーグッズが提示方法であるならその実質的民主主義は管轄する
fact15 & fact2 & fact22 -> int1: このラッキーグッズは管轄する; fact7 & fact21 -> int2: このラッキーグッズは幼い; int1 & int2 -> int3: 「このラッキーグッズは幼いし管轄する」ということは真実である; fact5 -> int4: もし仮にこのラッキーグッズは幼くてまた管轄するなら激減でない; int3 & int4 -> hypothesis;
fact15 & fact2 & fact22 -> int1: {C}{c}; fact7 & fact21 -> int2: {D}{c}; int1 & int2 -> int3: ({D}{c} & {C}{c}); fact5 -> int4: ({D}{c} & {C}{c}) -> ¬{E}{c}; int3 & int4 -> hypothesis;
「このラッキーグッズは激減である」ということは正しい
fact28 -> int5: その新制作は幼い; fact27 & int5 -> int6: その実質的民主主義は幼い;
$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: その実質的民主主義は幼いかまたは提示方法だ fact26: もし仮にこのラッキーグッズが提示方法であるならその実質的民主主義は管轄する ; $hypothesis$ = このラッキーグッズは激減だ ; $proof$ = 
fact15 & fact2 & fact22 -> int1: このラッキーグッズは管轄する; fact7 & fact21 -> int2: このラッキーグッズは幼い; int1 & int2 -> int3: 「このラッキーグッズは幼いし管轄する」ということは真実である; fact5 -> int4: もし仮にこのラッキーグッズは幼くてまた管轄するなら激減でない; int3 & int4 -> hypothesis; __DISPROVED__
事実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: その実質的民主主義は幼いかまたは提示方法だ
事実26: もし仮にこのラッキーグッズが提示方法であるならその実質的民主主義は管轄する

仮説: このラッキーグッズは激減だ
1. 事実15と事実2と事実22から、推論1: "このラッキーグッズは管轄する"が導かれる
2. 事実7と事実21から、推論2: "このラッキーグッズは幼い"が導かれる
3. 推論1と推論2から、推論3: "「このラッキーグッズは幼いし管轄する」ということは真実である"が導かれる
4. 事実5から、推論4: "もし仮にこのラッキーグッズは幼くてまた管轄するなら激減でない"が導かれる
5. 推論3と推論4から、仮説が否定される

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