この地下構造は用い易いということはないかまたは見出だし難いか両方である
fact1: 仮にこの恥骨弓が癒着するかもしくはそれは走行中であるならば大繁盛するということはない fact2: このモアが見出だし難いならばこの地下構造は用い易くないかまたは見出だし難いか両方である fact3: この地下構造は用い易いしおまけに連なる fact4: もしもこのモアが見出だし難いとすればあの地下構造は用い易いかあるいは見出だし難い fact5: この恥骨弓は透水試験であるしおまけに連なる fact6: もしなにがしかのものは大繁盛しないなら「透水試験であるし連なる」ということは成り立たない fact7: この地下構造は見出だし難いかあるいは連なる fact8: 見出だし難いということはない物は連なるし透水試験である fact9: 仮にこのモアが用い易くないが大繁盛するなら見出だし難くない fact10: 仮にこの恥骨弓が透水試験ならばあのモアは見出だし難い
fact5 -> int1: この恥骨弓は透水試験だ; int1 & fact10 -> int2: このモアは見出だし難い; int2 & fact2 -> hypothesis;
このモアは連なる
fact11 -> int3: もしもこのモアが見出だし難くないとすると連なるしかつ透水試験だ;
$facts$ = fact1: 仮にこの恥骨弓が癒着するかもしくはそれは走行中であるならば大繁盛するということはない fact2: このモアが見出だし難いならばこの地下構造は用い易くないかまたは見出だし難いか両方である fact3: この地下構造は用い易いしおまけに連なる fact4: もしもこのモアが見出だし難いとすればあの地下構造は用い易いかあるいは見出だし難い fact5: この恥骨弓は透水試験であるしおまけに連なる fact6: もしなにがしかのものは大繁盛しないなら「透水試験であるし連なる」ということは成り立たない fact7: この地下構造は見出だし難いかあるいは連なる fact8: 見出だし難いということはない物は連なるし透水試験である fact9: 仮にこのモアが用い易くないが大繁盛するなら見出だし難くない fact10: 仮にこの恥骨弓が透水試験ならばあのモアは見出だし難い ; $hypothesis$ = この地下構造は用い易いということはないかまたは見出だし難いか両方である ; $proof$ = 
fact5 -> int1: この恥骨弓は透水試験だ; int1 & fact10 -> int2: このモアは見出だし難い; int2 & fact2 -> hypothesis; __PROVED__
事実1: 仮にこの恥骨弓が癒着するかもしくはそれは走行中であるならば大繁盛するということはない
事実2: このモアが見出だし難いならばこの地下構造は用い易くないかまたは見出だし難いか両方である
事実3: この地下構造は用い易いしおまけに連なる
事実4: もしもこのモアが見出だし難いとすればあの地下構造は用い易いかあるいは見出だし難い
事実5: この恥骨弓は透水試験であるしおまけに連なる
事実6: もしなにがしかのものは大繁盛しないなら「透水試験であるし連なる」ということは成り立たない
事実7: この地下構造は見出だし難いかあるいは連なる
事実8: 見出だし難いということはない物は連なるし透水試験である
事実9: 仮にこのモアが用い易くないが大繁盛するなら見出だし難くない
事実10: 仮にこの恥骨弓が透水試験ならばあのモアは見出だし難い

仮説: この地下構造は用い易いということはないかまたは見出だし難いか両方である
1. 事実5から、推論1: "この恥骨弓は透水試験だ"が導かれる
2. 推論1と事実10から、推論2: "このモアは見出だし難い"が導かれる
3. 推論2と事実2から、仮説が導かれる

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