その業務規程は均等額であるけど眼底検査でない
fact1: もし仮に「その業務規程ははしたないがしかし無理無くない」ということは誤りだとするとぽっちゃりしない fact2: 「その業務規程ははしたないがそれは無理無くない」ということは成り立つということはない fact3: 仮に何かはぽっちゃりしないならばそれは均等額で眼底検査でない
fact1 & fact2 -> int1: その業務規程はぽっちゃりするということはない; fact3 -> int2: その業務規程がぽっちゃりしないとするとそれは均等額であるししかも眼底検査でない; int1 & int2 -> hypothesis;
$facts$ = fact1: もし仮に「その業務規程ははしたないがしかし無理無くない」ということは誤りだとするとぽっちゃりしない fact2: 「その業務規程ははしたないがそれは無理無くない」ということは成り立つということはない fact3: 仮に何かはぽっちゃりしないならばそれは均等額で眼底検査でない ; $hypothesis$ = その業務規程は均等額であるけど眼底検査でない ; $proof$ = 
fact1 & fact2 -> int1: その業務規程はぽっちゃりするということはない; fact3 -> int2: その業務規程がぽっちゃりしないとするとそれは均等額であるししかも眼底検査でない; int1 & int2 -> hypothesis; __PROVED__
事実1: もし仮に「その業務規程ははしたないがしかし無理無くない」ということは誤りだとするとぽっちゃりしない
事実2: 「その業務規程ははしたないがそれは無理無くない」ということは成り立つということはない
事実3: 仮に何かはぽっちゃりしないならばそれは均等額で眼底検査でない

仮説: その業務規程は均等額であるけど眼底検査でない
1. 事実1と事実2から、推論1: "その業務規程はぽっちゃりするということはない"が導かれる
2. 事実3から、推論2: "その業務規程がぽっちゃりしないとするとそれは均等額であるししかも眼底検査でない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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