「この尿酸結晶は変え難いがややこしくない」ということは成り立たない
fact1: もしも「この尿酸結晶は丸っこい」ということは本当であるなら「あの釣り糸は変え難い一方でそれは丸っこくない」ということは成り立たない fact2: この尿酸結晶は丸っこい fact3: あの釣り糸は斟酌す fact4: もし仮にそのＤＯＳは分担し合わないならば「生温かくなくてそれは斟酌す」ということは成り立たない fact5: もし仮にこの尿酸結晶が斟酌すなら変え難いがしかしややこしくない fact6: あの釣り糸は斟酌すし丸っこい fact7: もし「あの釣り糸は丸っこい」ということは成り立つならそのＤＯＳはややこしい fact8: 「この尿酸結晶は変え難いしそれにややこしい」ということは間違いだ fact9: もしそのＤＯＳはややこしいならば「この尿酸結晶は変え難いししかもややこしい」ということは誤りだ fact10: 「あの釣り糸はややこしくてまた斟酌す」ということは誤っている fact11: 「この尿酸結晶は丸っこいしややこしい」ということは成り立たない fact12: もし仮にあの釣り糸は変え難いとしたら「この尿酸結晶は変え難い」ということは真実だ fact13: もし仮にあの釣り糸は斟酌すとすると「そのＤＯＳはややこしいし加えてそれは斟酌す」ということは間違っている fact14: 「そのＤＯＳは分担し合わない」ということは成り立つ fact15: あの伝達係が御手入れするとするとあの釣り糸は御手入れする fact16: 「なんらかの物は丸っこいしそれにややこしい」ということは偽だとすればそれはややこしいということはない fact17: もし仮にそのＤＯＳはややこしいなら「この尿酸結晶は変え難いがしかしややこしくない」ということは成り立たない fact18: もしもあの釣り糸が変え難いならばこの尿酸結晶は丸っこい fact19: とある物が御手入れするとするとそれは変え難い
fact6 -> int1: あの釣り糸は丸っこい; int1 & fact7 -> int2: そのＤＯＳはややこしい; int2 & fact17 -> hypothesis;
fact6 -> int1: {B}{a}; int1 & fact7 -> int2: {C}{b}; int2 & fact17 -> hypothesis;
この尿酸結晶は変え難いがしかしややこしくない
$facts$ = fact1: もしも「この尿酸結晶は丸っこい」ということは本当であるなら「あの釣り糸は変え難い一方でそれは丸っこくない」ということは成り立たない fact2: この尿酸結晶は丸っこい fact3: あの釣り糸は斟酌す fact4: もし仮にそのＤＯＳは分担し合わないならば「生温かくなくてそれは斟酌す」ということは成り立たない fact5: もし仮にこの尿酸結晶が斟酌すなら変え難いがしかしややこしくない fact6: あの釣り糸は斟酌すし丸っこい fact7: もし「あの釣り糸は丸っこい」ということは成り立つならそのＤＯＳはややこしい fact8: 「この尿酸結晶は変え難いしそれにややこしい」ということは間違いだ fact9: もしそのＤＯＳはややこしいならば「この尿酸結晶は変え難いししかもややこしい」ということは誤りだ fact10: 「あの釣り糸はややこしくてまた斟酌す」ということは誤っている fact11: 「この尿酸結晶は丸っこいしややこしい」ということは成り立たない fact12: もし仮にあの釣り糸は変え難いとしたら「この尿酸結晶は変え難い」ということは真実だ fact13: もし仮にあの釣り糸は斟酌すとすると「そのＤＯＳはややこしいし加えてそれは斟酌す」ということは間違っている fact14: 「そのＤＯＳは分担し合わない」ということは成り立つ fact15: あの伝達係が御手入れするとするとあの釣り糸は御手入れする fact16: 「なんらかの物は丸っこいしそれにややこしい」ということは偽だとすればそれはややこしいということはない fact17: もし仮にそのＤＯＳはややこしいなら「この尿酸結晶は変え難いがしかしややこしくない」ということは成り立たない fact18: もしもあの釣り糸が変え難いならばこの尿酸結晶は丸っこい fact19: とある物が御手入れするとするとそれは変え難い ; $hypothesis$ = 「この尿酸結晶は変え難いがややこしくない」ということは成り立たない ; $proof$ = 
fact6 -> int1: あの釣り糸は丸っこい; int1 & fact7 -> int2: そのＤＯＳはややこしい; int2 & fact17 -> hypothesis; __PROVED__
事実1: もしも「この尿酸結晶は丸っこい」ということは本当であるなら「あの釣り糸は変え難い一方でそれは丸っこくない」ということは成り立たない
事実2: この尿酸結晶は丸っこい
事実3: あの釣り糸は斟酌す
事実4: もし仮にそのＤＯＳは分担し合わないならば「生温かくなくてそれは斟酌す」ということは成り立たない
事実5: もし仮にこの尿酸結晶が斟酌すなら変え難いがしかしややこしくない
事実6: あの釣り糸は斟酌すし丸っこい
事実7: もし「あの釣り糸は丸っこい」ということは成り立つならそのＤＯＳはややこしい
事実8: 「この尿酸結晶は変え難いしそれにややこしい」ということは間違いだ
事実9: もしそのＤＯＳはややこしいならば「この尿酸結晶は変え難いししかもややこしい」ということは誤りだ
事実10: 「あの釣り糸はややこしくてまた斟酌す」ということは誤っている
事実11: 「この尿酸結晶は丸っこいしややこしい」ということは成り立たない
事実12: もし仮にあの釣り糸は変え難いとしたら「この尿酸結晶は変え難い」ということは真実だ
事実13: もし仮にあの釣り糸は斟酌すとすると「そのＤＯＳはややこしいし加えてそれは斟酌す」ということは間違っている
事実14: 「そのＤＯＳは分担し合わない」ということは成り立つ
事実15: あの伝達係が御手入れするとするとあの釣り糸は御手入れする
事実16: 「なんらかの物は丸っこいしそれにややこしい」ということは偽だとすればそれはややこしいということはない
事実17: もし仮にそのＤＯＳはややこしいなら「この尿酸結晶は変え難いがしかしややこしくない」ということは成り立たない
事実18: もしもあの釣り糸が変え難いならばこの尿酸結晶は丸っこい
事実19: とある物が御手入れするとするとそれは変え難い

仮説: 「この尿酸結晶は変え難いがややこしくない」ということは成り立たない
1. 事実6から、推論1: "あの釣り糸は丸っこい"が導かれる
2. 推論1と事実7から、推論2: "そのＤＯＳはややこしい"が導かれる
3. 推論2と事実17から、仮説が導かれる

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