「もし上尾署でないとすると「統御出来ない」ということは事実な」ものはある
fact1: 「上尾署でないとすると統御出来る」ものはある fact2: 「もしも恨みがましいならば低カロリー食だということはない」ものはある fact3: もし「あの社長様は上尾署でない」ということは事実だとすればそれは統御出来ない fact4: もしも何らかのものが統御出来ないならばそれは疑わしくない fact5: もしあの社長様は押し合うとしたら「それは戻り始めない」ということは本当である
fact3 -> hypothesis;
fact3 -> hypothesis;
仮にその中等教育が統御出来ないとしたら疑わしくない
fact6 -> hypothesis;
$facts$ = fact1: 「上尾署でないとすると統御出来る」ものはある fact2: 「もしも恨みがましいならば低カロリー食だということはない」ものはある fact3: もし「あの社長様は上尾署でない」ということは事実だとすればそれは統御出来ない fact4: もしも何らかのものが統御出来ないならばそれは疑わしくない fact5: もしあの社長様は押し合うとしたら「それは戻り始めない」ということは本当である ; $hypothesis$ = 「もし上尾署でないとすると「統御出来ない」ということは事実な」ものはある ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: 「上尾署でないとすると統御出来る」ものはある
事実2: 「もしも恨みがましいならば低カロリー食だということはない」ものはある
事実3: もし「あの社長様は上尾署でない」ということは事実だとすればそれは統御出来ない
事実4: もしも何らかのものが統御出来ないならばそれは疑わしくない
事実5: もしあの社長様は押し合うとしたら「それは戻り始めない」ということは本当である

仮説: 「もし上尾署でないとすると「統御出来ない」ということは事実な」ものはある
1. 事実3から、仮説が導かれる

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