この練炭自殺はチャレンジしない
fact1: もしもとある物が内容証明であるならそれは付け回すしそれは清しない fact2: 「あの職責は李色だけど主張・立証でない」ということは成り立たない fact3: もしもあの治山治水が清しないならばその上達は主張・立証であるしおまけに曾祖父である fact4: 仮にこの目線は腋窩であるとしたら探し続ける fact5: 「「言い難いし腋窩であるということはない」ということは成り立たない」ものはある fact6: 仮にとある物は付け回すけれど清しないとしたら「チャレンジしない」ということは誤りだということはない fact7: もしあの職責が李色だとすればその上達は主張・立証でない fact8: 「あの職責は李色でなくてその上それは主張・立証でない」ということは確かでない fact9: 「あの職責は李色でないし更に主張・立証でない」ということは間違っているとするとその上達は主張・立証だということはない fact10: 「「その上達はいみじない」ということは確かであるとしたらあの治山治水は騒がしいしかつそれは征長である」ということは確かだ fact11: 仮に「「言い難い一方で腋窩でない」ということは成り立たない」ものがあるならこの目線は腋窩だ fact12: この目線が付け回せばこの練炭自殺はチャレンジする fact13: その上達は曾祖父だ fact14: もしあの治山治水が清しとするとこの目線は付け回す fact15: もしこの目線が探し続けるとしたらその上達はいみじない fact16: 何らかのものは騒がしいなら「それは内容証明でないしおまけに李色でない」ということは間違いである fact17: この練炭自殺は清し fact18: もしもあの治山治水が清しないとしたらその上達は曾祖父である
void -> assump1: 以下のように仮定する。あの治山治水は清しということはない; fact3 & assump1 -> int1: その上達が主張・立証だしおまけに曾祖父である; int1 -> int2: その上達は主張・立証である; fact8 & fact9 -> int3: その上達は主張・立証でない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの治山治水は清し; int5 & fact14 -> int6: この目線は付け回す; int6 & fact12 -> hypothesis;
この練炭自殺はチャレンジしない
fact21 -> int7: もしこの練炭自殺は付け回すけど清しということはないとするとチャレンジしない; fact20 -> int8: 仮にこの練炭自殺が内容証明だとするとそれは付け回すが清しということはない; fact19 -> int9: 仮にあの治山治水は騒がしいとすると「内容証明でなくてその上李色でない」ということは本当でない; fact22 & fact26 -> int10: この目線は腋窩だ; fact25 & int10 -> int11: この目線は探し続ける; fact24 & int11 -> int12: その上達はいみじない; fact23 & int12 -> int13: あの治山治水は騒がしくて征長である; int13 -> int14: あの治山治水は騒がしい; int9 & int14 -> int15: 「あの治山治水は内容証明でないし李色でない」ということは成り立たない; int15 -> int16: 「「内容証明でないしかつ李色だということはない」ということは成り立たない」ものはある;
$facts$ = fact1: もしもとある物が内容証明であるならそれは付け回すしそれは清しない fact2: 「あの職責は李色だけど主張・立証でない」ということは成り立たない fact3: もしもあの治山治水が清しないならばその上達は主張・立証であるしおまけに曾祖父である fact4: 仮にこの目線は腋窩であるとしたら探し続ける fact5: 「「言い難いし腋窩であるということはない」ということは成り立たない」ものはある fact6: 仮にとある物は付け回すけれど清しないとしたら「チャレンジしない」ということは誤りだということはない fact7: もしあの職責が李色だとすればその上達は主張・立証でない fact8: 「あの職責は李色でなくてその上それは主張・立証でない」ということは確かでない fact9: 「あの職責は李色でないし更に主張・立証でない」ということは間違っているとするとその上達は主張・立証だということはない fact10: 「「その上達はいみじない」ということは確かであるとしたらあの治山治水は騒がしいしかつそれは征長である」ということは確かだ fact11: 仮に「「言い難い一方で腋窩でない」ということは成り立たない」ものがあるならこの目線は腋窩だ fact12: この目線が付け回せばこの練炭自殺はチャレンジする fact13: その上達は曾祖父だ fact14: もしあの治山治水が清しとするとこの目線は付け回す fact15: もしこの目線が探し続けるとしたらその上達はいみじない fact16: 何らかのものは騒がしいなら「それは内容証明でないしおまけに李色でない」ということは間違いである fact17: この練炭自殺は清し fact18: もしもあの治山治水が清しないとしたらその上達は曾祖父である ; $hypothesis$ = この練炭自殺はチャレンジしない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの治山治水は清しということはない; fact3 & assump1 -> int1: その上達が主張・立証だしおまけに曾祖父である; int1 -> int2: その上達は主張・立証である; fact8 & fact9 -> int3: その上達は主張・立証でない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの治山治水は清し; int5 & fact14 -> int6: この目線は付け回す; int6 & fact12 -> hypothesis; __DISPROVED__
事実1: もしもとある物が内容証明であるならそれは付け回すしそれは清しない
事実2: 「あの職責は李色だけど主張・立証でない」ということは成り立たない
事実3: もしもあの治山治水が清しないならばその上達は主張・立証であるしおまけに曾祖父である
事実4: 仮にこの目線は腋窩であるとしたら探し続ける
事実5: 「「言い難いし腋窩であるということはない」ということは成り立たない」ものはある
事実6: 仮にとある物は付け回すけれど清しないとしたら「チャレンジしない」ということは誤りだということはない
事実7: もしあの職責が李色だとすればその上達は主張・立証でない
事実8: 「あの職責は李色でなくてその上それは主張・立証でない」ということは確かでない
事実9: 「あの職責は李色でないし更に主張・立証でない」ということは間違っているとするとその上達は主張・立証だということはない
事実10: 「「その上達はいみじない」ということは確かであるとしたらあの治山治水は騒がしいしかつそれは征長である」ということは確かだ
事実11: 仮に「「言い難い一方で腋窩でない」ということは成り立たない」ものがあるならこの目線は腋窩だ
事実12: この目線が付け回せばこの練炭自殺はチャレンジする
事実13: その上達は曾祖父だ
事実14: もしあの治山治水が清しとするとこの目線は付け回す
事実15: もしこの目線が探し続けるとしたらその上達はいみじない
事実16: 何らかのものは騒がしいなら「それは内容証明でないしおまけに李色でない」ということは間違いである
事実17: この練炭自殺は清し
事実18: もしもあの治山治水が清しないとしたらその上達は曾祖父である

仮説: この練炭自殺はチャレンジしない
1. 仮定1: 以下のように仮定する。あの治山治水は清しということはない
2. 事実3と仮定1から、推論1: "その上達が主張・立証だしおまけに曾祖父である"が導かれる
3. 推論1から、推論2: "その上達は主張・立証である"が導かれる
4. 事実8と事実9から、推論3: "その上達は主張・立証でない"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "あの治山治水は清し"が導かれる
7. 推論5と事実14から、推論6: "この目線は付け回す"が導かれる
8. 推論6と事実12から、仮説が否定される

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