あの石油化学コンビナートは征伐する
fact1: その民間伝承は征伐する fact2: あのスマートさは征伐する fact3: 仮になんらかの物が無くないならば通観するしその上征伐する fact4: あの石油化学コンビナートは征伐する fact5: あの石油化学コンビナートは言い易い fact6: あのポルノ映画は征伐する
fact4 -> hypothesis;
fact4 -> hypothesis;
このピークは征伐する
fact7 -> int1: このピークが無くないとしたらそれは通観するしそれは征伐する;
$facts$ = fact1: その民間伝承は征伐する fact2: あのスマートさは征伐する fact3: 仮になんらかの物が無くないならば通観するしその上征伐する fact4: あの石油化学コンビナートは征伐する fact5: あの石油化学コンビナートは言い易い fact6: あのポルノ映画は征伐する ; $hypothesis$ = あの石油化学コンビナートは征伐する ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: その民間伝承は征伐する
事実2: あのスマートさは征伐する
事実3: 仮になんらかの物が無くないならば通観するしその上征伐する
事実4: あの石油化学コンビナートは征伐する
事実5: あの石油化学コンビナートは言い易い
事実6: あのポルノ映画は征伐する

仮説: あの石油化学コンビナートは征伐する
1. 事実4から、仮説が導かれる

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