「このマグネシウム合金は使い難いがしかしいとおしくない」ということは誤りである
fact1: 「このカルテルは激し過ぎる」ということは事実だ fact2: 「「星状光彩だし棄権しない」ということは成り立たない」物があるならその飛び級は棄権する fact3: もし仮に「何らかの物はロック出来ないしそれにそれは揺らない」ということは成り立つということはないとすれば「涼むということはない」ということは成り立たない fact4: 仮にこのマグネシウム合金が涼めばそれは使い難くてそれにいとおしくない fact5: もしあの超過速度は揺らないけれどスポーツマンらしいなら「あの江戸後期は揺る」ということは真実である fact6: このマグネシウム合金はいとおしくない fact7: もし仮に「揺る」ものはあるとすれば「その飛び級はロック出来なくてそれに揺らない」ということは間違いだ fact8: 何かは上梓するなら揺らないしそれにそれはスポーツマンらしい fact9: その神さんは収拾する fact10: あのジスルフィラムは名家であるということはないとしたら「この窒化は星状光彩である一方でそれは棄権しない」ということは嘘だ fact11: 仮にあの五十年史は激し過ぎないとすると「このマグネシウム合金は使い難いけどいとおしいということはない」ということは偽である fact12: 仮に「「このメタクリル酸は名家でないがそれは幼けない」ということは間違っている」ということは真実だとするとあのジスルフィラムは名家でない fact13: もしもこのマグネシウム合金が涼むとすればそれはいとおしくない fact14: 「あの五十年史は激し過ぎる」ということは事実だ fact15: 「このマグネシウム合金は激し過ぎる」ということは確かだ fact16: 「名家でない一方で幼けないという物はない」ということは確かである fact17: 「収拾する」物はあれば「あの超過速度は上梓するし認可決定書謄本だ」ということは真実だ fact18: もし「あの五十年史は棄権する」ということは真実であるならばあのマグネシウム合金は涼む fact19: もし仮にあの五十年史が激し過ぎるとしたらそれは棄権する
fact19 & fact14 -> int1: あの五十年史は棄権する; int1 & fact18 -> int2: このマグネシウム合金は涼む; int2 & fact4 -> hypothesis;
「このマグネシウム合金は使い難いがいとおしいということはない」ということは事実と異なる
fact20 -> int3: 仮に「その飛び級はロック出来るということはないしその上揺らない」ということは本当でないとすればそれは涼む; fact26 -> int4: 仮にあの超過速度が上梓するならそれは揺らないしスポーツマンらしい; fact22 -> int5: あるものは収拾する; int5 & fact27 -> int6: あの超過速度は上梓するし認可決定書謄本だ; int6 -> int7: あの超過速度は上梓する; int4 & int7 -> int8: あの超過速度は揺らない一方でそれはスポーツマンらしい; fact30 & int8 -> int9: あの江戸後期は揺る; int9 -> int10: 「揺る」物はある; int10 & fact28 -> int11: 「その飛び級はロック出来るということはないしおまけに揺らない」ということは間違いである; int3 & int11 -> int12: その飛び級は涼む; fact21 -> int13: 「このメタクリル酸は名家でないけれど幼けない」ということは間違いだ; fact24 & int13 -> int14: あのジスルフィラムは名家でない; fact29 & int14 -> int15: 「この窒化は星状光彩だがしかし棄権しない」ということは誤りだ; int15 -> int16: 「「星状光彩でおまけに棄権しない」ということは事実と異なる」物はある; int16 & fact23 -> int17: その飛び級は棄権する; int12 & int17 -> int18: その飛び級は涼むしその上棄権する; int18 -> int19: 何らかの物は涼むしさらに棄権する;
$facts$ = fact1: 「このカルテルは激し過ぎる」ということは事実だ fact2: 「「星状光彩だし棄権しない」ということは成り立たない」物があるならその飛び級は棄権する fact3: もし仮に「何らかの物はロック出来ないしそれにそれは揺らない」ということは成り立つということはないとすれば「涼むということはない」ということは成り立たない fact4: 仮にこのマグネシウム合金が涼めばそれは使い難くてそれにいとおしくない fact5: もしあの超過速度は揺らないけれどスポーツマンらしいなら「あの江戸後期は揺る」ということは真実である fact6: このマグネシウム合金はいとおしくない fact7: もし仮に「揺る」ものはあるとすれば「その飛び級はロック出来なくてそれに揺らない」ということは間違いだ fact8: 何かは上梓するなら揺らないしそれにそれはスポーツマンらしい fact9: その神さんは収拾する fact10: あのジスルフィラムは名家であるということはないとしたら「この窒化は星状光彩である一方でそれは棄権しない」ということは嘘だ fact11: 仮にあの五十年史は激し過ぎないとすると「このマグネシウム合金は使い難いけどいとおしいということはない」ということは偽である fact12: 仮に「「このメタクリル酸は名家でないがそれは幼けない」ということは間違っている」ということは真実だとするとあのジスルフィラムは名家でない fact13: もしもこのマグネシウム合金が涼むとすればそれはいとおしくない fact14: 「あの五十年史は激し過ぎる」ということは事実だ fact15: 「このマグネシウム合金は激し過ぎる」ということは確かだ fact16: 「名家でない一方で幼けないという物はない」ということは確かである fact17: 「収拾する」物はあれば「あの超過速度は上梓するし認可決定書謄本だ」ということは真実だ fact18: もし「あの五十年史は棄権する」ということは真実であるならばあのマグネシウム合金は涼む fact19: もし仮にあの五十年史が激し過ぎるとしたらそれは棄権する ; $hypothesis$ = 「このマグネシウム合金は使い難いがしかしいとおしくない」ということは誤りである ; $proof$ = 
fact19 & fact14 -> int1: あの五十年史は棄権する; int1 & fact18 -> int2: このマグネシウム合金は涼む; int2 & fact4 -> hypothesis; __DISPROVED__
事実1: 「このカルテルは激し過ぎる」ということは事実だ
事実2: 「「星状光彩だし棄権しない」ということは成り立たない」物があるならその飛び級は棄権する
事実3: もし仮に「何らかの物はロック出来ないしそれにそれは揺らない」ということは成り立つということはないとすれば「涼むということはない」ということは成り立たない
事実4: 仮にこのマグネシウム合金が涼めばそれは使い難くてそれにいとおしくない
事実5: もしあの超過速度は揺らないけれどスポーツマンらしいなら「あの江戸後期は揺る」ということは真実である
事実6: このマグネシウム合金はいとおしくない
事実7: もし仮に「揺る」ものはあるとすれば「その飛び級はロック出来なくてそれに揺らない」ということは間違いだ
事実8: 何かは上梓するなら揺らないしそれにそれはスポーツマンらしい
事実9: その神さんは収拾する
事実10: あのジスルフィラムは名家であるということはないとしたら「この窒化は星状光彩である一方でそれは棄権しない」ということは嘘だ
事実11: 仮にあの五十年史は激し過ぎないとすると「このマグネシウム合金は使い難いけどいとおしいということはない」ということは偽である
事実12: 仮に「「このメタクリル酸は名家でないがそれは幼けない」ということは間違っている」ということは真実だとするとあのジスルフィラムは名家でない
事実13: もしもこのマグネシウム合金が涼むとすればそれはいとおしくない
事実14: 「あの五十年史は激し過ぎる」ということは事実だ
事実15: 「このマグネシウム合金は激し過ぎる」ということは確かだ
事実16: 「名家でない一方で幼けないという物はない」ということは確かである
事実17: 「収拾する」物はあれば「あの超過速度は上梓するし認可決定書謄本だ」ということは真実だ
事実18: もし「あの五十年史は棄権する」ということは真実であるならばあのマグネシウム合金は涼む
事実19: もし仮にあの五十年史が激し過ぎるとしたらそれは棄権する

仮説: 「このマグネシウム合金は使い難いがしかしいとおしくない」ということは誤りである
1. 事実19と事実14から、推論1: "あの五十年史は棄権する"が導かれる
2. 推論1と事実18から、推論2: "このマグネシウム合金は涼む"が導かれる
3. 推論2と事実4から、仮説が否定される

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