「もし挙行しないならば「血腥いししかも被験者群でない」ということは成り立たない」ものはある
fact1: 「何らかのものは採択しないとすると「それは鍛造するし血腥くない」ということは事実と異なる」ということは誤りでない fact2: もしなにがしかのものは挙行しないなら「血腥くて被験者群である」ということは成り立つということはない fact3: もしこのバーティゴは挙行するとしたら「血腥い一方で被験者群でない」ということは成り立たない fact4: もしこのバーティゴは挙行するということはないとしたら「それは血腥い物でありおまけに被験者群である」ということは事実でない fact5: 「もしも風俗画でないとすれば「右折するしおまけに経済再建であるということはない」ということは成り立たない」物はある fact6: 「公布しないとすれば「マイコンであるがしかし欲深くない」ということは偽な」物はある fact7: もしある物は是正すらないとすると「飛び退るしさらに減損会計意見書だということはない」ということは間違いだ fact8: 「もし挙行しないとすると血腥いけど被験者群だということはない」ものはある fact9: 仮になにかは保ち易くないならば「談論風発だしさらにそれは名残惜しいということはない」ということは事実でない fact10: 仮になにがしかの物はすっごくないならば「それは文勢であるけれど商人らしくない」ということは間違いだ fact11: 「「挙行する」ということは確かであるとすれば「血腥いけれど被験者群であるということはない」ということは嘘である」物はある fact12: 仮にとある物は挙行しないとすると「血腥くてまた被験者群でない」ということは誤りである fact13: このバーティゴは与え易くないとすれば「被験者群であるしそれにそれは存在性でない」ということは成り立たない fact14: もし仮にこのバーティゴが挙行しないとするとそれは血腥いし被験者群でない fact15: もし何らかのものは覚え難いということはないなら「それは色好いが異常高値でない」ということは正しいということはない fact16: ある物が挙行しないならそれは血腥いが被験者群でない fact17: 「もし挙行しないならば「血腥くて加えて被験者群である」ということは真実だということはない」物はある fact18: 仮になにがしかのものは挙行するとすれば「それは血腥いしそれに被験者群でない」ということは成り立たない
fact12 -> int1: もし仮にこのバーティゴは挙行するということはないとすると「血腥いが被験者群でない」ということは成り立たない; int1 -> hypothesis;
もし仮にこの油Ｂは採択しないとすると「それは鍛造する一方で血腥いということはない」ということは偽だ
fact19 -> hypothesis;
$facts$ = fact1: 「何らかのものは採択しないとすると「それは鍛造するし血腥くない」ということは事実と異なる」ということは誤りでない fact2: もしなにがしかのものは挙行しないなら「血腥くて被験者群である」ということは成り立つということはない fact3: もしこのバーティゴは挙行するとしたら「血腥い一方で被験者群でない」ということは成り立たない fact4: もしこのバーティゴは挙行するということはないとしたら「それは血腥い物でありおまけに被験者群である」ということは事実でない fact5: 「もしも風俗画でないとすれば「右折するしおまけに経済再建であるということはない」ということは成り立たない」物はある fact6: 「公布しないとすれば「マイコンであるがしかし欲深くない」ということは偽な」物はある fact7: もしある物は是正すらないとすると「飛び退るしさらに減損会計意見書だということはない」ということは間違いだ fact8: 「もし挙行しないとすると血腥いけど被験者群だということはない」ものはある fact9: 仮になにかは保ち易くないならば「談論風発だしさらにそれは名残惜しいということはない」ということは事実でない fact10: 仮になにがしかの物はすっごくないならば「それは文勢であるけれど商人らしくない」ということは間違いだ fact11: 「「挙行する」ということは確かであるとすれば「血腥いけれど被験者群であるということはない」ということは嘘である」物はある fact12: 仮にとある物は挙行しないとすると「血腥くてまた被験者群でない」ということは誤りである fact13: このバーティゴは与え易くないとすれば「被験者群であるしそれにそれは存在性でない」ということは成り立たない fact14: もし仮にこのバーティゴが挙行しないとするとそれは血腥いし被験者群でない fact15: もし何らかのものは覚え難いということはないなら「それは色好いが異常高値でない」ということは正しいということはない fact16: ある物が挙行しないならそれは血腥いが被験者群でない fact17: 「もし挙行しないならば「血腥くて加えて被験者群である」ということは真実だということはない」物はある fact18: 仮になにがしかのものは挙行するとすれば「それは血腥いしそれに被験者群でない」ということは成り立たない ; $hypothesis$ = 「もし挙行しないならば「血腥いししかも被験者群でない」ということは成り立たない」ものはある ; $proof$ = 
fact12 -> int1: もし仮にこのバーティゴは挙行するということはないとすると「血腥いが被験者群でない」ということは成り立たない; int1 -> hypothesis; __PROVED__
事実1: 「何らかのものは採択しないとすると「それは鍛造するし血腥くない」ということは事実と異なる」ということは誤りでない
事実2: もしなにがしかのものは挙行しないなら「血腥くて被験者群である」ということは成り立つということはない
事実3: もしこのバーティゴは挙行するとしたら「血腥い一方で被験者群でない」ということは成り立たない
事実4: もしこのバーティゴは挙行するということはないとしたら「それは血腥い物でありおまけに被験者群である」ということは事実でない
事実5: 「もしも風俗画でないとすれば「右折するしおまけに経済再建であるということはない」ということは成り立たない」物はある
事実6: 「公布しないとすれば「マイコンであるがしかし欲深くない」ということは偽な」物はある
事実7: もしある物は是正すらないとすると「飛び退るしさらに減損会計意見書だということはない」ということは間違いだ
事実8: 「もし挙行しないとすると血腥いけど被験者群だということはない」ものはある
事実9: 仮になにかは保ち易くないならば「談論風発だしさらにそれは名残惜しいということはない」ということは事実でない
事実10: 仮になにがしかの物はすっごくないならば「それは文勢であるけれど商人らしくない」ということは間違いだ
事実11: 「「挙行する」ということは確かであるとすれば「血腥いけれど被験者群であるということはない」ということは嘘である」物はある
事実12: 仮にとある物は挙行しないとすると「血腥くてまた被験者群でない」ということは誤りである
事実13: このバーティゴは与え易くないとすれば「被験者群であるしそれにそれは存在性でない」ということは成り立たない
事実14: もし仮にこのバーティゴが挙行しないとするとそれは血腥いし被験者群でない
事実15: もし何らかのものは覚え難いということはないなら「それは色好いが異常高値でない」ということは正しいということはない
事実16: ある物が挙行しないならそれは血腥いが被験者群でない
事実17: 「もし挙行しないならば「血腥くて加えて被験者群である」ということは真実だということはない」物はある
事実18: 仮になにがしかのものは挙行するとすれば「それは血腥いしそれに被験者群でない」ということは成り立たない

仮説: 「もし挙行しないならば「血腥いししかも被験者群でない」ということは成り立たない」ものはある
1. 事実12から、推論1: "もし仮にこのバーティゴは挙行するということはないとすると「血腥いが被験者群でない」ということは成り立たない"が導かれる
2. 推論1から、仮説が導かれる

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