その建築設備は酸化し難くない
fact1: もし仮に「あの非自民は笑い掛ける」ということは事実だとすれば「その大盛り上がりは入れ易くないが勾留中だ」ということは成り立たない fact2: もしあの頂角は双六川であるとしたら「その建築設備は酸化し難くない」ということは正しい fact3: もし仮に何かは見難いとしたら精進湖である fact4: 何かは双六川であるし親しみ易い fact5: 「居住しない」ものはある fact6: 精進湖は笑い掛ける fact7: 「あの種類株式は酸化し難い」ということは本当だとしたらその建築設備は親しみ易くない fact8: 「その大盛り上がりは入れ易くないが勾留中である」ということは成り立つということはないならあの減縮は入れ易くない fact9: もしも何らかのものは宝物でないとすれば「見難くない一方で弱い」ということは間違いである fact10: 仮に予測し易い物は親しみ易くないとすると「あの頂角は双六川だ」ということは事実である fact11: 「居住する」物はある fact12: もしもあの減縮が入れ易くないとするとあの頂角は親しみ易いし双六川だ fact13: 仮にあの頂角が親しみ易いしかつそれが双六川であるとするとあの種類株式は予測し易くない fact14: もし何らかのものが予測し易くないとしたら酸化し難いし居住する fact15: もしあの種類株式が酸化し難いとすればあの建築設備は酸化し難い fact16: とある物が居住するということはないとしたらあの種類株式は予測し易い一方で親しみ易くない fact17: 「親しみ易いということはない」物はある fact18: もし「何らかの物は見難くないけれど弱い」ということは成り立たないならそれは見難い fact19: 仮に「何らかのものは汚れ易いがしかし小難しくない」ということは誤っているとすればそれは宝物でない
fact5 & fact16 -> int1: あの種類株式は予測し易いけれど親しみ易くない; int1 -> int2: 予測し易くておまけに親しみ易くないものはある; int2 & fact10 -> int3: あの頂角は双六川だ; int3 & fact2 -> hypothesis;
その建築設備は酸化し難い
fact25 -> int4: もし仮にあの種類株式は予測し易くないとするとそれは酸化し難いしさらに居住する; fact22 -> int5: もしあの非自民が精進湖だとすればそれは笑い掛ける; fact26 -> int6: あの非自民が見難いならば精進湖である; fact20 -> int7: もし仮に「あの非自民は見難くないが弱い」ということは偽であるならばそれは見難い; fact29 -> int8: あの非自民は宝物でないとすれば「見難くないけど弱い」ということは偽だ; fact30 -> int9: 「あの非自民は汚れ易い一方で小難しくない」ということは誤りだとすると宝物でない;
$facts$ = fact1: もし仮に「あの非自民は笑い掛ける」ということは事実だとすれば「その大盛り上がりは入れ易くないが勾留中だ」ということは成り立たない fact2: もしあの頂角は双六川であるとしたら「その建築設備は酸化し難くない」ということは正しい fact3: もし仮に何かは見難いとしたら精進湖である fact4: 何かは双六川であるし親しみ易い fact5: 「居住しない」ものはある fact6: 精進湖は笑い掛ける fact7: 「あの種類株式は酸化し難い」ということは本当だとしたらその建築設備は親しみ易くない fact8: 「その大盛り上がりは入れ易くないが勾留中である」ということは成り立つということはないならあの減縮は入れ易くない fact9: もしも何らかのものは宝物でないとすれば「見難くない一方で弱い」ということは間違いである fact10: 仮に予測し易い物は親しみ易くないとすると「あの頂角は双六川だ」ということは事実である fact11: 「居住する」物はある fact12: もしもあの減縮が入れ易くないとするとあの頂角は親しみ易いし双六川だ fact13: 仮にあの頂角が親しみ易いしかつそれが双六川であるとするとあの種類株式は予測し易くない fact14: もし何らかのものが予測し易くないとしたら酸化し難いし居住する fact15: もしあの種類株式が酸化し難いとすればあの建築設備は酸化し難い fact16: とある物が居住するということはないとしたらあの種類株式は予測し易い一方で親しみ易くない fact17: 「親しみ易いということはない」物はある fact18: もし「何らかの物は見難くないけれど弱い」ということは成り立たないならそれは見難い fact19: 仮に「何らかのものは汚れ易いがしかし小難しくない」ということは誤っているとすればそれは宝物でない ; $hypothesis$ = その建築設備は酸化し難くない ; $proof$ = 
fact5 & fact16 -> int1: あの種類株式は予測し易いけれど親しみ易くない; int1 -> int2: 予測し易くておまけに親しみ易くないものはある; int2 & fact10 -> int3: あの頂角は双六川だ; int3 & fact2 -> hypothesis; __PROVED__
事実1: もし仮に「あの非自民は笑い掛ける」ということは事実だとすれば「その大盛り上がりは入れ易くないが勾留中だ」ということは成り立たない
事実2: もしあの頂角は双六川であるとしたら「その建築設備は酸化し難くない」ということは正しい
事実3: もし仮に何かは見難いとしたら精進湖である
事実4: 何かは双六川であるし親しみ易い
事実5: 「居住しない」ものはある
事実6: 精進湖は笑い掛ける
事実7: 「あの種類株式は酸化し難い」ということは本当だとしたらその建築設備は親しみ易くない
事実8: 「その大盛り上がりは入れ易くないが勾留中である」ということは成り立つということはないならあの減縮は入れ易くない
事実9: もしも何らかのものは宝物でないとすれば「見難くない一方で弱い」ということは間違いである
事実10: 仮に予測し易い物は親しみ易くないとすると「あの頂角は双六川だ」ということは事実である
事実11: 「居住する」物はある
事実12: もしもあの減縮が入れ易くないとするとあの頂角は親しみ易いし双六川だ
事実13: 仮にあの頂角が親しみ易いしかつそれが双六川であるとするとあの種類株式は予測し易くない
事実14: もし何らかのものが予測し易くないとしたら酸化し難いし居住する
事実15: もしあの種類株式が酸化し難いとすればあの建築設備は酸化し難い
事実16: とある物が居住するということはないとしたらあの種類株式は予測し易い一方で親しみ易くない
事実17: 「親しみ易いということはない」物はある
事実18: もし「何らかの物は見難くないけれど弱い」ということは成り立たないならそれは見難い
事実19: 仮に「何らかのものは汚れ易いがしかし小難しくない」ということは誤っているとすればそれは宝物でない

仮説: その建築設備は酸化し難くない
1. 事実5と事実16から、推論1: "あの種類株式は予測し易いけれど親しみ易くない"が導かれる
2. 推論1から、推論2: "予測し易くておまけに親しみ易くないものはある"が導かれる
3. 推論2と事実10から、推論3: "あの頂角は双六川だ"が導かれる
4. 推論3と事実2から、仮説が導かれる

よって、仮説が証明されました。