「仮に変動パターンであるしその上操作出来ないとすれば生らない」物はある
fact1: 仮にあるものが変動パターンであるしそれにそれが操作出来るとしたら生らない fact2: もしもあの容疑者は加入する一方で操作出来ないならばそれは盛り付けない fact3: 「もしも変動パターンであるし更に操作出来るとすれば生らない」ものはある fact4: 「もし仮に撓垂れ掛かるししかも西隣でないならば曲げでない」ものはある fact5: もしこの実定法上が変動パターンであるけれどそれが操作出来ないとすると生る fact6: もし変動パターンが操作出来るということはないとすればそれは生る fact7: 仮に変動パターンが操作出来るということはないとすればそれは生らない fact8: 「変動パターンだししかも操作出来ないなら生る」ものはある fact9: もしも機器選定が組み付けないとすればそれはヘッダーファイルでない fact10: もしも「この実定法上は変動パターンだしまた操作出来る」ということは正しいとすれば「生るということはない」ということは成り立つ
fact7 -> int1: もし仮にこの実定法上が変動パターンであるけどそれは操作出来るということはないとすると「それは生らない」ということは成り立つ; int1 -> hypothesis;
この実定法上が機器選定だがしかし組み付けないとしたらヘッダーファイルでない
fact11 -> hypothesis;
$facts$ = fact1: 仮にあるものが変動パターンであるしそれにそれが操作出来るとしたら生らない fact2: もしもあの容疑者は加入する一方で操作出来ないならばそれは盛り付けない fact3: 「もしも変動パターンであるし更に操作出来るとすれば生らない」ものはある fact4: 「もし仮に撓垂れ掛かるししかも西隣でないならば曲げでない」ものはある fact5: もしこの実定法上が変動パターンであるけれどそれが操作出来ないとすると生る fact6: もし変動パターンが操作出来るということはないとすればそれは生る fact7: 仮に変動パターンが操作出来るということはないとすればそれは生らない fact8: 「変動パターンだししかも操作出来ないなら生る」ものはある fact9: もしも機器選定が組み付けないとすればそれはヘッダーファイルでない fact10: もしも「この実定法上は変動パターンだしまた操作出来る」ということは正しいとすれば「生るということはない」ということは成り立つ ; $hypothesis$ = 「仮に変動パターンであるしその上操作出来ないとすれば生らない」物はある ; $proof$ = 
fact7 -> int1: もし仮にこの実定法上が変動パターンであるけどそれは操作出来るということはないとすると「それは生らない」ということは成り立つ; int1 -> hypothesis; __PROVED__
事実1: 仮にあるものが変動パターンであるしそれにそれが操作出来るとしたら生らない
事実2: もしもあの容疑者は加入する一方で操作出来ないならばそれは盛り付けない
事実3: 「もしも変動パターンであるし更に操作出来るとすれば生らない」ものはある
事実4: 「もし仮に撓垂れ掛かるししかも西隣でないならば曲げでない」ものはある
事実5: もしこの実定法上が変動パターンであるけれどそれが操作出来ないとすると生る
事実6: もし変動パターンが操作出来るということはないとすればそれは生る
事実7: 仮に変動パターンが操作出来るということはないとすればそれは生らない
事実8: 「変動パターンだししかも操作出来ないなら生る」ものはある
事実9: もしも機器選定が組み付けないとすればそれはヘッダーファイルでない
事実10: もしも「この実定法上は変動パターンだしまた操作出来る」ということは正しいとすれば「生るということはない」ということは成り立つ

仮説: 「仮に変動パターンであるしその上操作出来ないとすれば生らない」物はある
1. 事実7から、推論1: "もし仮にこの実定法上が変動パターンであるけどそれは操作出来るということはないとすると「それは生らない」ということは成り立つ"が導かれる
2. 推論1から、仮説が導かれる

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