この脊髄型は入れ難い
fact1: もしこの効果発現が裏切るし並行するとすればそれは掃き落とさない fact2: 「もし仮にこの米類が待ち合わせるということはないならばこの脊髄型は論じ合うがしかしそれは入れ難くない」ということは成り立つ fact3: もし「何らかの物は抱えるということはない一方で待ち合わせる」ということは成り立たないとすれば待ち合わせない fact4: あの葉緑は入れ難い fact5: 仮にこの米類が裏切るということはないならこの脊髄型は抱えるし並行する fact6: 「この効果発現は裏切らなくて辛抱強くない」ということは成り立たない fact7: その金融技術は言わす fact8: もし「言わすし油断する」物があるならこの効果発現は並行する fact9: 「この脊髄型は入れ難い」ということは成り立つ fact10: その金融技術は油断する fact11: 「仮にあるものは論じ合わないとすると「入れ難くなくてしかもそれは待ち合わせる」ということは嘘である」ということは偽でない fact12: この脊髄型は掃き落とす fact13: もし「「あるものは裏切らなくてそれは辛抱強くない」ということは真実だ」ということは成り立たないとすると裏切る fact14: ある物が掃き落とすし抱えるとすると「それは論じ合わない」ということは誤りでない
fact9 -> hypothesis;
fact9 -> hypothesis;
この脊髄型は入れ難くない
fact22 -> int1: 「もし仮に「この米類は抱えないけど待ち合わせる」ということは間違いであるならばこの米類は待ち合わせない」ということは真実だ; fact20 -> int2: もし「この効果発現は裏切るということはなくて辛抱強くない」ということは誤っているとしたら裏切る; int2 & fact16 -> int3: この効果発現は裏切る; fact18 & fact15 -> int4: その金融技術は言わすしそれに油断する; int4 -> int5: 何らかのものは言わすし更に油断する; int5 & fact21 -> int6: この効果発現は並行する; int3 & int6 -> int7: この効果発現は裏切るし並行する; fact17 & int7 -> int8: この効果発現は掃き落とさない; int8 -> int9: 「掃き落とさない」物はある;
$facts$ = fact1: もしこの効果発現が裏切るし並行するとすればそれは掃き落とさない fact2: 「もし仮にこの米類が待ち合わせるということはないならばこの脊髄型は論じ合うがしかしそれは入れ難くない」ということは成り立つ fact3: もし「何らかの物は抱えるということはない一方で待ち合わせる」ということは成り立たないとすれば待ち合わせない fact4: あの葉緑は入れ難い fact5: 仮にこの米類が裏切るということはないならこの脊髄型は抱えるし並行する fact6: 「この効果発現は裏切らなくて辛抱強くない」ということは成り立たない fact7: その金融技術は言わす fact8: もし「言わすし油断する」物があるならこの効果発現は並行する fact9: 「この脊髄型は入れ難い」ということは成り立つ fact10: その金融技術は油断する fact11: 「仮にあるものは論じ合わないとすると「入れ難くなくてしかもそれは待ち合わせる」ということは嘘である」ということは偽でない fact12: この脊髄型は掃き落とす fact13: もし「「あるものは裏切らなくてそれは辛抱強くない」ということは真実だ」ということは成り立たないとすると裏切る fact14: ある物が掃き落とすし抱えるとすると「それは論じ合わない」ということは誤りでない ; $hypothesis$ = この脊髄型は入れ難い ; $proof$ = 
fact9 -> hypothesis; __PROVED__
事実1: もしこの効果発現が裏切るし並行するとすればそれは掃き落とさない
事実2: 「もし仮にこの米類が待ち合わせるということはないならばこの脊髄型は論じ合うがしかしそれは入れ難くない」ということは成り立つ
事実3: もし「何らかの物は抱えるということはない一方で待ち合わせる」ということは成り立たないとすれば待ち合わせない
事実4: あの葉緑は入れ難い
事実5: 仮にこの米類が裏切るということはないならこの脊髄型は抱えるし並行する
事実6: 「この効果発現は裏切らなくて辛抱強くない」ということは成り立たない
事実7: その金融技術は言わす
事実8: もし「言わすし油断する」物があるならこの効果発現は並行する
事実9: 「この脊髄型は入れ難い」ということは成り立つ
事実10: その金融技術は油断する
事実11: 「仮にあるものは論じ合わないとすると「入れ難くなくてしかもそれは待ち合わせる」ということは嘘である」ということは偽でない
事実12: この脊髄型は掃き落とす
事実13: もし「「あるものは裏切らなくてそれは辛抱強くない」ということは真実だ」ということは成り立たないとすると裏切る
事実14: ある物が掃き落とすし抱えるとすると「それは論じ合わない」ということは誤りでない

仮説: この脊髄型は入れ難い
1. 事実9から、仮説が導かれる

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