この管理会計はほつれる
fact1: 「倒産しない」物はある fact2: 付き難くない物は痛ーくないし難くない fact3: もしも何かはし捲ればこの来院時は排尿困難でないけれどそれは広がり難い fact4: もしなにかは悶え泣かないならば命ぜない fact5: ある物は自動車保険だということはないしまたそれは格好良くない fact6: なにがしかの物は排尿困難でないけれど広がり難いなら須恵器だ fact7: なにかは悶え泣かないとしたらそれは命ずるということはないししかも倒産するということはない fact8: 「命ずるけれど倒産しない」ものはある fact9: 広がり難いということはないものはし捲らないし排尿困難でない fact10: もし仮に「命ぜないし倒産しない」物があるとすればこの管理会計はほつれない fact11: その同博士は広がり難くない fact12: 仮にこの来院時が命ずるとするとその同博士は広がり難くない fact13: もし仮にあるものがし捲らなくて加えてそれは排尿困難でないとするとそれはほつれる fact14: ある物は広がり難くないとすると「それは須恵器だしまた排尿困難である」ということは成り立たない fact15: もし「この作図ウィンドウは須恵器であるし更に排尿困難である」ということは偽ならば排尿困難でない fact16: 仮に「この来院時は排尿困難でない」ということは成り立つとしたらほつれるということはない fact17: この来院時がほつれるならこの管理会計は須恵器だということはない fact18: 「この来院時は須恵器である」ということは成り立つとしたら「その同博士は悶え泣かない」ということは成り立つ fact19: 何らかの物はし捲る fact20: 「命ぜないししかも倒産する」物はある
fact19 & fact3 -> int1: この来院時は排尿困難でないけれどそれは広がり難い; fact6 -> int2: もしもこの来院時は排尿困難でないけど広がり難いとしたら「それは須恵器である」ということは成り立つ; int1 & int2 -> int3: この来院時は須恵器である; int3 & fact18 -> int4: 「その同博士は悶え泣くということはない」ということは事実である; fact7 -> int5: 仮にその同博士が悶え泣かないとしたら命ぜないしおまけに倒産しない; int4 & int5 -> int6: その同博士は命ぜないし倒産しない; int6 -> int7: なんらかのものは命ぜないし加えて倒産しない; int7 & fact10 -> hypothesis;
この作図ウィンドウは倒産する
fact21 -> int8: もしもこの作図ウィンドウは広がり難くないとすれば「須恵器で排尿困難だ」ということは間違っている;
$facts$ = fact1: 「倒産しない」物はある fact2: 付き難くない物は痛ーくないし難くない fact3: もしも何かはし捲ればこの来院時は排尿困難でないけれどそれは広がり難い fact4: もしなにかは悶え泣かないならば命ぜない fact5: ある物は自動車保険だということはないしまたそれは格好良くない fact6: なにがしかの物は排尿困難でないけれど広がり難いなら須恵器だ fact7: なにかは悶え泣かないとしたらそれは命ずるということはないししかも倒産するということはない fact8: 「命ずるけれど倒産しない」ものはある fact9: 広がり難いということはないものはし捲らないし排尿困難でない fact10: もし仮に「命ぜないし倒産しない」物があるとすればこの管理会計はほつれない fact11: その同博士は広がり難くない fact12: 仮にこの来院時が命ずるとするとその同博士は広がり難くない fact13: もし仮にあるものがし捲らなくて加えてそれは排尿困難でないとするとそれはほつれる fact14: ある物は広がり難くないとすると「それは須恵器だしまた排尿困難である」ということは成り立たない fact15: もし「この作図ウィンドウは須恵器であるし更に排尿困難である」ということは偽ならば排尿困難でない fact16: 仮に「この来院時は排尿困難でない」ということは成り立つとしたらほつれるということはない fact17: この来院時がほつれるならこの管理会計は須恵器だということはない fact18: 「この来院時は須恵器である」ということは成り立つとしたら「その同博士は悶え泣かない」ということは成り立つ fact19: 何らかの物はし捲る fact20: 「命ぜないししかも倒産する」物はある ; $hypothesis$ = この管理会計はほつれる ; $proof$ = 
fact19 & fact3 -> int1: この来院時は排尿困難でないけれどそれは広がり難い; fact6 -> int2: もしもこの来院時は排尿困難でないけど広がり難いとしたら「それは須恵器である」ということは成り立つ; int1 & int2 -> int3: この来院時は須恵器である; int3 & fact18 -> int4: 「その同博士は悶え泣くということはない」ということは事実である; fact7 -> int5: 仮にその同博士が悶え泣かないとしたら命ぜないしおまけに倒産しない; int4 & int5 -> int6: その同博士は命ぜないし倒産しない; int6 -> int7: なんらかのものは命ぜないし加えて倒産しない; int7 & fact10 -> hypothesis; __DISPROVED__
事実1: 「倒産しない」物はある
事実2: 付き難くない物は痛ーくないし難くない
事実3: もしも何かはし捲ればこの来院時は排尿困難でないけれどそれは広がり難い
事実4: もしなにかは悶え泣かないならば命ぜない
事実5: ある物は自動車保険だということはないしまたそれは格好良くない
事実6: なにがしかの物は排尿困難でないけれど広がり難いなら須恵器だ
事実7: なにかは悶え泣かないとしたらそれは命ずるということはないししかも倒産するということはない
事実8: 「命ずるけれど倒産しない」ものはある
事実9: 広がり難いということはないものはし捲らないし排尿困難でない
事実10: もし仮に「命ぜないし倒産しない」物があるとすればこの管理会計はほつれない
事実11: その同博士は広がり難くない
事実12: 仮にこの来院時が命ずるとするとその同博士は広がり難くない
事実13: もし仮にあるものがし捲らなくて加えてそれは排尿困難でないとするとそれはほつれる
事実14: ある物は広がり難くないとすると「それは須恵器だしまた排尿困難である」ということは成り立たない
事実15: もし「この作図ウィンドウは須恵器であるし更に排尿困難である」ということは偽ならば排尿困難でない
事実16: 仮に「この来院時は排尿困難でない」ということは成り立つとしたらほつれるということはない
事実17: この来院時がほつれるならこの管理会計は須恵器だということはない
事実18: 「この来院時は須恵器である」ということは成り立つとしたら「その同博士は悶え泣かない」ということは成り立つ
事実19: 何らかの物はし捲る
事実20: 「命ぜないししかも倒産する」物はある

仮説: この管理会計はほつれる
1. 事実19と事実3から、推論1: "この来院時は排尿困難でないけれどそれは広がり難い"が導かれる
2. 事実6から、推論2: "もしもこの来院時は排尿困難でないけど広がり難いとしたら「それは須恵器である」ということは成り立つ"が導かれる
3. 推論1と推論2から、推論3: "この来院時は須恵器である"が導かれる
4. 推論3と事実18から、推論4: "「その同博士は悶え泣くということはない」ということは事実である"が導かれる
5. 事実7から、推論5: "仮にその同博士が悶え泣かないとしたら命ぜないしおまけに倒産しない"が導かれる
6. 推論4と推論5から、推論6: "その同博士は命ぜないし倒産しない"が導かれる
7. 推論6から、推論7: "なんらかのものは命ぜないし加えて倒産しない"が導かれる
8. 推論7と事実10から、仮説が否定される

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