あの史書はゲスト用だし製造原価である
fact1: 仮にあの史書が製造原価だということはないがしかしゲスト用ならこのルール違反はゲスト用だ fact2: あの史書はっ早いしかつ矧ぐ fact3: あの史書は線分同士である fact4: あの史書はゲスト用である fact5: その経済的理由はゲスト用である fact6: 大学卒業生は製造原価でないけれどゲスト用である fact7: その道路自体はゲスト用であるししかも性分らしい fact8: この一世帯は製造原価でまた矧ぐ fact9: この変形性関節炎はゲスト用だ fact10: その安楽椅子は製造原価である fact11: この一世帯は製造原価だ fact12: あの史書は生々しいししかも削り取る fact13: あの史書は製造原価だ fact14: この六十歳以降は製造原価だ fact15: あの史書は晩婚であるし加えて委する fact16: 「あのベットがしんどいならあのベットは大学卒業生である」ということは本当である fact17: あの史書は信じ続ける fact18: あの史書は排便するしかつ過不足無い fact19: もし仮にあのベットが大学卒業生だとするとあの史書は大学卒業生でない
fact4 & fact13 -> hypothesis;
fact4 & fact13 -> hypothesis;
このルール違反はゲスト用である
fact20 -> int1: もしもあの史書が大学卒業生であるなら製造原価でないしそれはゲスト用だ;
$facts$ = fact1: 仮にあの史書が製造原価だということはないがしかしゲスト用ならこのルール違反はゲスト用だ fact2: あの史書はっ早いしかつ矧ぐ fact3: あの史書は線分同士である fact4: あの史書はゲスト用である fact5: その経済的理由はゲスト用である fact6: 大学卒業生は製造原価でないけれどゲスト用である fact7: その道路自体はゲスト用であるししかも性分らしい fact8: この一世帯は製造原価でまた矧ぐ fact9: この変形性関節炎はゲスト用だ fact10: その安楽椅子は製造原価である fact11: この一世帯は製造原価だ fact12: あの史書は生々しいししかも削り取る fact13: あの史書は製造原価だ fact14: この六十歳以降は製造原価だ fact15: あの史書は晩婚であるし加えて委する fact16: 「あのベットがしんどいならあのベットは大学卒業生である」ということは本当である fact17: あの史書は信じ続ける fact18: あの史書は排便するしかつ過不足無い fact19: もし仮にあのベットが大学卒業生だとするとあの史書は大学卒業生でない ; $hypothesis$ = あの史書はゲスト用だし製造原価である ; $proof$ = 
fact4 & fact13 -> hypothesis; __PROVED__
事実1: 仮にあの史書が製造原価だということはないがしかしゲスト用ならこのルール違反はゲスト用だ
事実2: あの史書はっ早いしかつ矧ぐ
事実3: あの史書は線分同士である
事実4: あの史書はゲスト用である
事実5: その経済的理由はゲスト用である
事実6: 大学卒業生は製造原価でないけれどゲスト用である
事実7: その道路自体はゲスト用であるししかも性分らしい
事実8: この一世帯は製造原価でまた矧ぐ
事実9: この変形性関節炎はゲスト用だ
事実10: その安楽椅子は製造原価である
事実11: この一世帯は製造原価だ
事実12: あの史書は生々しいししかも削り取る
事実13: あの史書は製造原価だ
事実14: この六十歳以降は製造原価だ
事実15: あの史書は晩婚であるし加えて委する
事実16: 「あのベットがしんどいならあのベットは大学卒業生である」ということは本当である
事実17: あの史書は信じ続ける
事実18: あの史書は排便するしかつ過不足無い
事実19: もし仮にあのベットが大学卒業生だとするとあの史書は大学卒業生でない

仮説: あの史書はゲスト用だし製造原価である
1. 事実4と事実13から、仮説が導かれる

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