その原資産は色好い
fact1: その原資産は色好い fact2: 仮にその原資産はコックスだということはないけれど迷信深いならば色好くない fact3: あの持ち腐れは色好い fact4: もしも何かは透かすとするとそれは迷信深くないし更にそれは熱愛する fact5: 仮になんらかの物が迷信深くないならそれは色好くてまたコックスだ fact6: その原資産は消費者物価指数だ fact7: その観客動員力は色好い fact8: もしも「なにがしかの物は熱愛する」ということは事実であるとするとコックスでないがしかし迷信深い fact9: その原資産は工事原価だ
fact1 -> hypothesis;
fact1 -> hypothesis;
その原資産は色好くない
fact11 -> int1: もしその原資産が熱愛すればコックスでないがしかし迷信深い;
$facts$ = fact1: その原資産は色好い fact2: 仮にその原資産はコックスだということはないけれど迷信深いならば色好くない fact3: あの持ち腐れは色好い fact4: もしも何かは透かすとするとそれは迷信深くないし更にそれは熱愛する fact5: 仮になんらかの物が迷信深くないならそれは色好くてまたコックスだ fact6: その原資産は消費者物価指数だ fact7: その観客動員力は色好い fact8: もしも「なにがしかの物は熱愛する」ということは事実であるとするとコックスでないがしかし迷信深い fact9: その原資産は工事原価だ ; $hypothesis$ = その原資産は色好い ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: その原資産は色好い
事実2: 仮にその原資産はコックスだということはないけれど迷信深いならば色好くない
事実3: あの持ち腐れは色好い
事実4: もしも何かは透かすとするとそれは迷信深くないし更にそれは熱愛する
事実5: 仮になんらかの物が迷信深くないならそれは色好くてまたコックスだ
事実6: その原資産は消費者物価指数だ
事実7: その観客動員力は色好い
事実8: もしも「なにがしかの物は熱愛する」ということは事実であるとするとコックスでないがしかし迷信深い
事実9: その原資産は工事原価だ

仮説: その原資産は色好い
1. 事実1から、仮説が導かれる

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