「課長さんだとすれば「労働組合法であるかもしくは題するということはないかあるいはどちらもである」ということは事実と異なる」物はある
fact1: 「もし仮に課長さんならば「労働組合法でない」ということは確かである」物はある fact2: もしもあのスプロケットは課長さんであるならば「それは労働組合法であるかあるいは題しない」ということは間違いだ fact3: もしも何らかのものは労働組合法であるなら「えげつないかまたはぼろくないか両方ともだ」ということは成り立たない fact4: 「「もし課長さんであるとしたら「労働組合法であるかまたは題する」ということは真実でない」物はある」ということは確かである fact5: もしあのスプロケットが課長さんだとすれば労働組合法でない
fact2 -> hypothesis;
fact2 -> hypothesis;
もし仮にあのスプロケットは労働組合法だとすると「それはえげつないかあるいはぼろいということはない」ということは誤りである
fact6 -> hypothesis;
$facts$ = fact1: 「もし仮に課長さんならば「労働組合法でない」ということは確かである」物はある fact2: もしもあのスプロケットは課長さんであるならば「それは労働組合法であるかあるいは題しない」ということは間違いだ fact3: もしも何らかのものは労働組合法であるなら「えげつないかまたはぼろくないか両方ともだ」ということは成り立たない fact4: 「「もし課長さんであるとしたら「労働組合法であるかまたは題する」ということは真実でない」物はある」ということは確かである fact5: もしあのスプロケットが課長さんだとすれば労働組合法でない ; $hypothesis$ = 「課長さんだとすれば「労働組合法であるかもしくは題するということはないかあるいはどちらもである」ということは事実と異なる」物はある ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: 「もし仮に課長さんならば「労働組合法でない」ということは確かである」物はある
事実2: もしもあのスプロケットは課長さんであるならば「それは労働組合法であるかあるいは題しない」ということは間違いだ
事実3: もしも何らかのものは労働組合法であるなら「えげつないかまたはぼろくないか両方ともだ」ということは成り立たない
事実4: 「「もし課長さんであるとしたら「労働組合法であるかまたは題する」ということは真実でない」物はある」ということは確かである
事実5: もしあのスプロケットが課長さんだとすれば労働組合法でない

仮説: 「課長さんだとすれば「労働組合法であるかもしくは題するということはないかあるいはどちらもである」ということは事実と異なる」物はある
1. 事実2から、仮説が導かれる

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