「もしハンバーガー店であるなら国家勤務員であるということはないしそれに忘れっぽくない」ものはある
fact1: 「もし布陣するとすれば畏まらないしかつ知識である」ものはある fact2: 「もしもハンバーガー店なら国家勤務員であるということはない」ものはある fact3: 仮にあるものが接吻するとすると煙たくなくてその上真後ろでない fact4: もしその文書語がハンバーガー店だとすればそれは国家勤務員でない fact5: 愛読者は年齢層でないしまた重くない fact6: もし仮にとあるものがインジケータ領域だとしたら接吻するということはないしそれに永久脱毛である fact7: 「もし「二試合である」ということは誤っていないとすると抑制出来ないしそれにねばねばする」物はある fact8: ハンバーガー店は国家勤務員でなくて忘れっぽくない fact9: 「成牛であるならばしおらしくないし信ずる」物はある fact10: ハンバーガー店は国家勤務員でない fact11: 「仮に台毎であるとすれば印象深くないがしかし伸し上がる」物はある fact12: もし仮に「その文書語は取得し易い」ということは成り立つとするとそれは国家勤務員でないし更にそれは負ぶさる
fact8 -> int1: その文書語はハンバーガー店であるとすると国家勤務員でなくて忘れっぽくない; int1 -> hypothesis;
$facts$ = fact1: 「もし布陣するとすれば畏まらないしかつ知識である」ものはある fact2: 「もしもハンバーガー店なら国家勤務員であるということはない」ものはある fact3: 仮にあるものが接吻するとすると煙たくなくてその上真後ろでない fact4: もしその文書語がハンバーガー店だとすればそれは国家勤務員でない fact5: 愛読者は年齢層でないしまた重くない fact6: もし仮にとあるものがインジケータ領域だとしたら接吻するということはないしそれに永久脱毛である fact7: 「もし「二試合である」ということは誤っていないとすると抑制出来ないしそれにねばねばする」物はある fact8: ハンバーガー店は国家勤務員でなくて忘れっぽくない fact9: 「成牛であるならばしおらしくないし信ずる」物はある fact10: ハンバーガー店は国家勤務員でない fact11: 「仮に台毎であるとすれば印象深くないがしかし伸し上がる」物はある fact12: もし仮に「その文書語は取得し易い」ということは成り立つとするとそれは国家勤務員でないし更にそれは負ぶさる ; $hypothesis$ = 「もしハンバーガー店であるなら国家勤務員であるということはないしそれに忘れっぽくない」ものはある ; $proof$ = 
fact8 -> int1: その文書語はハンバーガー店であるとすると国家勤務員でなくて忘れっぽくない; int1 -> hypothesis; __PROVED__
事実1: 「もし布陣するとすれば畏まらないしかつ知識である」ものはある
事実2: 「もしもハンバーガー店なら国家勤務員であるということはない」ものはある
事実3: 仮にあるものが接吻するとすると煙たくなくてその上真後ろでない
事実4: もしその文書語がハンバーガー店だとすればそれは国家勤務員でない
事実5: 愛読者は年齢層でないしまた重くない
事実6: もし仮にとあるものがインジケータ領域だとしたら接吻するということはないしそれに永久脱毛である
事実7: 「もし「二試合である」ということは誤っていないとすると抑制出来ないしそれにねばねばする」物はある
事実8: ハンバーガー店は国家勤務員でなくて忘れっぽくない
事実9: 「成牛であるならばしおらしくないし信ずる」物はある
事実10: ハンバーガー店は国家勤務員でない
事実11: 「仮に台毎であるとすれば印象深くないがしかし伸し上がる」物はある
事実12: もし仮に「その文書語は取得し易い」ということは成り立つとするとそれは国家勤務員でないし更にそれは負ぶさる

仮説: 「もしハンバーガー店であるなら国家勤務員であるということはないしそれに忘れっぽくない」ものはある
1. 事実8から、推論1: "その文書語はハンバーガー店であるとすると国家勤務員でなくて忘れっぽくない"が導かれる
2. 推論1から、仮説が導かれる

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