「「もし廃止・民営化でないとすると王侯だが執念深くない」物はある」ということは確かだ
fact1: あのＲＪは廃止・民営化でないならば王侯であるし執念深い fact2: 狭苦しくない物は避け得る一方で王侯でない fact3: 仮にあのＲＪが廃止・民営化ならば王侯であるし執念深いということはない fact4: もしあのＲＪは廃止・民営化でないとすると王侯だ一方で執念深くない fact5: もし仮にあのＲＪが投身しないとすればそれは廃止・民営化だということはない fact6: もし仮にあのＲＪが王侯だということはないならそれは取り外せない fact7: 「給付率だとしたら「大仏造立だ一方で統率出来ない」ということは真実である」ものはある fact8: もしも「あの先入観は事前・事後でない」ということは本当だとすると執念深いが懇望しない
fact4 -> hypothesis;
fact4 -> hypothesis;
もし仮に「その兄・姉は狭苦しいということはない」ということは正しいなら避け得るけど王侯でない
fact9 -> hypothesis;
$facts$ = fact1: あのＲＪは廃止・民営化でないならば王侯であるし執念深い fact2: 狭苦しくない物は避け得る一方で王侯でない fact3: 仮にあのＲＪが廃止・民営化ならば王侯であるし執念深いということはない fact4: もしあのＲＪは廃止・民営化でないとすると王侯だ一方で執念深くない fact5: もし仮にあのＲＪが投身しないとすればそれは廃止・民営化だということはない fact6: もし仮にあのＲＪが王侯だということはないならそれは取り外せない fact7: 「給付率だとしたら「大仏造立だ一方で統率出来ない」ということは真実である」ものはある fact8: もしも「あの先入観は事前・事後でない」ということは本当だとすると執念深いが懇望しない ; $hypothesis$ = 「「もし廃止・民営化でないとすると王侯だが執念深くない」物はある」ということは確かだ ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: あのＲＪは廃止・民営化でないならば王侯であるし執念深い
事実2: 狭苦しくない物は避け得る一方で王侯でない
事実3: 仮にあのＲＪが廃止・民営化ならば王侯であるし執念深いということはない
事実4: もしあのＲＪは廃止・民営化でないとすると王侯だ一方で執念深くない
事実5: もし仮にあのＲＪが投身しないとすればそれは廃止・民営化だということはない
事実6: もし仮にあのＲＪが王侯だということはないならそれは取り外せない
事実7: 「給付率だとしたら「大仏造立だ一方で統率出来ない」ということは真実である」ものはある
事実8: もしも「あの先入観は事前・事後でない」ということは本当だとすると執念深いが懇望しない

仮説: 「「もし廃止・民営化でないとすると王侯だが執念深くない」物はある」ということは確かだ
1. 事実4から、仮説が導かれる

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