「もしもＮＢ商品だということはないならばメイクするしまた収納場所である」物はある
fact1: 「「権力構造だ」ということは事実であるならＩＧＧであるし四箇月以上である」ものはある fact2: 「仮に「着席する」ということは成り立つとすると当該総人口でそれに探り出す」物はある fact3: 「もし横領しないとしたらＩＧＧであるしその上どす黒い」ものはある fact4: 「しがなくないならば範読するしプレスする」物はある fact5: 「「もし仮に「抜け掛けない」ということは真実なら吹かす」物はある」ということは偽でない fact6: 「この憲法はＮＢ商品である」ということは確かであるとするとメイクするししかも収納場所だ fact7: この憲法が楽人でないとすれば収納場所である fact8: 仮にこの憲法がＮＢ商品でないならそれはメイクするし加えて収納場所だ fact9: 「仮に待ち受けないとすれば描ける」ものはある fact10: このトリップ・パターンはＮＢ商品だということはないなら「それは焼き直すし過ごし易い」ということは成り立つ fact11: もしこの憲法が通じ易いとすればそれはメイクするし更に楽し fact12: ある物が御悪くないならばそれは十段変速であるしそれは配り始める fact13: もし仮にこの憲法がメイクするとすると赤しししかも然り fact14: 「もし衝突阻止能であるということはないなら絡むし食らわせる」ものはある fact15: 「もし仮に過ごし易いということはないとすれば青黒い」物はある
fact8 -> hypothesis;
「御悪くないとすると十段変速であるしかつ配り始める」ものはある
fact16 -> int1: もし仮にその同式が御悪くないとするとそれは十段変速だし配り始める; int1 -> hypothesis;
$facts$ = fact1: 「「権力構造だ」ということは事実であるならＩＧＧであるし四箇月以上である」ものはある fact2: 「仮に「着席する」ということは成り立つとすると当該総人口でそれに探り出す」物はある fact3: 「もし横領しないとしたらＩＧＧであるしその上どす黒い」ものはある fact4: 「しがなくないならば範読するしプレスする」物はある fact5: 「「もし仮に「抜け掛けない」ということは真実なら吹かす」物はある」ということは偽でない fact6: 「この憲法はＮＢ商品である」ということは確かであるとするとメイクするししかも収納場所だ fact7: この憲法が楽人でないとすれば収納場所である fact8: 仮にこの憲法がＮＢ商品でないならそれはメイクするし加えて収納場所だ fact9: 「仮に待ち受けないとすれば描ける」ものはある fact10: このトリップ・パターンはＮＢ商品だということはないなら「それは焼き直すし過ごし易い」ということは成り立つ fact11: もしこの憲法が通じ易いとすればそれはメイクするし更に楽し fact12: ある物が御悪くないならばそれは十段変速であるしそれは配り始める fact13: もし仮にこの憲法がメイクするとすると赤しししかも然り fact14: 「もし衝突阻止能であるということはないなら絡むし食らわせる」ものはある fact15: 「もし仮に過ごし易いということはないとすれば青黒い」物はある ; $hypothesis$ = 「もしもＮＢ商品だということはないならばメイクするしまた収納場所である」物はある ; $proof$ = 
fact8 -> hypothesis; __PROVED__
事実1: 「「権力構造だ」ということは事実であるならＩＧＧであるし四箇月以上である」ものはある
事実2: 「仮に「着席する」ということは成り立つとすると当該総人口でそれに探り出す」物はある
事実3: 「もし横領しないとしたらＩＧＧであるしその上どす黒い」ものはある
事実4: 「しがなくないならば範読するしプレスする」物はある
事実5: 「「もし仮に「抜け掛けない」ということは真実なら吹かす」物はある」ということは偽でない
事実6: 「この憲法はＮＢ商品である」ということは確かであるとするとメイクするししかも収納場所だ
事実7: この憲法が楽人でないとすれば収納場所である
事実8: 仮にこの憲法がＮＢ商品でないならそれはメイクするし加えて収納場所だ
事実9: 「仮に待ち受けないとすれば描ける」ものはある
事実10: このトリップ・パターンはＮＢ商品だということはないなら「それは焼き直すし過ごし易い」ということは成り立つ
事実11: もしこの憲法が通じ易いとすればそれはメイクするし更に楽し
事実12: ある物が御悪くないならばそれは十段変速であるしそれは配り始める
事実13: もし仮にこの憲法がメイクするとすると赤しししかも然り
事実14: 「もし衝突阻止能であるということはないなら絡むし食らわせる」ものはある
事実15: 「もし仮に過ごし易いということはないとすれば青黒い」物はある

仮説: 「もしもＮＢ商品だということはないならばメイクするしまた収納場所である」物はある
1. 事実8から、仮説が導かれる

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