「出場側な」ものはある
fact1: このライバル同士が解け易いならばこの届け出用紙は出場側である fact2: このライバル同士は敵中深くないけど解け易い fact3: このライバル同士は敵中深くないがしかし脆弱化する fact4: このライバル同士は敵中深いということはない fact5: このライバル同士は出場側でない
fact2 -> int1: このライバル同士は解け易い; int1 & fact1 -> int2: 「この届け出用紙は出場側である」ということは正しい; int2 -> hypothesis;
$facts$ = fact1: このライバル同士が解け易いならばこの届け出用紙は出場側である fact2: このライバル同士は敵中深くないけど解け易い fact3: このライバル同士は敵中深くないがしかし脆弱化する fact4: このライバル同士は敵中深いということはない fact5: このライバル同士は出場側でない ; $hypothesis$ = 「出場側な」ものはある ; $proof$ = 
fact2 -> int1: このライバル同士は解け易い; int1 & fact1 -> int2: 「この届け出用紙は出場側である」ということは正しい; int2 -> hypothesis; __PROVED__
事実1: このライバル同士が解け易いならばこの届け出用紙は出場側である
事実2: このライバル同士は敵中深くないけど解け易い
事実3: このライバル同士は敵中深くないがしかし脆弱化する
事実4: このライバル同士は敵中深いということはない
事実5: このライバル同士は出場側でない

仮説: 「出場側な」ものはある
1. 事実2から、推論1: "このライバル同士は解け易い"が導かれる
2. 推論1と事実1から、推論2: "「この届け出用紙は出場側である」ということは正しい"が導かれる
3. 推論2から、仮説が導かれる

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