「このサービス業は痛ましい」ということは確かである
fact1: もしも「痛ましい」ものがあるとするとこのサービス業はプラスしないかあるいは特殊爆弾でないかもしくはどちらもである fact2: その歌唱力は特殊爆弾でないかまたは地中深くない fact3: もし仮にこの教科書検定が書類でないけれどそれが特殊爆弾だとすればあのサービス業は痛ましくない fact4: もしもこの教科書検定がプラスしないならばあのサービス業は痛ましい fact5: ある物は書類である fact6: 「書類である」物があるとすればあの教科書検定は特殊爆弾でないかあるいはプラスしない fact7: もしこの教科書検定が特殊爆弾でないならばこのサービス業は痛ましい
fact5 & fact6 -> int1: この教科書検定は特殊爆弾でないかまたはプラスするということはないかもしくは両方である; int1 & fact7 & fact4 -> hypothesis;
このサービス業は痛ましくない
$facts$ = fact1: もしも「痛ましい」ものがあるとするとこのサービス業はプラスしないかあるいは特殊爆弾でないかもしくはどちらもである fact2: その歌唱力は特殊爆弾でないかまたは地中深くない fact3: もし仮にこの教科書検定が書類でないけれどそれが特殊爆弾だとすればあのサービス業は痛ましくない fact4: もしもこの教科書検定がプラスしないならばあのサービス業は痛ましい fact5: ある物は書類である fact6: 「書類である」物があるとすればあの教科書検定は特殊爆弾でないかあるいはプラスしない fact7: もしこの教科書検定が特殊爆弾でないならばこのサービス業は痛ましい ; $hypothesis$ = 「このサービス業は痛ましい」ということは確かである ; $proof$ = 
fact5 & fact6 -> int1: この教科書検定は特殊爆弾でないかまたはプラスするということはないかもしくは両方である; int1 & fact7 & fact4 -> hypothesis; __PROVED__
事実1: もしも「痛ましい」ものがあるとするとこのサービス業はプラスしないかあるいは特殊爆弾でないかもしくはどちらもである
事実2: その歌唱力は特殊爆弾でないかまたは地中深くない
事実3: もし仮にこの教科書検定が書類でないけれどそれが特殊爆弾だとすればあのサービス業は痛ましくない
事実4: もしもこの教科書検定がプラスしないならばあのサービス業は痛ましい
事実5: ある物は書類である
事実6: 「書類である」物があるとすればあの教科書検定は特殊爆弾でないかあるいはプラスしない
事実7: もしこの教科書検定が特殊爆弾でないならばこのサービス業は痛ましい

仮説: 「このサービス業は痛ましい」ということは確かである
1. 事実5と事実6から、推論1: "この教科書検定は特殊爆弾でないかまたはプラスするということはないかもしくは両方である"が導かれる
2. 推論1と事実7と事実4から、仮説が導かれる

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