「「もし好ましいとすればコード番号でなくて更に十五項な」物はある」ということは間違いである
fact1: あのレクリエーション施設は十五項である fact2: あの職務執行は中・下である fact3: あのレクリエーション施設は飲み残さない fact4: 好ましくないかあるいは芳しくないかあるいは両方ともである物はコード番号だ fact5: あの寸胴鍋は飲み残さない fact6: もしもあのレクリエーション施設が飲み残すということはないけどそれが芳しいとすればコード番号でない fact7: もし仮にあのレクリエーション施設が好ましいとすると芳しい
void -> assump1: 以下のように仮定する。あのレクリエーション施設は好ましい; fact7 & assump1 -> int1: あのレクリエーション施設は芳しい; int1 & fact3 -> int2: あのレクリエーション施設は飲み残さないけれど芳しい; int2 & fact6 -> int3: 「あのレクリエーション施設はコード番号でない」ということは成り立つ; int3 & fact1 -> int4: あのレクリエーション施設はコード番号でないがしかし十五項である; [assump1] & int4 -> int5: もしもあのレクリエーション施設が好ましいとしたらコード番号でないしそれにそれは十五項だ; int5 -> hypothesis;
あの利潤率はコード番号だ
fact9 -> int6: もし仮にあの利潤率が好ましくないかもしくはそれが芳しくないとするとコード番号である; fact8 -> int7: 「中・下である」物はある;
$facts$ = fact1: あのレクリエーション施設は十五項である fact2: あの職務執行は中・下である fact3: あのレクリエーション施設は飲み残さない fact4: 好ましくないかあるいは芳しくないかあるいは両方ともである物はコード番号だ fact5: あの寸胴鍋は飲み残さない fact6: もしもあのレクリエーション施設が飲み残すということはないけどそれが芳しいとすればコード番号でない fact7: もし仮にあのレクリエーション施設が好ましいとすると芳しい ; $hypothesis$ = 「「もし好ましいとすればコード番号でなくて更に十五項な」物はある」ということは間違いである ; $proof$ = 
void -> assump1: 以下のように仮定する。あのレクリエーション施設は好ましい; fact7 & assump1 -> int1: あのレクリエーション施設は芳しい; int1 & fact3 -> int2: あのレクリエーション施設は飲み残さないけれど芳しい; int2 & fact6 -> int3: 「あのレクリエーション施設はコード番号でない」ということは成り立つ; int3 & fact1 -> int4: あのレクリエーション施設はコード番号でないがしかし十五項である; [assump1] & int4 -> int5: もしもあのレクリエーション施設が好ましいとしたらコード番号でないしそれにそれは十五項だ; int5 -> hypothesis; __DISPROVED__
事実1: あのレクリエーション施設は十五項である
事実2: あの職務執行は中・下である
事実3: あのレクリエーション施設は飲み残さない
事実4: 好ましくないかあるいは芳しくないかあるいは両方ともである物はコード番号だ
事実5: あの寸胴鍋は飲み残さない
事実6: もしもあのレクリエーション施設が飲み残すということはないけどそれが芳しいとすればコード番号でない
事実7: もし仮にあのレクリエーション施設が好ましいとすると芳しい

仮説: 「「もし好ましいとすればコード番号でなくて更に十五項な」物はある」ということは間違いである
1. 仮定1: 以下のように仮定する。あのレクリエーション施設は好ましい
2. 事実7と仮定1から、推論1: "あのレクリエーション施設は芳しい"が導かれる
3. 推論1と事実3から、推論2: "あのレクリエーション施設は飲み残さないけれど芳しい"が導かれる
4. 推論2と事実6から、推論3: "「あのレクリエーション施設はコード番号でない」ということは成り立つ"が導かれる
5. 推論3と事実1から、推論4: "あのレクリエーション施設はコード番号でないがしかし十五項である"が導かれる
6. [仮定1]と推論4から、推論5: "もしもあのレクリエーション施設が好ましいとしたらコード番号でないしそれにそれは十五項だ"が導かれる
7. 推論5から、仮説が否定される

よって、仮説が否定されました。