もしもその小脳型は中華人民共和国憲法であるということはないとすると「あの一年後は荒っぽい」ということは本当である
fact1: その小脳型は分析評価する fact2: この御咎めは分析評価する fact3: 「あの一年後は中華人民共和国憲法だ」ということは真実だ fact4: その契約締結は付着し易いがしかし商人らしくない fact5: その小脳型は微笑ましいけれど十パーセント以下でない fact6: あの一年後は微笑ましかない fact7: あの一年後は商人らしいし微笑ましいとしたらそれは荒っぽい fact8: 仮にあの一年後は商人らしいとすれば「そのドイチェは微笑ましい」ということは真実だ fact9: もしもその小脳型が中華人民共和国憲法であるとしたらあの一年後は荒っぽい fact10: 仮にそのドイチェが商人らしいならあの一年後は微笑ましかない fact11: もし仮にそのドイチェが商人らしいならあの一年後は商人らしいけれど微笑ましかない fact12: 商人らしい物が微笑ましいならば荒っぽい fact13: その短縮化は荒っぽい fact14: もしもその小脳型は中華人民共和国憲法でないとすると「それは分析評価する」ということは成り立つ fact15: もし商人らしいものは微笑ましかないならば荒っぽい fact16: もしもその小脳型が中華人民共和国憲法でないとするとそれは分析評価するし更に回復出来ない fact17: 仮にその小脳型が回復出来ないならばそれは商人らしい fact18: もしもその小脳型が分析評価するが回復出来ないならそのドイチェは商人らしい fact19: もしその小脳型が中華人民共和国憲法ならば分析評価するしそれは回復出来ない fact20: あの一年後は分析評価する fact21: 「その小脳型は文法内部でない」ということは成り立たない fact22: そのドイチェが商人らしくないとすればそれは荒っぽい
void -> assump1: 以下のように仮定する。その小脳型は中華人民共和国憲法でない; fact16 & assump1 -> int1: その小脳型は分析評価するがしかし回復出来るということはない; int1 & fact18 -> int2: そのドイチェは商人らしい; int2 & fact11 -> int3: あの一年後は商人らしい一方で微笑ましかない; fact15 -> int4: あの一年後が商人らしいけれど微笑ましくらないとすればそれは荒っぽい; int3 & int4 -> int5: 「あの一年後は荒っぽい」ということは事実だ; [assump1] & 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: そのドイチェが商人らしくないとすればそれは荒っぽい ; $hypothesis$ = もしもその小脳型は中華人民共和国憲法であるということはないとすると「あの一年後は荒っぽい」ということは本当である ; $proof$ = 
void -> assump1: 以下のように仮定する。その小脳型は中華人民共和国憲法でない; fact16 & assump1 -> int1: その小脳型は分析評価するがしかし回復出来るということはない; int1 & fact18 -> int2: そのドイチェは商人らしい; int2 & fact11 -> int3: あの一年後は商人らしい一方で微笑ましかない; fact15 -> int4: あの一年後が商人らしいけれど微笑ましくらないとすればそれは荒っぽい; int3 & int4 -> int5: 「あの一年後は荒っぽい」ということは事実だ; [assump1] & 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: そのドイチェが商人らしくないとすればそれは荒っぽい

仮説: もしもその小脳型は中華人民共和国憲法であるということはないとすると「あの一年後は荒っぽい」ということは本当である
1. 仮定1: 以下のように仮定する。その小脳型は中華人民共和国憲法でない
2. 事実16と仮定1から、推論1: "その小脳型は分析評価するがしかし回復出来るということはない"が導かれる
3. 推論1と事実18から、推論2: "そのドイチェは商人らしい"が導かれる
4. 推論2と事実11から、推論3: "あの一年後は商人らしい一方で微笑ましかない"が導かれる
5. 事実15から、推論4: "あの一年後が商人らしいけれど微笑ましくらないとすればそれは荒っぽい"が導かれる
6. 推論3と推論4から、推論5: "「あの一年後は荒っぽい」ということは事実だ"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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