このクローン病は扱い難い
fact1: もしも「この茸ちゃんは間男しないがしかしそれはアマチュアリズムである」ということは確かでないとすればこのクローン病は扱い難くない fact2: もし「このクローン病はアマチュアリズムでないがしかし扱い難い」ということは成り立たないならこの茸ちゃんは間男しない fact3: もし「「とある物は間男するしその上アマチュアリズムだ」ということは確かである」ということは成り立たないとすれば「それは間男するということはない」ということは本当である fact4: もしも「この茸ちゃんはアマチュアリズムでないが扱い難い」ということは偽であるとしたらこのクローン病は間男しない fact5: なにかは地獄図絵でない fact6: 「「この茸ちゃんは間男するしまたアマチュアリズムだ」ということは事実だ」ということは成り立たない fact7: もし「アマチュアリズムだということはない」ものはあれば「このクローン病は扱い難くない一方でそれは間男する」ということは成り立たない fact8: 「もし仮に「アマチュアリズムでない」ものはあるとすると「このクローン病は間男しないけれど扱い難い」ということは誤っている」ということは本当だ fact9: もしもこの茸ちゃんが間男するとすればあのクローン病は扱い難いということはない fact10: 仮に「このクローン病は扱い難くないがしかしアマチュアリズムだ」ということは間違っているとすると「この茸ちゃんは間男するということはない」ということは成り立つ fact11: 仮になんらかのものは地獄図絵でないとすれば「この茸ちゃんは間男するしさらにアマチュアリズムだ」ということは確かでない fact12: もし仮になにがしかの物は地獄図絵であるということはないなら「この茸ちゃんは間男しないがアマチュアリズムだ」ということは間違っている fact13: 仮に「このクローン病は間男するが地獄図絵でない」ということは成り立たないならこの茸ちゃんは病原微生物でない fact14: 「このクローン病は立て易いということはないけれど間男する」ということは誤りだ fact15: 「「地獄図絵である」ということは確かな」ものはある fact16: その証拠法は間男しない
fact5 & fact12 -> int1: 「この茸ちゃんは間男しないけどアマチュアリズムだ」ということは誤りである; int1 & fact1 -> hypothesis;
fact5 & fact12 -> int1: ¬(¬{B}{a} & {C}{a}); int1 & fact1 -> hypothesis;
「病原微生物でない」物はある
$facts$ = fact1: もしも「この茸ちゃんは間男しないがしかしそれはアマチュアリズムである」ということは確かでないとすればこのクローン病は扱い難くない fact2: もし「このクローン病はアマチュアリズムでないがしかし扱い難い」ということは成り立たないならこの茸ちゃんは間男しない fact3: もし「「とある物は間男するしその上アマチュアリズムだ」ということは確かである」ということは成り立たないとすれば「それは間男するということはない」ということは本当である fact4: もしも「この茸ちゃんはアマチュアリズムでないが扱い難い」ということは偽であるとしたらこのクローン病は間男しない fact5: なにかは地獄図絵でない fact6: 「「この茸ちゃんは間男するしまたアマチュアリズムだ」ということは事実だ」ということは成り立たない fact7: もし「アマチュアリズムだということはない」ものはあれば「このクローン病は扱い難くない一方でそれは間男する」ということは成り立たない fact8: 「もし仮に「アマチュアリズムでない」ものはあるとすると「このクローン病は間男しないけれど扱い難い」ということは誤っている」ということは本当だ fact9: もしもこの茸ちゃんが間男するとすればあのクローン病は扱い難いということはない fact10: 仮に「このクローン病は扱い難くないがしかしアマチュアリズムだ」ということは間違っているとすると「この茸ちゃんは間男するということはない」ということは成り立つ fact11: 仮になんらかのものは地獄図絵でないとすれば「この茸ちゃんは間男するしさらにアマチュアリズムだ」ということは確かでない fact12: もし仮になにがしかの物は地獄図絵であるということはないなら「この茸ちゃんは間男しないがアマチュアリズムだ」ということは間違っている fact13: 仮に「このクローン病は間男するが地獄図絵でない」ということは成り立たないならこの茸ちゃんは病原微生物でない fact14: 「このクローン病は立て易いということはないけれど間男する」ということは誤りだ fact15: 「「地獄図絵である」ということは確かな」ものはある fact16: その証拠法は間男しない ; $hypothesis$ = このクローン病は扱い難い ; $proof$ = 
fact5 & fact12 -> int1: 「この茸ちゃんは間男しないけどアマチュアリズムだ」ということは誤りである; int1 & fact1 -> hypothesis; __DISPROVED__
事実1: もしも「この茸ちゃんは間男しないがしかしそれはアマチュアリズムである」ということは確かでないとすればこのクローン病は扱い難くない
事実2: もし「このクローン病はアマチュアリズムでないがしかし扱い難い」ということは成り立たないならこの茸ちゃんは間男しない
事実3: もし「「とある物は間男するしその上アマチュアリズムだ」ということは確かである」ということは成り立たないとすれば「それは間男するということはない」ということは本当である
事実4: もしも「この茸ちゃんはアマチュアリズムでないが扱い難い」ということは偽であるとしたらこのクローン病は間男しない
事実5: なにかは地獄図絵でない
事実6: 「「この茸ちゃんは間男するしまたアマチュアリズムだ」ということは事実だ」ということは成り立たない
事実7: もし「アマチュアリズムだということはない」ものはあれば「このクローン病は扱い難くない一方でそれは間男する」ということは成り立たない
事実8: 「もし仮に「アマチュアリズムでない」ものはあるとすると「このクローン病は間男しないけれど扱い難い」ということは誤っている」ということは本当だ
事実9: もしもこの茸ちゃんが間男するとすればあのクローン病は扱い難いということはない
事実10: 仮に「このクローン病は扱い難くないがしかしアマチュアリズムだ」ということは間違っているとすると「この茸ちゃんは間男するということはない」ということは成り立つ
事実11: 仮になんらかのものは地獄図絵でないとすれば「この茸ちゃんは間男するしさらにアマチュアリズムだ」ということは確かでない
事実12: もし仮になにがしかの物は地獄図絵であるということはないなら「この茸ちゃんは間男しないがアマチュアリズムだ」ということは間違っている
事実13: 仮に「このクローン病は間男するが地獄図絵でない」ということは成り立たないならこの茸ちゃんは病原微生物でない
事実14: 「このクローン病は立て易いということはないけれど間男する」ということは誤りだ
事実15: 「「地獄図絵である」ということは確かな」ものはある
事実16: その証拠法は間男しない

仮説: このクローン病は扱い難い
1. 事実5と事実12から、推論1: "「この茸ちゃんは間男しないけどアマチュアリズムだ」ということは誤りである"が導かれる
2. 推論1と事実1から、仮説が否定される

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