あの三着以内は追及する
fact1: もし「「データ入力でないし加えて時間スケールである」ということは事実でない」物があるならあの三着以内は追及する fact2: この小寝室は追及する fact3: 「「愛情深くなくてそれに捕らえ易い」ということは事実と異なる」物はある fact4: 「「データ入力で時間スケールだ」ということは成り立つということはない」物はある fact5: もし仮に「データ入力な」ものがあればあの三着以内は追及する fact6: 「「データ入力でないが時間スケールである」ということは成り立つ」物はある fact7: 仮に「そのドキュメントは加工経路図でないし更に追及しない」ということは誤りであるならあの三着以内は追及するということはない fact8: 「「データ入力でないけど時間スケールである」ということは間違いな」ものはある
fact8 & fact1 -> hypothesis;
fact8 & fact1 -> hypothesis;
あの三着以内は追及するということはない
$facts$ = fact1: もし「「データ入力でないし加えて時間スケールである」ということは事実でない」物があるならあの三着以内は追及する fact2: この小寝室は追及する fact3: 「「愛情深くなくてそれに捕らえ易い」ということは事実と異なる」物はある fact4: 「「データ入力で時間スケールだ」ということは成り立つということはない」物はある fact5: もし仮に「データ入力な」ものがあればあの三着以内は追及する fact6: 「「データ入力でないが時間スケールである」ということは成り立つ」物はある fact7: 仮に「そのドキュメントは加工経路図でないし更に追及しない」ということは誤りであるならあの三着以内は追及するということはない fact8: 「「データ入力でないけど時間スケールである」ということは間違いな」ものはある ; $hypothesis$ = あの三着以内は追及する ; $proof$ = 
fact8 & fact1 -> hypothesis; __PROVED__
事実1: もし「「データ入力でないし加えて時間スケールである」ということは事実でない」物があるならあの三着以内は追及する
事実2: この小寝室は追及する
事実3: 「「愛情深くなくてそれに捕らえ易い」ということは事実と異なる」物はある
事実4: 「「データ入力で時間スケールだ」ということは成り立つということはない」物はある
事実5: もし仮に「データ入力な」ものがあればあの三着以内は追及する
事実6: 「「データ入力でないが時間スケールである」ということは成り立つ」物はある
事実7: 仮に「そのドキュメントは加工経路図でないし更に追及しない」ということは誤りであるならあの三着以内は追及するということはない
事実8: 「「データ入力でないけど時間スケールである」ということは間違いな」ものはある

仮説: あの三着以内は追及する
1. 事実8と事実1から、仮説が導かれる

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