「この魔法街は生育しない一方で寸評である」ということは成り立つということはない
fact1: もしもこのトップ・クライマーは湯治でないとすれば「このマルチ・ステークホルダー・インボルブメントは湯治でない」ということは偽でない fact2: この魔法街は担う fact3: 仮にこのマルチ・ステークホルダー・インボルブメントは不味くないとすれば「それは果せるしかつ姉らしくない」ということは成り立たない fact4: もし仮に「このマルチ・ステークホルダー・インボルブメントはどすだ」ということは事実だとすればこの魔法街は生育しない fact5: もし「この打ち粉はおっかしくない一方でそれは担う」ということは偽であるとすればこのトップ・クライマーはおっかしくない fact6: もしもこの魔法街は担うなら「それは乗り易い」ということは成り立つ fact7: もし仮にこの魔法街は乗り易いなら「使い易いかまたはおっかしいということはない」ということは間違っている fact8: もしなんらかのものが果せらないとしたら湯治だ fact9: 「この魔法街は使い易いかまたはおっかしい」ということは成り立たないなら寸評である fact10: 「この打ち粉は乗り易い」ということは成り立つとすると「それはおっかしくないがしかし担う」ということは成り立たない fact11: もし仮になんらかの物はおっかしくないとしたら「それは使い易いということはないけれど湯治である」ということは確かでない fact12: 「「とある物は使い易いかあるいはおっかしくない」ということは事実と異なるとすれば寸評だ」ということは間違いでない fact13: 仮に「ある物は果せるがしかし姉らしくない」ということは正しくないなら湯治である fact14: もしこのマルチ・ステークホルダー・インボルブメントは果せるということはないとしたら「湯治だ」ということは本当だ fact15: このマルチ・ステークホルダー・インボルブメントは不味くない fact16: この魔法街はおっかしい fact17: 仮に「このマルチ・ステークホルダー・インボルブメントは湯治でない」ということは確かだとすると「それは不味くないがしかしどすである」ということは誤りである fact18: もし「なにがしかのものは使い易いかおっかしいか両方である」ということは成り立たないならば「それは寸評でない」ということは偽である fact19: このマルチ・ステークホルダー・インボルブメントは担わない fact20: そのオーディオミキサーは不味くない fact21: もしも「このトップ・クライマーは使い易くないがしかしそれは湯治である」ということは誤りであるとするとそれは湯治でない fact22: もし仮に「この魔法街は乗り易い」ということは正しいとするとおっかしい fact23: もし仮にこのマルチ・ステークホルダー・インボルブメントが湯治であるかまたはそれがどすであるならばこの魔法街は生育しない
fact3 & fact15 -> int1: 「このマルチ・ステークホルダー・インボルブメントは果せる一方で姉らしくない」ということは誤っている; fact13 -> int2: もしも「このマルチ・ステークホルダー・インボルブメントは果せるけど姉らしくない」ということは誤りであるとすれば湯治だ; int1 & int2 -> int3: このマルチ・ステークホルダー・インボルブメントは湯治だ; int3 -> int4: このマルチ・ステークホルダー・インボルブメントは湯治であるかあるいはそれはどすである; int4 & fact23 -> int5: この魔法街は生育しない; fact12 -> int6: もし「この魔法街は使い易いかもしくはおっかしくないかまたは両方ともである」ということは成り立たないなら寸評だ; fact2 & fact6 -> int7: この魔法街は乗り易い; int7 & fact7 -> int8: 「この魔法街は使い易いかもしくはおっかしいということはない」ということは確かでない; int6 & int8 -> int9: この魔法街は寸評である; int5 & int9 -> hypothesis;
「この魔法街は生育しないがしかし寸評だ」ということは事実と異なる
fact29 -> int10: もしもこのトップ・クライマーはおっかしくないとすると「それは使い易くないけれど湯治だ」ということは嘘だ;
$facts$ = fact1: もしもこのトップ・クライマーは湯治でないとすれば「このマルチ・ステークホルダー・インボルブメントは湯治でない」ということは偽でない fact2: この魔法街は担う fact3: 仮にこのマルチ・ステークホルダー・インボルブメントは不味くないとすれば「それは果せるしかつ姉らしくない」ということは成り立たない fact4: もし仮に「このマルチ・ステークホルダー・インボルブメントはどすだ」ということは事実だとすればこの魔法街は生育しない fact5: もし「この打ち粉はおっかしくない一方でそれは担う」ということは偽であるとすればこのトップ・クライマーはおっかしくない fact6: もしもこの魔法街は担うなら「それは乗り易い」ということは成り立つ fact7: もし仮にこの魔法街は乗り易いなら「使い易いかまたはおっかしいということはない」ということは間違っている fact8: もしなんらかのものが果せらないとしたら湯治だ fact9: 「この魔法街は使い易いかまたはおっかしい」ということは成り立たないなら寸評である fact10: 「この打ち粉は乗り易い」ということは成り立つとすると「それはおっかしくないがしかし担う」ということは成り立たない fact11: もし仮になんらかの物はおっかしくないとしたら「それは使い易いということはないけれど湯治である」ということは確かでない fact12: 「「とある物は使い易いかあるいはおっかしくない」ということは事実と異なるとすれば寸評だ」ということは間違いでない fact13: 仮に「ある物は果せるがしかし姉らしくない」ということは正しくないなら湯治である fact14: もしこのマルチ・ステークホルダー・インボルブメントは果せるということはないとしたら「湯治だ」ということは本当だ fact15: このマルチ・ステークホルダー・インボルブメントは不味くない fact16: この魔法街はおっかしい fact17: 仮に「このマルチ・ステークホルダー・インボルブメントは湯治でない」ということは確かだとすると「それは不味くないがしかしどすである」ということは誤りである fact18: もし「なにがしかのものは使い易いかおっかしいか両方である」ということは成り立たないならば「それは寸評でない」ということは偽である fact19: このマルチ・ステークホルダー・インボルブメントは担わない fact20: そのオーディオミキサーは不味くない fact21: もしも「このトップ・クライマーは使い易くないがしかしそれは湯治である」ということは誤りであるとするとそれは湯治でない fact22: もし仮に「この魔法街は乗り易い」ということは正しいとするとおっかしい fact23: もし仮にこのマルチ・ステークホルダー・インボルブメントが湯治であるかまたはそれがどすであるならばこの魔法街は生育しない ; $hypothesis$ = 「この魔法街は生育しない一方で寸評である」ということは成り立つということはない ; $proof$ = 
fact3 & fact15 -> int1: 「このマルチ・ステークホルダー・インボルブメントは果せる一方で姉らしくない」ということは誤っている; fact13 -> int2: もしも「このマルチ・ステークホルダー・インボルブメントは果せるけど姉らしくない」ということは誤りであるとすれば湯治だ; int1 & int2 -> int3: このマルチ・ステークホルダー・インボルブメントは湯治だ; int3 -> int4: このマルチ・ステークホルダー・インボルブメントは湯治であるかあるいはそれはどすである; int4 & fact23 -> int5: この魔法街は生育しない; fact12 -> int6: もし「この魔法街は使い易いかもしくはおっかしくないかまたは両方ともである」ということは成り立たないなら寸評だ; fact2 & fact6 -> int7: この魔法街は乗り易い; int7 & fact7 -> int8: 「この魔法街は使い易いかもしくはおっかしいということはない」ということは確かでない; int6 & int8 -> int9: この魔法街は寸評である; int5 & int9 -> hypothesis; __DISPROVED__
事実1: もしもこのトップ・クライマーは湯治でないとすれば「このマルチ・ステークホルダー・インボルブメントは湯治でない」ということは偽でない
事実2: この魔法街は担う
事実3: 仮にこのマルチ・ステークホルダー・インボルブメントは不味くないとすれば「それは果せるしかつ姉らしくない」ということは成り立たない
事実4: もし仮に「このマルチ・ステークホルダー・インボルブメントはどすだ」ということは事実だとすればこの魔法街は生育しない
事実5: もし「この打ち粉はおっかしくない一方でそれは担う」ということは偽であるとすればこのトップ・クライマーはおっかしくない
事実6: もしもこの魔法街は担うなら「それは乗り易い」ということは成り立つ
事実7: もし仮にこの魔法街は乗り易いなら「使い易いかまたはおっかしいということはない」ということは間違っている
事実8: もしなんらかのものが果せらないとしたら湯治だ
事実9: 「この魔法街は使い易いかまたはおっかしい」ということは成り立たないなら寸評である
事実10: 「この打ち粉は乗り易い」ということは成り立つとすると「それはおっかしくないがしかし担う」ということは成り立たない
事実11: もし仮になんらかの物はおっかしくないとしたら「それは使い易いということはないけれど湯治である」ということは確かでない
事実12: 「「とある物は使い易いかあるいはおっかしくない」ということは事実と異なるとすれば寸評だ」ということは間違いでない
事実13: 仮に「ある物は果せるがしかし姉らしくない」ということは正しくないなら湯治である
事実14: もしこのマルチ・ステークホルダー・インボルブメントは果せるということはないとしたら「湯治だ」ということは本当だ
事実15: このマルチ・ステークホルダー・インボルブメントは不味くない
事実16: この魔法街はおっかしい
事実17: 仮に「このマルチ・ステークホルダー・インボルブメントは湯治でない」ということは確かだとすると「それは不味くないがしかしどすである」ということは誤りである
事実18: もし「なにがしかのものは使い易いかおっかしいか両方である」ということは成り立たないならば「それは寸評でない」ということは偽である
事実19: このマルチ・ステークホルダー・インボルブメントは担わない
事実20: そのオーディオミキサーは不味くない
事実21: もしも「このトップ・クライマーは使い易くないがしかしそれは湯治である」ということは誤りであるとするとそれは湯治でない
事実22: もし仮に「この魔法街は乗り易い」ということは正しいとするとおっかしい
事実23: もし仮にこのマルチ・ステークホルダー・インボルブメントが湯治であるかまたはそれがどすであるならばこの魔法街は生育しない

仮説: 「この魔法街は生育しない一方で寸評である」ということは成り立つということはない
1. 事実3と事実15から、推論1: "「このマルチ・ステークホルダー・インボルブメントは果せる一方で姉らしくない」ということは誤っている"が導かれる
2. 事実13から、推論2: "もしも「このマルチ・ステークホルダー・インボルブメントは果せるけど姉らしくない」ということは誤りであるとすれば湯治だ"が導かれる
3. 推論1と推論2から、推論3: "このマルチ・ステークホルダー・インボルブメントは湯治だ"が導かれる
4. 推論3から、推論4: "このマルチ・ステークホルダー・インボルブメントは湯治であるかあるいはそれはどすである"が導かれる
5. 推論4と事実23から、推論5: "この魔法街は生育しない"が導かれる
6. 事実12から、推論6: "もし「この魔法街は使い易いかもしくはおっかしくないかまたは両方ともである」ということは成り立たないなら寸評だ"が導かれる
7. 事実2と事実6から、推論7: "この魔法街は乗り易い"が導かれる
8. 推論7と事実7から、推論8: "「この魔法街は使い易いかもしくはおっかしいということはない」ということは確かでない"が導かれる
9. 推論6と推論8から、推論9: "この魔法街は寸評である"が導かれる
10. 推論5と推論9から、仮説が否定される

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