「もし仮に逆襲しないならば各球団でなくて誕生しない」物はある
fact1: 「もしもはだけないとすれば古臭くなくてしかも賃金でない」物はある fact2: もしあの対処行動が逆襲しないとしたらそれは各球団でない fact3: もし仮になにがしかのものが逆襲しないならばそれは各球団でなくてしかもそれは誕生するということはない fact4: 「もし仮に逆襲しないならば各球団だけれど誕生しない」ものはある fact5: 「あの対処行動が逆襲しないとしたらあの対処行動は各球団でないが誕生する」ということは正しい fact6: 「もし仮に逆襲しないなら各球団だということはない」物はある fact7: 「仮に麗しということはないとすると前言撤回でない」ものはある
fact3 -> int1: もしもあの対処行動が逆襲しないなら各球団でなくてまた誕生しない; int1 -> hypothesis;
$facts$ = fact1: 「もしもはだけないとすれば古臭くなくてしかも賃金でない」物はある fact2: もしあの対処行動が逆襲しないとしたらそれは各球団でない fact3: もし仮になにがしかのものが逆襲しないならばそれは各球団でなくてしかもそれは誕生するということはない fact4: 「もし仮に逆襲しないならば各球団だけれど誕生しない」ものはある fact5: 「あの対処行動が逆襲しないとしたらあの対処行動は各球団でないが誕生する」ということは正しい fact6: 「もし仮に逆襲しないなら各球団だということはない」物はある fact7: 「仮に麗しということはないとすると前言撤回でない」ものはある ; $hypothesis$ = 「もし仮に逆襲しないならば各球団でなくて誕生しない」物はある ; $proof$ = 
fact3 -> int1: もしもあの対処行動が逆襲しないなら各球団でなくてまた誕生しない; int1 -> hypothesis; __PROVED__
事実1: 「もしもはだけないとすれば古臭くなくてしかも賃金でない」物はある
事実2: もしあの対処行動が逆襲しないとしたらそれは各球団でない
事実3: もし仮になにがしかのものが逆襲しないならばそれは各球団でなくてしかもそれは誕生するということはない
事実4: 「もし仮に逆襲しないならば各球団だけれど誕生しない」ものはある
事実5: 「あの対処行動が逆襲しないとしたらあの対処行動は各球団でないが誕生する」ということは正しい
事実6: 「もし仮に逆襲しないなら各球団だということはない」物はある
事実7: 「仮に麗しということはないとすると前言撤回でない」ものはある

仮説: 「もし仮に逆襲しないならば各球団でなくて誕生しない」物はある
1. 事実3から、推論1: "もしもあの対処行動が逆襲しないなら各球団でなくてまた誕生しない"が導かれる
2. 推論1から、仮説が導かれる

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