この六法全書は事件解決だ
fact1: 「その物上代位権は比例案分しないしそれは父親らしいということはない」ということは誤りだとしたらこの六法全書は事件解決でない fact2: その全五色は比例案分する fact3: この六法全書は比例案分するしおまけにそれは事件解決だ fact4: もしその切り絵図は事件解決であるとするとそれは比例案分する fact5: この六法全書は意義深い fact6: もしなにがしかのものは淡くないならば「比例案分しないししかもそれは父親らしいということはない」ということは誤りだ fact7: その関わり方は比例案分する fact8: 「この六法全書は比例案分する」ということは成り立つ
fact3 -> hypothesis;
fact3 -> hypothesis;
この六法全書は事件解決でない
fact10 -> int1: もしその物上代位権は淡くないならば「比例案分しないしさらに父親らしくない」ということは成り立たない;
$facts$ = fact1: 「その物上代位権は比例案分しないしそれは父親らしいということはない」ということは誤りだとしたらこの六法全書は事件解決でない fact2: その全五色は比例案分する fact3: この六法全書は比例案分するしおまけにそれは事件解決だ fact4: もしその切り絵図は事件解決であるとするとそれは比例案分する fact5: この六法全書は意義深い fact6: もしなにがしかのものは淡くないならば「比例案分しないししかもそれは父親らしいということはない」ということは誤りだ fact7: その関わり方は比例案分する fact8: 「この六法全書は比例案分する」ということは成り立つ ; $hypothesis$ = この六法全書は事件解決だ ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: 「その物上代位権は比例案分しないしそれは父親らしいということはない」ということは誤りだとしたらこの六法全書は事件解決でない
事実2: その全五色は比例案分する
事実3: この六法全書は比例案分するしおまけにそれは事件解決だ
事実4: もしその切り絵図は事件解決であるとするとそれは比例案分する
事実5: この六法全書は意義深い
事実6: もしなにがしかのものは淡くないならば「比例案分しないししかもそれは父親らしいということはない」ということは誤りだ
事実7: その関わり方は比例案分する
事実8: 「この六法全書は比例案分する」ということは成り立つ

仮説: この六法全書は事件解決だ
1. 事実3から、仮説が導かれる

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