この成熟要因はリーチする
fact1: 「このキナはミニでないし心弱くない」ということは偽であるならこの分析表は太り易い fact2: 「平安時代中期である」物はある fact3: このキナは心弱くない fact4: もし仮にこの分析表がＯＢ臭くないとするとミニでないしさらに太り易い fact5: 「仮になんらかの物は活性化・増殖しないとすると「ミニでないし更にそれは心弱くない」ということは間違いである」ということは正しい fact6: もしも「とあるものが意欲するということはないしさらにそれは突き入れるということはない」ということは誤りならば活性化・増殖するということはない fact7: もしもこの分析表はＯＢ臭くないとしたら「ミニでない」ということは本当だ fact8: 「平安時代中期な」物はあるとすれば「あの意味世界は為直すし克服出来る」ということは誤っている fact9: もしも何らかのものはＯＢ臭いならば「それはリーチしなくて更にそれは耄碌するということはない」ということは成り立たない fact10: 仮に「なんらかの物はリーチしないし加えて耄碌しない」ということは成り立たないとすればリーチする fact11: 心弱いものは活性化・増殖する fact12: もしも「ミニでないけど太り易い」物があるならこの成熟要因は心弱い fact13: 仮にこの分析表がＯＢ臭いならこのキナは耄碌する fact14: 仮にこの成熟要因が活性化・増殖すればリーチしない fact15: 仮にこのキナは費用等でないならば「それは意欲しなくてそれは突き入れない」ということは成り立たない fact16: このキナは耄碌しないしそれに突き入れない
void -> assump1: 以下のように仮定する。この分析表はＯＢ臭い; fact13 & assump1 -> int1: 「このキナは耄碌する」ということは成り立つ; fact16 -> int2: 「このキナは耄碌するということはない」ということは正しい; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この分析表はＯＢ臭くない; int4 & fact4 -> int5: この分析表はミニでないが太り易い; int5 -> int6: 「ミニでないしそれに太り易い」ものはある; int6 & fact12 -> int7: この成熟要因は心弱い; fact11 -> int8: この成熟要因が心弱いとしたらそれは活性化・増殖する; int7 & int8 -> int9: この成熟要因は活性化・増殖する; int9 & fact14 -> hypothesis;
「この成熟要因はリーチする」ということは誤りでない
fact24 -> int10: 「この成熟要因はリーチするということはないしその上耄碌しない」ということは正しくないとしたらそれはリーチする; fact17 -> int11: 仮にこの成熟要因はＯＢ臭いならば「「リーチしなくてそれは耄碌しない」ということは成り立つ」ということは嘘だ; fact19 -> int12: もしこのキナは活性化・増殖するということはないならば「それはミニだということはないしかつそれは心弱くない」ということは成り立たない; fact22 -> int13: 「このキナは意欲しないしかつ突き入れない」ということは嘘であるならそれは活性化・増殖しない; fact21 & fact20 -> int14: 「あの意味世界は為直すしかつ克服出来る」ということは誤りだ; int14 -> int15: 「「為直すし克服出来る」ということは事実と異なる」物はある;
$facts$ = fact1: 「このキナはミニでないし心弱くない」ということは偽であるならこの分析表は太り易い fact2: 「平安時代中期である」物はある fact3: このキナは心弱くない fact4: もし仮にこの分析表がＯＢ臭くないとするとミニでないしさらに太り易い fact5: 「仮になんらかの物は活性化・増殖しないとすると「ミニでないし更にそれは心弱くない」ということは間違いである」ということは正しい fact6: もしも「とあるものが意欲するということはないしさらにそれは突き入れるということはない」ということは誤りならば活性化・増殖するということはない fact7: もしもこの分析表はＯＢ臭くないとしたら「ミニでない」ということは本当だ fact8: 「平安時代中期な」物はあるとすれば「あの意味世界は為直すし克服出来る」ということは誤っている fact9: もしも何らかのものはＯＢ臭いならば「それはリーチしなくて更にそれは耄碌するということはない」ということは成り立たない fact10: 仮に「なんらかの物はリーチしないし加えて耄碌しない」ということは成り立たないとすればリーチする fact11: 心弱いものは活性化・増殖する fact12: もしも「ミニでないけど太り易い」物があるならこの成熟要因は心弱い fact13: 仮にこの分析表がＯＢ臭いならこのキナは耄碌する fact14: 仮にこの成熟要因が活性化・増殖すればリーチしない fact15: 仮にこのキナは費用等でないならば「それは意欲しなくてそれは突き入れない」ということは成り立たない fact16: このキナは耄碌しないしそれに突き入れない ; $hypothesis$ = この成熟要因はリーチする ; $proof$ = 
void -> assump1: 以下のように仮定する。この分析表はＯＢ臭い; fact13 & assump1 -> int1: 「このキナは耄碌する」ということは成り立つ; fact16 -> int2: 「このキナは耄碌するということはない」ということは正しい; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この分析表はＯＢ臭くない; int4 & fact4 -> int5: この分析表はミニでないが太り易い; int5 -> int6: 「ミニでないしそれに太り易い」ものはある; int6 & fact12 -> int7: この成熟要因は心弱い; fact11 -> int8: この成熟要因が心弱いとしたらそれは活性化・増殖する; int7 & int8 -> int9: この成熟要因は活性化・増殖する; int9 & fact14 -> hypothesis; __DISPROVED__
事実1: 「このキナはミニでないし心弱くない」ということは偽であるならこの分析表は太り易い
事実2: 「平安時代中期である」物はある
事実3: このキナは心弱くない
事実4: もし仮にこの分析表がＯＢ臭くないとするとミニでないしさらに太り易い
事実5: 「仮になんらかの物は活性化・増殖しないとすると「ミニでないし更にそれは心弱くない」ということは間違いである」ということは正しい
事実6: もしも「とあるものが意欲するということはないしさらにそれは突き入れるということはない」ということは誤りならば活性化・増殖するということはない
事実7: もしもこの分析表はＯＢ臭くないとしたら「ミニでない」ということは本当だ
事実8: 「平安時代中期な」物はあるとすれば「あの意味世界は為直すし克服出来る」ということは誤っている
事実9: もしも何らかのものはＯＢ臭いならば「それはリーチしなくて更にそれは耄碌するということはない」ということは成り立たない
事実10: 仮に「なんらかの物はリーチしないし加えて耄碌しない」ということは成り立たないとすればリーチする
事実11: 心弱いものは活性化・増殖する
事実12: もしも「ミニでないけど太り易い」物があるならこの成熟要因は心弱い
事実13: 仮にこの分析表がＯＢ臭いならこのキナは耄碌する
事実14: 仮にこの成熟要因が活性化・増殖すればリーチしない
事実15: 仮にこのキナは費用等でないならば「それは意欲しなくてそれは突き入れない」ということは成り立たない
事実16: このキナは耄碌しないしそれに突き入れない

仮説: この成熟要因はリーチする
1. 仮定1: 以下のように仮定する。この分析表はＯＢ臭い
2. 事実13と仮定1から、推論1: "「このキナは耄碌する」ということは成り立つ"が導かれる
3. 事実16から、推論2: "「このキナは耄碌するということはない」ということは正しい"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この分析表はＯＢ臭くない"が導かれる
6. 推論4と事実4から、推論5: "この分析表はミニでないが太り易い"が導かれる
7. 推論5から、推論6: "「ミニでないしそれに太り易い」ものはある"が導かれる
8. 推論6と事実12から、推論7: "この成熟要因は心弱い"が導かれる
9. 事実11から、推論8: "この成熟要因が心弱いとしたらそれは活性化・増殖する"が導かれる
10. 推論7と推論8から、推論9: "この成熟要因は活性化・増殖する"が導かれる
11. 推論9と事実14から、仮説が否定される

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