この胃潰瘍は処方すということはない
fact1: この受けは発色である fact2: この受けは甘んぜない fact3: 仮になにがしかのものが狂喜するということはないとすれば頑張るし明確化する fact4: この胃潰瘍は出世するがしかし後来でない fact5: この胃潰瘍が甘んずるし林・草原・田ならそれは後来だということはない fact6: もし仮にこの胃潰瘍が高辻奈良作りであるがしかしそれは後来でないならば処方すということはない fact7: この胃潰瘍が高辻奈良作りであるしそれが後来だとするとそれは処方すということはない fact8: この受けは親しみ易いということはない fact9: その不知は甘んずるしさらに本菌だ fact10: その競技規則は使い込む fact11: もしこの受けが林・草原・田ならこの胃潰瘍は親しみ易い fact12: もし仮になにかは頑張るとすれば処方す fact13: もし「なんらかの物が高辻奈良作りだけど親しみ易くない」ということは成り立つということはないとするとそれは甘んぜない fact14: もしこの胃潰瘍が野太いということはないとするとそれは高辻奈良作りである fact15: もし仮にこの胃潰瘍が親しみ易いなら高辻奈良作りだが後来でない fact16: この河津駅行きは親しみ易い fact17: 仮にその競技規則は使い込めば「狂喜しない」ということは本当だ fact18: その二十万人は野太くない fact19: 「この胃潰瘍は野太くてかつ林・草原・田である」ということは正しいとしたら高辻奈良作りでない fact20: この受けが甘んぜないなら野太いしかつ林・草原・田である fact21: もしなんらかの物は後来であるとすると「それは高辻奈良作りでその上それは親しみ易くない」ということは成り立たない fact22: もし仮にこの受けは後来でないとすると甘んずる fact23: この第五位は甘んぜない fact24: この胃潰瘍は林・草原・田でないとすると廃坑である
fact20 & fact2 -> int1: この受けは野太くておまけにそれは林・草原・田である; int1 -> int2: この受けは林・草原・田だ; int2 & fact11 -> int3: この胃潰瘍は親しみ易い; int3 & fact15 -> int4: この胃潰瘍は高辻奈良作りだ一方で後来でない; int4 & fact6 -> hypothesis;
その競技規則は甘んぜない
fact30 -> int5: もし「その競技規則は高辻奈良作りだけど親しみ易いということはない」ということは誤っているとしたらそれは甘んぜない; fact26 -> int6: 「もしその競技規則は後来だとしたら「その競技規則は高辻奈良作りだ一方で親しみ易くない」ということは成り立たない」ということは本当である; fact29 -> int7: 「その競技規則は頑張る」ということは事実であるとしたらそれは処方す; fact25 -> int8: もし仮にその競技規則が狂喜しないならそれは頑張るし加えてそれは明確化する; fact28 & fact27 -> int9: その競技規則は狂喜しない; int8 & int9 -> int10: その競技規則は頑張るし加えてそれは明確化する; int10 -> int11: その競技規則は頑張る; int7 & int11 -> int12: その競技規則は処方す;
$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: この胃潰瘍は林・草原・田でないとすると廃坑である ; $hypothesis$ = この胃潰瘍は処方すということはない ; $proof$ = 
fact20 & fact2 -> int1: この受けは野太くておまけにそれは林・草原・田である; int1 -> int2: この受けは林・草原・田だ; int2 & fact11 -> int3: この胃潰瘍は親しみ易い; int3 & fact15 -> int4: この胃潰瘍は高辻奈良作りだ一方で後来でない; int4 & fact6 -> 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: この胃潰瘍は林・草原・田でないとすると廃坑である

仮説: この胃潰瘍は処方すということはない
1. 事実20と事実2から、推論1: "この受けは野太くておまけにそれは林・草原・田である"が導かれる
2. 推論1から、推論2: "この受けは林・草原・田だ"が導かれる
3. 推論2と事実11から、推論3: "この胃潰瘍は親しみ易い"が導かれる
4. 推論3と事実15から、推論4: "この胃潰瘍は高辻奈良作りだ一方で後来でない"が導かれる
5. 推論4と事実6から、仮説が導かれる

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